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

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Andy King
Libristo kód: 01570057
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... 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

Klar zum Feuern John Martin Ungar / Kniha Brožovaná
common.buy 208 Kč
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Kniha Brožovaná
common.buy 369 Kč
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Kniha Brožovaná
common.buy 813 Kč
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Kniha Brožovaná
common.buy 524 Kč
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Kniha Brožovaná
common.buy 750 Kč
Melekler Kiz mi, Erkek mi Özkan Öze / Kniha Brožovaná
common.buy 211 Kč
Die asiatische Cholera Joseph Riedel / Kniha Brožovaná
common.buy 298 Kč
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Kniha Brožovaná
common.buy 402 Kč
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Kniha Brožovaná
common.buy 293 Kč
Curso sobre agricultura biodinámica STEINER / Kniha Brožovaná
common.buy 567 Kč
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Kniha Brožovaná
common.buy 449 Kč
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Kniha Brožovaná
common.buy 2 643 Kč

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 222
EAN 9783540787686
ISBN 3540787682
Libristo kód 01570057
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 365
Rozměry 154 x 14 x 239

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 > 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

Controlled Nanoscale Motion Heiner Linke / Kniha Pevná
common.buy 2 357 Kč
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Kniha Brožovaná
common.buy 283 Kč
Rise of Early Modern Science HUFF TOBY E. / Kniha Pevná
common.buy 3 175 Kč
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Kniha Brožovaná
common.buy 287 Kč
Extraordinary Cases. Henry L Clinton / Kniha Brožovaná
common.buy 604 Kč
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Kniha Brožovaná
common.buy 341 Kč
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Kniha Brožovaná
common.buy 186 Kč
The Notary Art of Solomon: Ars Notoria King Solomon / Kniha Brožovaná
common.buy 157 Kč
Chimpanzee Lisa Jackson / Kniha Pevná
common.buy 825 Kč
Living Theory C.E. Hurst / Kniha Brožovaná
common.buy 2 699 Kč
Cheyenne Quinn M. Arnold / Kniha Pevná
common.buy 892 Kč
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Kniha Brožovaná
common.buy 423 Kč
Retail Marketing Strategy Constant Berkhout / Kniha Pevná
common.buy 2 780 Kč
Beyond Chopped Liver Kenden Alfond / Kniha Pevná
common.buy 808 Kč
Top
Rise of the Dragon Elio M. Garcia Jr. / Kniha Pevná
common.buy 827 Kč
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Kniha Brožovaná
common.buy 334 Kč
Values Andreas Urs Sommer / Kniha Pevná
common.buy 1 101 Kč
Incinerator Niall Leonard / Kniha Brožovaná
common.buy 315 Kč
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Kniha Brožovaná
common.buy 387 Kč
Magician's Doubts Michael Wood / Kniha Brožovaná
common.buy 1 218 Kč
Dust Julian Hawthorne / Kniha Pevná
common.buy 1 192 Kč
How to Knit a Love Song: A Cypress Hollow Yarn Rachael Herron / Kniha Brožovaná
common.buy 348 Kč
Miki Falls, Spring Mark Crilley / Kniha Brožovaná
common.buy 191 Kč
Hard Tack and Coffee John B. Billings / Kniha Brožovaná
common.buy 482 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?