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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
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.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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.18 €
Kultur ALS Naturgeschichte Christian Mehr / Knjiga Tvrdi uvez
common.buy 117.15 €
Abrege de la Philosophie de Gassendi Francois Bernier / Knjiga Meki uvez
common.buy 30.24 €
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Knjiga Meki uvez
common.buy 25.08 €
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Knjiga Meki uvez
common.buy 35.50 €
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Knjiga Meki uvez
common.buy 27.21 €
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Knjiga Knjiga
common.buy 7.38 €
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Knjiga Meki uvez
common.buy 28.02 €
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Knjiga Meki uvez
common.buy 22.55 €

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

Moses in America Melanie Jane Wright / Knjiga Tvrdi uvez
common.buy 106.53 €
Top
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Knjiga Meki uvez
common.buy 12.13 €
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Knjiga Meki uvez
common.buy 245.55 €
Explorers on Black Ice Bridge Alex Bell / E-knjiga Adobe ePub DRM
common.buy 7.27 €
Cinderella Is Dead Kalynn Bayron / Knjiga Meki uvez
common.buy 8.59 €
Lucky Per Henrik Pontoppidan / Knjiga Tvrdi uvez
common.buy 13.95 €
Imperator Anna Hackett / Knjiga Meki uvez
common.buy 12.13 €
Changing State Feminism J. Outshoorn / Knjiga Meki uvez
common.buy 106.33 €
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Knjiga Meki uvez
common.buy 17.80 €
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Knjiga Tvrdi uvez
common.buy 68.69 €
Daughter of the Sword Steve Bein / Knjiga Meki uvez
common.buy 20.33 €
Sexual Dysfunction A R Markos / Knjiga Tvrdi uvez
common.buy 128.18 €
Disturbing Influence Julian Mitchell / Knjiga Meki uvez
common.buy 18.30 €
British America 1500-1800 Steven Sarson / Knjiga Meki uvez
common.buy 60.80 €

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