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
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic-Based Program Synthesis and Transformation

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Elvira Albert
Libristo kod: 01663644
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, travanj 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Cijeli opis
? points 115 b
47.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Pripremamo Novo
Expertenwissen Nacken Marco Gassen / Knjiga Meki uvez
common.buy 46.38 €
Einheit Auf Befehl? Sabine Collmer / Knjiga Meki uvez
common.buy 53.16 €
Dieta a Base de Plantas Chantel Stephens / Knjiga Meki uvez
common.buy 16.09 €
Les Bains de Mer de l'Algerie BERNARD-C / Knjiga Meki uvez
common.buy 13.66 €
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Knjiga Meki uvez
common.buy 17.11 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Elvira Albert
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 245
EAN 9783642381966
ISBN 3642381960
Libristo kod 01663644
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 454
Dimenzije 155 x 235 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Fading Light Chris Steele-Perkins / Knjiga Tvrdi uvez
common.buy 30.27 €
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-knjiga Adobe ePub DRM
common.buy 4.95 €
U.S.-Taiwan Relations Bonnie Glaser / Knjiga Meki uvez
common.buy 33.82 €
Steam Trains Today Andrew Martin / Knjiga Meki uvez
common.buy 13.97 €
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Knjiga Meki uvez
common.buy 39.09 €
History of World Egyptology Andrew Bednarski / Knjiga Tvrdi uvez
common.buy 202.15 €
Practical User Research Emmanuelle Savarit / Knjiga Meki uvez
common.buy 52.56 €
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Knjiga Tvrdi uvez
common.buy 39.29 €
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Knjiga Meki uvez
common.buy 45.47 €
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Knjiga Meki uvez
common.buy 7.69 €
Top
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Knjiga Meki uvez
common.buy 13.56 €
Ghosts - Notes from a Field Study Ken Lauter / Knjiga Meki uvez
common.buy 21.26 €
High Point of Persistence Hilary White / Knjiga Meki uvez
common.buy 26.22 €
Foundations in Sociolinguistics Dell Hymes / Knjiga Tvrdi uvez
common.buy 360.56 €
Guide to Magistrates Mayo / Knjiga Meki uvez
common.buy 46.28 €
In the Museum of Man Alice L Conklin / Knjiga Tvrdi uvez
common.buy 165.69 €
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Knjiga Meki uvez
common.buy 51.75 €
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Knjiga Meki uvez
common.buy 16.20 €
Clinical CT Suzanne Henwood / Knjiga Meki uvez
common.buy 74.94 €
Autonomy in Jewish Philosophy Kenneth Seeskin / Knjiga Meki uvez
common.buy 45.16 €
All Elevations Unknown Sam Lightner / Knjiga Meki uvez
common.buy 16.40 €
Influenza Virus Yoshihiro Kawaoka / Knjiga Tvrdi uvez
common.buy 151.21 €
The Archaeology of Political Spaces Dominik Bonatz / Knjiga Tvrdi uvez
common.buy 99.45 €
Aspects of Physical Biology Giancarlo Franzese / Knjiga Tvrdi uvez
common.buy 55.90 €

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