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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation Alberto Pettorossi
Libristo kód: 01564461
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Biochemisches Handlexikon Andor Fodor / Kniha Brožovaná
common.buy 1 214 Kč
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Kniha Brožovaná
common.buy 532 Kč
Collection Des Livrets Des Anciennes Expositions Depuis 1673 Jusqu'en 1800. Exposition de 1765 Guiffrey-J / Kniha Brožovaná
common.buy 311 Kč
Le Facteur Ascension F. Ransom Herbert / Kniha Brožovaná
common.buy 321 Kč
FARMERS MARKET - Una aplicación web / Kniha Brožovaná
common.buy 893 Kč
Připravujeme
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Kniha Pevná
common.buy 449 Kč
Atlas der Krankheiten, Schädlinge und Nützlinge im Obst- und Weinbau Peter Fischer-Colbrie / Kniha Pevná
common.buy 1 406 Kč
Bloc 3 - Assurer la gestion opérationnelle BTS MCO 1 et 2 (2024) - Pochette élève Hamida / Kniha Kniha
common.buy 892 Kč
M?t m? h?n lo?n Francisco Angulo de Lafuente / Kniha Brožovaná
common.buy 445 Kč
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 646 Kč
LEGO® Harry Potter™ Kouzelnická zábava / Kniha Brožovaná
common.buy 165 Kč
Ornamentvogelspinnen Henrik Krehenwinkel / Kniha Pevná
common.buy 745 Kč
Kako sam sebi biti najbolji prijatelj Paul Hauck / Kniha Brožovaná
common.buy 350 Kč
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Kniha Brožovaná
common.buy 394 Kč
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Kniha Brožovaná
common.buy 1 115 Kč
La mort sur ses épaules Farmer / Kniha Brožovaná
common.buy 711 Kč
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Kniha Brožovaná
common.buy 417 Kč
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales Abg Technologies / Kniha Brožovaná
common.buy 422 Kč
Tvory Volume 9 Volodymyr Vynnychenko / Kniha Brožovaná
common.buy 532 Kč
Océanos de inmortalidad: Un círculo, seis mujeres y muchas vidas pasadas. Bea Panisello / Kniha Brožovaná
common.buy 453 Kč
Kúpte si družičku! Jacqueline Wilsonová / Kniha Brožovaná
common.buy 177 Kč
Les Reformes Sociales Dreux-A / Kniha Brožovaná
common.buy 284 Kč
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Kniha Brožovaná
common.buy 732 Kč
Dictionnaire de l'Armee de Terre BARDIN-E-A / Kniha Brožovaná
common.buy 606 Kč

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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 Alberto Pettorossi
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 272
EAN 9783540439158
ISBN 3540439153
Libristo kód 01564461
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 880
Rozměry 155 x 235 x 16

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í > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
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
Medicína a ošetřovatelství > Medicína: obecná témata
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

Models in Cooperative Game Theory Rodica Branzei / Kniha Brožovaná
common.buy 2 357 Kč
Hybrid Latex Particles Alex M. van Herk / Kniha Brožovaná
common.buy 7 057 Kč
Production Planning in Automated Manufacturing Yves Crama / Kniha Brožovaná
common.buy 1 355 Kč
Blood: Book One Latreace C Warren / Kniha Brožovaná
common.buy 299 Kč
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Kniha Brožovaná
common.buy 2 827 Kč
Medical Imaging Techniques and Applications Marcus Lewis / Kniha Pevná
common.buy 2 747 Kč
Counterfeit Souls Va Andrews / Kniha Brožovaná
common.buy 196 Kč
Little Book Of Eternal Wisdom Blessed Henry Suso / Kniha Brožovaná
common.buy 320 Kč
Mind Power Secrets: Road To Riches Shana O Lean / Kniha Brožovaná
common.buy 361 Kč
The Question of Alsace and Lorraine Thomas Willing Balch / Kniha Brožovaná
common.buy 354 Kč
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Kniha Brožovaná
common.buy 237 Kč
Echoes Down a Dark Well Ric Wasley / Kniha Brožovaná
common.buy 403 Kč
Reading Wonders, Grade 4, Leveled Reader Nellie Bly: Reporter for the Underdog, Approaching, Unit 3, 6-Pack Mcgraw-Hill Education / Kniha Pevná
common.buy 1 728 Kč
Nineteenth-Century Poetry and Liberal Thought Anna Barton / Kniha Pevná
common.buy 2 438 Kč
Politics Latin America Gavin O'Toole / Kniha Pevná
common.buy 5 606 Kč
Lost Founding Father William J. Cooper / Kniha Pevná
common.buy 647 Kč
Připravujeme Nové
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Kniha Brožovaná
common.buy 1 041 Kč
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Kniha Pevná
common.buy 226 Kč
South Windsor Claire Lobdell / Kniha Pevná
common.buy 558 Kč
Information Geometry and Population Genetics Julian Hofrichter / Kniha Brožovaná
common.buy 3 062 Kč
Solutions: Elementary: Student's Book and Online Practice Pack Tim Falla / Kniha Brožovaná
common.buy 1 494 Kč
Making Sense LILA ROSE / Kniha Brožovaná
common.buy 325 Kč
Coal Mining in Pakistan Mudassar Ali Raja / Kniha Brožovaná
common.buy 813 Kč
Operational Costs in Acquisitions James R. Coffey / Kniha Brožovaná
common.buy 1 283 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?