Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
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 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logic-Based Program Synthesis and Transformation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Elvira Albert
Libristo kód: 01663644
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, duben 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Celý popis
? points 109 b
1 088 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme Nové
Expertenwissen Nacken Marco Gassen / Kniha Brožovaná
common.buy 1 059 Kč
Einheit Auf Befehl? Sabine Collmer / Kniha Brožovaná
common.buy 1 214 Kč
Dieta a Base de Plantas Chantel Stephens / Kniha Brožovaná
common.buy 372 Kč
Les Bains de Mer de l'Algerie BERNARD-C / Kniha Brožovaná
common.buy 315 Kč
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Kniha Brožovaná
common.buy 389 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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.

Informace o knize

Plný název Logic-Based Program Synthesis and Transformation
Autor Elvira Albert
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 245
EAN 9783642381966
ISBN 3642381960
Libristo kód 01663644
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 454
Rozměry 155 x 235 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Diskrétní matematika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

Fading Light Chris Steele-Perkins / Kniha Pevná
common.buy 733 Kč
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-kniha Adobe ePub DRM
common.buy 125 Kč
U.S.-Taiwan Relations Bonnie Glaser / Kniha Brožovaná
common.buy 777 Kč
Steam Trains Today Andrew Martin / Kniha Brožovaná
common.buy 314 Kč
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Kniha Brožovaná
common.buy 988 Kč
History of World Egyptology Andrew Bednarski / Kniha Pevná
common.buy 4 640 Kč
Practical User Research Emmanuelle Savarit / Kniha Brožovaná
common.buy 1 191 Kč
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Kniha Pevná
common.buy 903 Kč
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Kniha Brožovaná
common.buy 1 043 Kč
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Kniha Brožovaná
common.buy 175 Kč
Top
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Kniha Brožovaná
common.buy 308 Kč
Ghosts - Notes from a Field Study Ken Lauter / Kniha Brožovaná
common.buy 491 Kč
High Point of Persistence Hilary White / Kniha Brožovaná
common.buy 606 Kč
Foundations in Sociolinguistics Dell Hymes / Kniha Pevná
common.buy 8 317 Kč
Guide to Magistrates Mayo / Kniha Brožovaná
common.buy 1 056 Kč
In the Museum of Man Alice L Conklin / Kniha Pevná
common.buy 3 841 Kč
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Kniha Brožovaná
common.buy 1 182 Kč
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Kniha Brožovaná
common.buy 369 Kč
Clinical CT Suzanne Henwood / Kniha Brožovaná
common.buy 1 727 Kč
Autonomy in Jewish Philosophy Kenneth Seeskin / Kniha Brožovaná
common.buy 1 041 Kč
All Elevations Unknown Sam Lightner / Kniha Brožovaná
common.buy 373 Kč
Influenza Virus Yoshihiro Kawaoka / Kniha Pevná
common.buy 3 451 Kč
The Archaeology of Political Spaces Dominik Bonatz / Kniha Pevná
common.buy 2 278 Kč
Aspects of Physical Biology Giancarlo Franzese / Kniha Pevná
common.buy 1 352 Kč

Přihlášení

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

 
povinné
povinné
Zapomenuté heslo

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

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

Vytvořit Libristo účet