Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic Based Program Synthesis and Transformation

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo kod: 01560821
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Cijeli opis
? points 125 b
51.55 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Knjiga Meki uvez
common.buy 16.24 €
Ja, pesnička 2 collegium / Knjiga Tvrdi uvez
common.buy 5.74 €
Surpresa Mais Doce Augusta Hill / E-knjiga Adobe ePub DRM
common.buy 0.90 €
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Knjiga Meki uvez
common.buy 10.48 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Knjiga Tvrdi uvez
common.buy 19.16 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Knjiga Tvrdi uvez
common.buy 92.02 €
Journal d'un Noob - Tome 8 Cube Kid / Knjiga Meki uvez
common.buy 16.14 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Knjiga Meki uvez
common.buy 33.09 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Knjiga Meki uvez
common.buy 13.61 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Knjiga Meki uvez
common.buy 18.35 €
Disney: Raya und der letzte Drache / Knjiga Tvrdi uvez
common.buy 7.86 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Knjiga Tvrdi uvez
common.buy 13.71 €
Degas Loyrette / Knjiga Meki uvez
common.buy 19.67 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Tiskanica Note
common.buy 24.51 €
Aventures del capita calçotes DAV PILKEY / Knjiga Tvrdi uvez
common.buy 9.68 €
Mujeres artistas LINDA NOCHIN / Knjiga Meki uvez
common.buy 46.21 €
Die Polen in Oberschlesien Paul Weber / Knjiga Meki uvez
common.buy 12.50 €
Thelma et les enfants à table Colombe Schneck / Knjiga Tvrdi uvez
common.buy 12.70 €
Histoire amoureuse des Gaules suivie des Romans historico-satiriques du XVIIe siecle, Tome I Roger de Rabutin / Knjiga Meki uvez
common.buy 17.85 €
Top
Cesta z lebek Tyrani a králové John Marco / Knjiga Meki uvez
common.buy 9.68 €
Největší současní básníci Petr Kovář / Knjiga List
common.buy 7.05 €
Ja genau! C. Böschel / Knjiga Meki uvez
common.buy 24.01 €
Innovatives Beschaffungsmanagement Christoph W. Gabath / Knjiga Tvrdi uvez
common.buy 50.75 €
Dekorative Handarbeiten Ritta Drommer / Knjiga Meki uvez
common.buy 10.89 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic Based Program Synthesis and Transformation
Autor Sandro Etalle
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2005
Broj stranica 284
EAN 9783540266556
ISBN 3540266550
Libristo kod 01560821
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 450
Dimenzije 155 x 235 x 16

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Knjiga Tvrdi uvez
common.buy 205.23 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Knjiga Meki uvez
common.buy 63.26 €
Graph Based Representations in Pattern Recognition Edwin Hancock / Knjiga Meki uvez
common.buy 51.55 €
Lonely Planet Pocket Ibiza Planet Lonely / Knjiga Meki uvez
common.buy 18.96 €
Pauline Canon Stanley E. Porter / Knjiga Tvrdi uvez
common.buy 51.55 €
Nuclear Weapons Counterproliferation Jack Garvey / Knjiga Tvrdi uvez
common.buy 171.43 €
Global Technological Change Zhouying Jin / Knjiga Meki uvez
common.buy 37.73 €
International Directory of Company Histories Tina Gant / Knjiga Tvrdi uvez
common.buy 555.79 €
Time as a Metaphor of History: Early India Romila Thapar / Knjiga Meki uvez
common.buy 10.59 €
Secret Kingdom: Magic Mountain Rosie Banks / Knjiga Meki uvez
common.buy 7.66 €
Text Book of Boxing Jim Driscoll / Knjiga Meki uvez
common.buy 17.14 €
Maltese Falcon Dashiell Hammett / Knjiga Meki uvez
common.buy 10.38 €
E-Myth Contractor Michael E. Gerber / Knjiga Meki uvez
common.buy 14.22 €
Taak of the Toon Sid Waddell / Knjiga Meki uvez
common.buy 10.18 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Knjiga Meki uvez
common.buy 8.57 €
Human Brain During the Late First Trimester Shirley A. Bayer / Knjiga Meki uvez
common.buy 98.98 €
Enterococcus faecalis Henry L Mack / Knjiga Tvrdi uvez
common.buy 305.13 €
Season of Birth and Schizophrenia Fatima Kamran / Knjiga Meki uvez
common.buy 47.21 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Knjiga Meki uvez
common.buy 17.35 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Knjiga Tvrdi uvez
common.buy 27.44 €
Cambridge Natural History Volume 5 S F Harmer / Knjiga Tvrdi uvez
common.buy 40.96 €
Animal Group Behavior Abbie Dunne / Knjiga Meki uvez
common.buy 8.37 €
Country Quilts for Friends Margaret Peters / Knjiga Meki uvez
common.buy 20.27 €
Google Cloud Platform in Action John J. Geewax / Knjiga Meki uvez
common.buy 60.84 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?