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

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Germán Vidal
Libristo kod: 01661777
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Cijeli opis
? points 115 b
47.54 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Knjiga Meki uvez
common.buy 53.11 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Tiskanica Note
common.buy 7.58 €
Artikel Marketing Blitz Andre Sternberg / E-knjiga Adobe ePub DRM
common.buy 1.00 €
Le Grand livre de la nature Anonyme / E-knjiga Adobe ePub DRM
common.buy 10.82 €
O dôstojnosti človeka Božena Seilerová / Knjiga Meki uvez
common.buy 8.59 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Knjiga Meki uvez
common.buy 7.27 €
Healing Hotels of the World / Knjiga Tvrdi uvez
common.buy 57.16 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Knjiga binding.
common.buy 30.34 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Knjiga Meki uvez
common.buy 25.08 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Knjiga Tvrdi uvez
common.buy 20.33 €
Les silences de Margaret Paul Couturiau / Knjiga Meki uvez
common.buy 24.68 €
Madchen in der Sprayerkultur? Lena Rheindorf / Knjiga Meki uvez
common.buy 16.18 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Knjiga Meki uvez
common.buy 57.86 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Knjiga Meki uvez
common.buy 13.65 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Knjiga Meki uvez
common.buy 36.82 €
Shania- Philosophie Thomas Heim / Knjiga Meki uvez
common.buy 13.55 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Knjiga Meki uvez
common.buy 19.62 €
Pripremamo
LA FIESTA DE DISFRACES Quílez Ibáñez / Knjiga Meki uvez
common.buy 23.67 €
Kdo mi pomůže Jaroslav Gering / Knjiga Tvrdi uvez
common.buy 8.08 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Knjiga Meki uvez
common.buy 21.24 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Knjiga Meki uvez
common.buy 77.29 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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 Germán Vidal
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 254
EAN 9783642322105
ISBN 3642322107
Libristo kod 01661777
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 409
Dimenzije 155 x 235 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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

Mojave Syntax MUNRO / Knjiga Meki uvez
common.buy 58.57 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Knjiga Meki uvez
common.buy 154.39 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Knjiga Tvrdi uvez
common.buy 133.65 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Knjiga Tvrdi uvez
common.buy 278.74 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Knjiga Meki uvez
common.buy 7.68 €
Corr James K Polk Vol 9 James K Polk / Knjiga Tvrdi uvez
common.buy 58.57 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Knjiga Tvrdi uvez
common.buy 159.85 €
Splat the Cat Rob Scotton / Knjiga Tvrdi uvez
common.buy 15.77 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Knjiga Meki uvez
common.buy 18.61 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Knjiga Meki uvez
common.buy 8.39 €
Big Data for Managers Atal Malviya / Knjiga Meki uvez
common.buy 75.27 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Knjiga Meki uvez
common.buy 10.31 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Knjiga Meki uvez
common.buy 12.13 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Knjiga Meki uvez
common.buy 54.42 €
Industrial Energy Management and Sustainability Miriam Benedetti / Knjiga Tvrdi uvez
common.buy 38.64 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Knjiga Tvrdi uvez
common.buy 714.81 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-knjiga Adobe ePub DRM
common.buy 18.71 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Knjiga Meki uvez
common.buy 359.78 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Knjiga Meki uvez
common.buy 90.75 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Knjiga Tvrdi uvez
common.buy 128.38 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Knjiga Tvrdi uvez
common.buy 107.85 €
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Knjiga Tvrdi uvez
common.buy 109.87 €
Collaborative Design Management Stephen Emmitt / Knjiga Meki uvez
common.buy 77.29 €
Politics and Parentela in Paraiba Linda Lewin / Knjiga Tvrdi uvez
common.buy 202.14 €

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