Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic-Based Program Synthesis and Transformation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Logic-Based Program Synthesis and Transformation Germán Vidal
Koda Libristo: 01661777
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Celoten opis
? points 109 b
45.00 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Knjiga Mehka
common.buy 50.16 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Tiskani izdelki Note
common.buy 7.07 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Knjiga binding.
common.buy 28.52 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Knjiga Mehka
common.buy 23.76 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Knjiga Mehka
common.buy 6.97 €
Les silences de Margaret Paul Couturiau / Knjiga Mehka
common.buy 23.56 €
Artikel Marketing Blitz Andre Sternberg / E-knjiga Adobe ePub DRM
common.buy 0.90 €
Le Grand livre de la nature Anonyme / E-knjiga Adobe ePub DRM
common.buy 10.21 €
O dôstojnosti človeka Božena Seilerová / Knjiga Mehka
common.buy 8.18 €
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Igra/Igrača Igrača
common.buy 21.64 €
Kdo mi pomůže Jaroslav Gering / Knjiga Trda
common.buy 7.68 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Knjiga Mehka
common.buy 13.04 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Knjiga Mehka
common.buy 34.99 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Knjiga Mehka
common.buy 18.70 €
Kmalu
LA FIESTA DE DISFRACES Quílez Ibáñez / Knjiga Mehka
common.buy 22.55 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Knjiga Mehka
common.buy 20.22 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Knjiga Mehka
common.buy 72.82 €
Shania- Philosophie Thomas Heim / Knjiga Mehka
common.buy 12.74 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Knjiga Mehka
common.buy 54.72 €
Madchen in der Sprayerkultur? Lena Rheindorf / Knjiga Mehka
common.buy 15.26 €
Healing Hotels of the World / Knjiga Trda
common.buy 54.62 €
Top
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Knjiga Trda
common.buy 19.11 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logic-Based Program Synthesis and Transformation
Avtor Germán Vidal
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2012
Število strani 254
EAN 9783642322105
ISBN 3642322107
Koda Libristo 01661777
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 409
Mere 155 x 235 x 15

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Mojave Syntax MUNRO / Knjiga Mehka
common.buy 56.03 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Knjiga Mehka
common.buy 145.96 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Knjiga Trda
common.buy 126.44 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Knjiga Mehka
common.buy 7.27 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Knjiga Trda
common.buy 122.49 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Knjiga Trda
common.buy 264.72 €
Corr James K Polk Vol 9 James K Polk / Knjiga Trda
common.buy 56.03 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Knjiga Trda
common.buy 151.42 €
Industrial Energy Management and Sustainability Miriam Benedetti / Knjiga Trda
common.buy 36.41 €
Splat the Cat Rob Scotton / Knjiga Trda
common.buy 14.15 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Knjiga Mehka
common.buy 17.39 €
Environmental Soil Science Kim H. Tan / Knjiga Trda
common.buy 199.78 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Knjiga Mehka
common.buy 7.88 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Knjiga Mehka
common.buy 54.41 €
Big Data for Managers Atal Malviya / Knjiga Mehka
common.buy 71.91 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Knjiga Mehka
common.buy 9.80 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Knjiga Mehka
common.buy 11.32 €
Advances in Plant Biopesticides Dwijendra Singh / Knjiga Trda
common.buy 145.96 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Knjiga Mehka
common.buy 85.67 €
CU CIRCLE MAKER DRAW THE PB BATTERSON MARK / Knjiga Mehka
common.buy 12.23 €
Politics and Parentela in Paraiba Linda Lewin / Knjiga Trda
common.buy 193.00 €
Collaborative Design Management Stephen Emmitt / Knjiga Mehka
common.buy 73.83 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-knjiga Adobe ePub DRM
common.buy 17.59 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Knjiga Mehka
common.buy 340.18 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?