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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Michael Hanus
Libristo kod: 01649407
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, veljača 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Cijeli opis
? points 125 b
51.76 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

La migration et l'immigration dans le roman africain francophone Soumaré / Knjiga Meki uvez
common.buy 20.15 €
Pokémon Socks 3-Pack Crew 39-42 Proizvodi od papira Proizvodi od papira
common.buy 23.09 €
Povoljno
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Knjiga Meki uvez
common.buy 19.04 €
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Knjiga Meki uvez
common.buy 28.05 €
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Knjiga Knjiga
common.buy 7.28 €
Die Welt und ich Ilona Einwohlt / E-knjiga Adobe ePub DRM
common.buy 6.27 €
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Knjiga Meki uvez
common.buy 27.14 €
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Knjiga Meki uvez
common.buy 35.45 €
Les Péchés capitaux de la haute technologie. Superphénix, Eurotunnel, Ariane 5... Robert Bell / Knjiga Meki uvez
common.buy 25.72 €
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Knjiga Meki uvez
common.buy 25.11 €
Abrege de la Philosophie de Gassendi Francois Bernier / Knjiga Meki uvez
common.buy 30.28 €
Kultur ALS Naturgeschichte Christian Mehr / Knjiga Tvrdi uvez
common.buy 117.30 €
Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Knjiga Meki uvez
common.buy 16.20 €
Infoxicación en la red Marta Fuentes Agustí / Knjiga Meki uvez
common.buy 32.10 €

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 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.

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 Michael Hanus
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 185
EAN 9783642005145
ISBN 3642005144
Libristo kod 01649407
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 308
Dimenzije 155 x 235 x 11

Kategorija

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
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
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

Life of Thomas, Lord Cochrane, Tenth Earl of Dundonald, G.C.B., Admiral of the Red, Etc., Etc. Henry Richard Fox Bourne / Knjiga Meki uvez
common.buy 13.56 €
Top
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Knjiga Meki uvez
common.buy 12.15 €
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Knjiga Meki uvez
common.buy 245.85 €
Explorers on Black Ice Bridge Alex Bell / E-knjiga Adobe ePub DRM
common.buy 6.88 €
Canons Of The Second Council Of Orange (1882) F. H. Woods / Knjiga Meki uvez
common.buy 20.35 €
Case for Christ Young Reader's Edition Lee Strobel / Knjiga Tvrdi uvez
common.buy 16.30 €
Cinderella Is Dead Kalynn Bayron / Knjiga Meki uvez
common.buy 8.60 €
Lucky Per Henrik Pontoppidan / Knjiga Tvrdi uvez
common.buy 13.87 €
Imperator Anna Hackett / Knjiga Meki uvez
common.buy 12.15 €
Sonata in C major: K 545 Mozart / Knjiga Meki uvez
common.buy 10.32 €
The Flirt Booth Tarkington / Knjiga Meki uvez
common.buy 10.32 €
Changing State Feminism J. Outshoorn / Knjiga Meki uvez
common.buy 106.46 €
Daughter of the Sword Steve Bein / Knjiga Meki uvez
common.buy 20.35 €
British America 1500-1800 Steven Sarson / Knjiga Meki uvez
common.buy 57.33 €
Sparrow iOS Game Framework Beginner's Guide Johannes Stein / Knjiga Meki uvez
common.buy 49.73 €
Sexual Dysfunction A R Markos / Knjiga Tvrdi uvez
common.buy 128.34 €
Disturbing Influence Julian Mitchell / Knjiga Meki uvez
common.buy 18.43 €
Women in Ancient Greece and Rome Michael Massey / Knjiga Meki uvez
common.buy 16.30 €
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Knjiga Meki uvez
common.buy 17.82 €
Moses in America Melanie Jane Wright / Knjiga Tvrdi uvez
common.buy 115.48 €

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?