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

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Danny De Schreye
Libristo kód: 01655691
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, duben 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Racconti di Natale Charles Dickens / Kniha Brožovaná
common.buy 156 Kč
Geometrie Symplectique et Mecanique Claude Albert / Kniha Brožovaná
common.buy 828 Kč
Lumière sur Alzheimer Dr Ky Tran / Kniha Brožovaná
common.buy 376 Kč
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Kniha Pevná
common.buy 737 Kč
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Kniha Brožovaná
common.buy 309 Kč
Kártyavetés, de hogyan Carla Ferguson / Kniha Brožovaná
common.buy 312 Kč
Bis die Sterne zittern Johannes Herwig / E-kniha Adobe ePub DRM
common.buy 266 Kč
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Video Blu-ray
common.buy 515 Kč
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Kniha Brožovaná
common.buy 1 318 Kč
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Kniha Brožovaná
common.buy 320 Kč
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Kniha Pevná
common.buy 4 685 Kč
Beethovens Kammermusik Albrecht Riethmüller / Kniha Pevná
common.buy 2 492 Kč
Der große Gatsby F. Scott Fitzgerald / Kniha Pevná
common.buy 335 Kč
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Kniha Brožovaná
common.buy 1 214 Kč
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Kniha List
common.buy 617 Kč
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Kniha Brožovaná
common.buy 193 Kč
Aberglauben aus Masuren M Toeppen / Kniha Brožovaná
common.buy 368 Kč
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Kniha Brožovaná
common.buy 1 502 Kč
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Kniha Brožovaná
common.buy 171 Kč
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Kniha Brožovaná
common.buy 221 Kč
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Kniha Brožovaná
common.buy 347 Kč
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Kniha Pevná
common.buy 425 Kč
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Kniha Brožovaná
common.buy 445 Kč
gelosia da orango Irena Trevisan / Kniha Pevná
common.buy 417 Kč

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Danny De Schreye
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 205
EAN 9783642125911
ISBN 3642125913
Libristo kód 01655691
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 338
Rozměry 155 x 235 x 12

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
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > Teorie algoritmů
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
Výpočetní a informační technologie > Operační systémy
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

In the Electric Eden: Stories Nick Arvin / Kniha Brožovaná
common.buy 319 Kč
House Of Shadows Nicola Cornick / Kniha Brožovaná
common.buy 371 Kč
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Kniha Brožovaná
common.buy 563 Kč
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Kniha Pevná
common.buy 685 Kč
Chapter in the History of Cleveland Clarence Monroe Burton / Kniha Pevná
common.buy 619 Kč
Yayoi Kusama Catherine Taft / Kniha Pevná
common.buy 1 111 Kč
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Kniha Brožovaná
common.buy 685 Kč
Aiden the Alligator: An interactive learning book A T Broker / Kniha Brožovaná
common.buy 279 Kč
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Kniha Pevná
common.buy 1 011 Kč
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Kniha Pevná
common.buy 1 140 Kč
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Kniha Brožovaná
common.buy 299 Kč
Hey Kids! Comics! Howard Victor Chaykin / Kniha Brožovaná
common.buy 361 Kč
Ordinary People as Mass Murderers O. Jensen / Kniha Brožovaná
common.buy 1 537 Kč
Planning, Law and Economics Needham / Kniha Brožovaná
common.buy 1 787 Kč
Top
Last Of The Breed Louis L'Amour / Kniha Brožovaná
common.buy 163 Kč
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Kniha Brožovaná
common.buy 8 951 Kč
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Kniha Brožovaná
common.buy 641 Kč
Where Do We Go from Here? / Kniha Brožovaná
common.buy 436 Kč
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Kniha Brožovaná
common.buy 813 Kč
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Kniha Pevná
common.buy 574 Kč
Top
Alice in Borderland, Vol. 7 Haro Aso / Kniha Brožovaná
common.buy 334 Kč
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Kniha Pevná
common.buy 924 Kč
Minami's Lover H. Paige / Kniha Pevná
common.buy 561 Kč
Tall Man In A Low Land Harry Pearson / Kniha Brožovaná
common.buy 315 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?