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

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Logic-Based Program Synthesis and Transformation Gopal Gupta
Koda Libristo: 09094864
Založba Springer International Publishing AG, december 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Celoten opis
? points 114 b
46.99 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Knjiga Mehka
common.buy 13.06 €
Plop. Libro bagno Matt Wolf / Knjiga Mehka
common.buy 4.95 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Knjiga Trda
common.buy 15.18 €
Two worlds Jitka Herodesová / Knjiga Mehka
common.buy 1.81 €
Religie Vroeger En Nu John.G.O. De Koker / Knjiga Mehka
common.buy 17.11 €
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Knjiga Mehka
common.buy 33.62 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 Gopal Gupta, Ricardo Pe?a
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 237
EAN 9783319141244
ISBN 3319141244
Koda Libristo 09094864
Založba Springer International Publishing AG
Teža 3869
Mere 155 x 235 x 13

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

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Knjiga Trda
common.buy 456.37 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Knjiga Mehka
common.buy 6.17 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Knjiga Trda
common.buy 20.04 €
Business Basics Berggren Newton Benny Berggren Newton / Knjiga Mehka
common.buy 21.16 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Knjiga Mehka
common.buy 18.42 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Knjiga Mehka
common.buy 36.45 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Knjiga Mehka
common.buy 35.44 €
Can I Trust You? Yoram Solomon / Knjiga Mehka
common.buy 11.54 €
Gavin's 100 Day Diary K P Lee / Knjiga Mehka
common.buy 9.00 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Knjiga Mehka
common.buy 100.87 €
That A Divine Revelation Contains Mysteries Is No Valid Argument Against Its Truth Alexander Taylor / Knjiga Trda
common.buy 30.17 €
Around the House Roger Priddy / Knjiga Trda
common.buy 7.79 €
Grace by Which I Stand Lin Lockamy / Knjiga Mehka
common.buy 12.75 €
May I Quote You on That? Stephen Spector / Knjiga Mehka
common.buy 14.78 €
Twilight at the Equator Jaime Manrique / Knjiga Mehka
common.buy 18.02 €

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?