Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Programming Languages and Systems

Hongseok Yang

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 15823658

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2017

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, whic... Celý popis

Libristo kód: 15823658

249 b

102.35 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

AUTOCAD 2014. VERSION COMPLETE ET VERSION LT Couwenbergh Kniha

Brožovaná

42.52 €

Yu-Gi-Oh ! - Tome 21 Kazuki Takahashi

Kniha

9.54 €

20 ans en 1939, marin à Mers-el-Kébir Siou

Brožovaná

12.66 €

Chat sauvage en chute libre MUDROOROO Kniha

Brožovaná

22.92 €

George Condo Collectifs

Brožovaná

18.39 €

Sancti Aurelii Augustini Episcopi De Civitate Dei: Libri Xxii, Volume 1... Saint Augustine (Bishop of Hippo

Brožovaná

28.15 €

POWER Will Helmson

Brožovaná

9.94 €

Deutsche Jahrbucher fur Politik und Literatur Heinrich Preschers

Brožovaná

31.06 €

Cape Byron Light (1901), Byron Bay, New South Wales (Puzzle) Rainer Grosskopf

Hra

33.88 €

UEber die Teile, in welche die Lothringer Geste sich zerlegen lasst Emil W Heuser

Brožovaná

11.65 €

Tarif Pour La Quadrature Du Sciage Des Bois, Calcule Jusqu'a Une Longueur de Madrier de GUIBERT-P-B

Brožovaná

13.77 €

Le Livre de la Mutualite, Epargne-Prevoyance, A l'Usage Des Ecoles, Cours d'Adultes Et Des Familles GARCIN-E

Brožovaná

13.77 €

Pane senza impasto. Un metodo semplice e rivoluzionario Rick Flaste

Pevná

27.54 €

Jean Herbette (1878-1960) Yves Denéch?re

Brožovaná

31.26 €

Un crucero a Oriente Casanueva González

Brožovaná

14.37 €

Versos para seguir creciendo María del Carmen Plaza Arnaiz

Brožovaná

17.99 €

ALEXANDER Schulatlas. Ausgabe Baden-Württemberg

Pevná

40.61 €

Reise durch Graz und die Steiermark Martin Siepmann

Pevná

17.89 €

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.