Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic-Based Program Synthesis and Transformation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Logic-Based Program Synthesis and Transformation Danny De Schreye
Koda Libristo: 01655691
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, april 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Racconti di Natale Charles Dickens / Knjiga Mehka
common.buy 6.88 €
Geometrie Symplectique et Mecanique Claude Albert / Knjiga Mehka
common.buy 34.22 €
Lumière sur Alzheimer Dr Ky Tran / Knjiga Mehka
common.buy 14.17 €
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Knjiga Trda
common.buy 27.03 €
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Knjiga Mehka
common.buy 12.75 €
Kártyavetés, de hogyan Carla Ferguson / Knjiga Mehka
common.buy 11.43 €
Bis die Sterne zittern Johannes Herwig / E-knjiga Adobe ePub DRM
common.buy 9.91 €
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Film Blu-ray
common.buy 19.43 €
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Knjiga Mehka
common.buy 54.57 €
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Knjiga Mehka
common.buy 13.26 €
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Knjiga Trda
common.buy 193.81 €
Beethovens Kammermusik Albrecht Riethmüller / Knjiga Trda
common.buy 92.75 €
Der große Gatsby F. Scott Fitzgerald / Knjiga Trda
common.buy 12.45 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Knjiga Mehka
common.buy 50.22 €
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Knjiga Preglednica
common.buy 23.18 €
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Knjiga Mehka
common.buy 8.29 €
Aberglauben aus Masuren M Toeppen / Knjiga Mehka
common.buy 15.18 €
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Knjiga Mehka
common.buy 62.16 €
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Knjiga Mehka
common.buy 7.08 €
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Knjiga Mehka
common.buy 9.10 €
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Knjiga Mehka
common.buy 14.37 €
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Knjiga Trda
common.buy 17.61 €
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Knjiga Mehka
common.buy 18.42 €
gelosia da orango Irena Trevisan / Knjiga Trda
common.buy 15.48 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logic-Based Program Synthesis and Transformation
Avtor Danny De Schreye
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 205
EAN 9783642125911
ISBN 3642125913
Koda Libristo 01655691
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 338
Mere 155 x 235 x 12

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

In the Electric Eden: Stories Nick Arvin / Knjiga Mehka
common.buy 13.15 €
House Of Shadows Nicola Cornick / Knjiga Mehka
common.buy 16.29 €
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Knjiga Mehka
common.buy 23.28 €
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Knjiga Trda
common.buy 28.34 €
Chapter in the History of Cleveland Clarence Monroe Burton / Knjiga Trda
common.buy 25.61 €
Yayoi Kusama Catherine Taft / Knjiga Trda
common.buy 49.20 €
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Knjiga Mehka
common.buy 28.34 €
Aiden the Alligator: An interactive learning book A T Broker / Knjiga Mehka
common.buy 11.53 €
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Knjiga Trda
common.buy 41.81 €
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Knjiga Trda
common.buy 42.42 €
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Knjiga Mehka
common.buy 12.34 €
Hey Kids! Comics! Howard Victor Chaykin / Knjiga Mehka
common.buy 14.88 €
Ordinary People as Mass Murderers O. Jensen / Knjiga Mehka
common.buy 57.30 €
Planning, Law and Economics Needham / Knjiga Mehka
common.buy 73.91 €
Top
Last Of The Breed Louis L'Amour / Knjiga Mehka
common.buy 7.28 €
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Knjiga Mehka
common.buy 370.30 €
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Knjiga Mehka
common.buy 26.52 €
Where Do We Go from Here? / Knjiga Mehka
common.buy 18.01 €
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Knjiga Mehka
common.buy 33.61 €
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Knjiga Trda
common.buy 23.79 €
Top
Alice in Borderland, Vol. 7 Haro Aso / Knjiga Mehka
common.buy 14.77 €
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Knjiga Trda
common.buy 38.27 €
Minami's Lover H. Paige / Knjiga Trda
common.buy 21.76 €
Tall Man In A Low Land Harry Pearson / Knjiga Mehka
common.buy 13.05 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?