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

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo kód: 01560821
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... 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

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Kniha Brožovaná
common.buy 361 Kč
Mujeres artistas LINDA NOCHIN / Kniha Brožovaná
common.buy 1 246 Kč
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Kniha Pevná
common.buy 2 110 Kč
Ja, pesnička 2 collegium / Kniha Pevná
common.buy 105 Kč
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Kniha Pevná
common.buy 444 Kč
Journal d'un Noob - Tome 8 Cube Kid / Kniha Brožovaná
common.buy 414 Kč
Opowieść wigilijna Dickens Karol / Kniha Pevná
common.buy 144 Kč
L'ombre L'eau qui s'écoule Lorrain-Vesque / Kniha Brožovaná
common.buy 472 Kč
Surpresa Mais Doce Augusta Hill / E-kniha Adobe ePub DRM
common.buy 23 Kč
Thelma et les enfants à table Colombe Schneck / Kniha Pevná
common.buy 329 Kč
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Tiskovina Noty
common.buy 627 Kč
Degas Loyrette / Kniha Brožovaná
common.buy 505 Kč
Świat równoległy wyd. 2 Tomasz Michniewicz / Kniha Pevná
common.buy 348 Kč
Die Polen in Oberschlesien Paul Weber / Kniha Brožovaná
common.buy 322 Kč
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Kniha Brožovaná
common.buy 242 Kč
Aventures del capita calçotes DAV PILKEY / Kniha Pevná
common.buy 234 Kč
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Kniha Brožovaná
common.buy 315 Kč
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Kniha Brožovaná
common.buy 765 Kč
Cesta z lebek Tyrani a králové John Marco / Kniha Brožovaná
common.buy 236 Kč
Největší současní básníci Petr Kovář / Kniha List
common.buy 176 Kč
Ja genau! C. Böschel / Kniha Brožovaná
common.buy 552 Kč
Klick! Sozialkunde/Politik - Fachhefte für alle Bundesländer - Ausgabe 2008 - Band 3. Bd.3 Christine Fink / Kniha List
common.buy 349 Kč
Vermarktung von Unterhaltung bei Germanys next Topmodel Anina Müller / Kniha Brožovaná
common.buy 369 Kč
Formierung der Ministerialitat und ihre Funktionen in der salischen und staufischen Herrschaft Johannes Grundberger / Kniha Brožovaná
common.buy 369 Kč

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and 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 Sandro Etalle
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 284
EAN 9783540266556
ISBN 3540266550
Libristo kód 01560821
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 450
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 > 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 > Počítačové programování/softwarové inženýrství
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

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Kniha Pevná
common.buy 4 707 Kč
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Kniha Brožovaná
common.buy 1 457 Kč
Graph Based Representations in Pattern Recognition Edwin Hancock / Kniha Brožovaná
common.buy 1 182 Kč
Lonely Planet Pocket Ibiza Planet Lonely / Kniha Brožovaná
common.buy 476 Kč
Nuclear Weapons Counterproliferation Jack Garvey / Kniha Pevná
common.buy 2 983 Kč
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Kniha Pevná
common.buy 636 Kč
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Kniha Brožovaná
common.buy 196 Kč
Human Brain During the Late First Trimester Shirley A. Bayer / Kniha Brožovaná
common.buy 2 185 Kč
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Kniha Brožovaná
common.buy 402 Kč
Season of Birth and Schizophrenia Fatima Kamran / Kniha Brožovaná
common.buy 1 209 Kč
Spoken Language Translator Manny RaynerDavid CarterPierrette BouillonVassilis Digalakis / Kniha Brožovaná
common.buy 1 453 Kč
English Auxiliaries Anthony R. Warner / Kniha Brožovaná
common.buy 1 061 Kč
Peasant Uprisings in Seventeenth-Century France, Russia and China Roland Mousnier / Kniha Pevná
common.buy 4 960 Kč
Enterococcus faecalis Henry L Mack / Kniha Pevná
common.buy 6 990 Kč
Pauline Canon Stanley E. Porter / Kniha Pevná
common.buy 1 182 Kč
Taak of the Toon Sid Waddell / Kniha Brožovaná
common.buy 231 Kč
E-Myth Contractor Michael E. Gerber / Kniha Brožovaná
common.buy 325 Kč
Maltese Falcon Dashiell Hammett / Kniha Brožovaná
common.buy 235 Kč
Text Book of Boxing Jim Driscoll / Kniha Brožovaná
common.buy 391 Kč
Secret Kingdom: Magic Mountain Rosie Banks / Kniha Brožovaná
common.buy 174 Kč
Time as a Metaphor of History: Early India Romila Thapar / Kniha Brožovaná
common.buy 313 Kč
International Directory of Company Histories Tina Gant / Kniha Pevná
common.buy 12 659 Kč
Global Technological Change Zhouying Jin / Kniha Brožovaná
common.buy 859 Kč
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Kniha Pevná
common.buy 3 355 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