LIBRISTO
LIBROAMANTO
povinné
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 PPL shop 49 Balíkovna 69 PPL kurýr 74 PPL box 39 Balíkovna 49 Výdejní místo DPD 49 Zásilkovna 39

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Relational and Algebraic Methods in Computer Science

13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Relational and Algebraic Methods in Computer Science Wolfram Kahl
Libristo kód: 01662112
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International... Celý popis
? points 118 b
1 182
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží


Zákazníci také koupili


Der Makroskopische Aufbau Des Gro hirns H. Haug / Kniha Brožovaná
common.buy 1 368
Voy a contaros la nieve BEATRIZ GIMENEZ / Kniha Brožovaná
common.buy 245
Beatrice Di Tenda Vincenzo Bellini / Kniha Brožovaná
common.buy 380
The secret of success Dr. Van Dyck / E-kniha Adobe ePub DRM
common.buy 320
Rusko-hrvatski i hrvatsko-ruski rječnik Todorcev Hlača Katarina Todorceva Žinić Viktorija / Kniha Pevná
common.buy 587
La Muse Francaise, 1823-1824. Tome 1 Jules Marsan / Kniha Brožovaná
common.buy 674
Cryptocommunisme Alizart / Kniha Pevná
common.buy 500
Immer nur Blödsinn im Kopf Oma Lisbeth / Kniha Pevná
common.buy 410
Amaretto Sour Claudia Ohswald / Kniha Brožovaná
common.buy 267
Mass Customized Marketing Peter Schnäbele / Kniha Brožovaná
common.buy 1 214

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat


How Clouds Hold IT Together Marvin Waschke / Kniha Brožovaná
common.buy 879
Simplified Design of Data Converters John D. Lenk / Kniha Brožovaná
common.buy 1 470
Running the Show Gill / Kniha Brožovaná
common.buy 1 344
A Voyage round the World William Henry Giles Kingston / Kniha Brožovaná
common.buy 186
Books of the Prophets in Their Historical Succession George Gillanders Findlay / Kniha Brožovaná
common.buy 529
Magic Keys of Tanglewood Malcolm Chester / Kniha Brožovaná
common.buy 354
Top
Pathfinder Tales: Forge of Ashes Josh Vogt / Kniha Brožovaná
common.buy 212
Alfred Hitchcock's Silent Films Marc Raymond Strauss / Kniha Brožovaná
common.buy 777
Nothing Whatever to Grumble at John Reed / Kniha Brožovaná
common.buy 410
Lives of the Queens of Scotland and English Princesses Agnes StricklandElizabeth Strickland / Kniha Brožovaná
common.buy 1 357
Liberal Descent J. W. Burrow / Kniha Brožovaná
common.buy 1 407

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?