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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic-Based Program Synthesis and Transformation

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Gopal Gupta
Libristo kod: 09094864
Nakladnici Springer International Publishing AG, prosinac 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Cijeli opis
? points 120 b
49.44 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Knjiga Meki uvez
common.buy 35.62 €
Gauguin, voyage au bout de la peinture Vauday / Knjiga Meki uvez
common.buy 25.73 €
Two worlds Jitka Herodesová / Knjiga Meki uvez
common.buy 1.91 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Knjiga Tvrdi uvez
common.buy 16.04 €
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Knjiga Meki uvez
common.buy 21.89 €
Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Knjiga Meki uvez
common.buy 12.40 €
Arquoelogía del agua : antología 1988-2001 Jacques Darras / Knjiga Meki uvez
common.buy 23.20 €
Religie Vroeger En Nu John.G.O. De Koker / Knjiga Meki uvez
common.buy 17.96 €
Das Beste aus der Kokosnuss Ulrike Gonder / Knjiga Meki uvez
common.buy 6.65 €

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.

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 Gopal Gupta, Ricardo Pe?a
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 237
EAN 9783319141244
ISBN 3319141244
Libristo kod 09094864
Nakladnici Springer International Publishing AG
Težina 3869
Dimenzije 155 x 235 x 13

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

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Knjiga Tvrdi uvez
common.buy 454.77 €
Fairy Dot Marker Coloring Book: Dots Coloring Book - angles- Try Different Ways to Color - Paint with Fingers, Markers, Paints for kids Chotiwat Ohm / Knjiga Meki uvez
common.buy 7.66 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Knjiga Meki uvez
common.buy 38.14 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Knjiga Meki uvez
common.buy 37.43 €
Can I Trust You? Yoram Solomon / Knjiga Meki uvez
common.buy 12.10 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Knjiga Meki uvez
common.buy 19.27 €
Modern Quantum Mechanics Jim Napolitano / Knjiga Tvrdi uvez
common.buy 77.00 €
Gavin's 100 Day Diary K P Lee / Knjiga Meki uvez
common.buy 9.38 €
40 Prayers for Nurses D Duane Engler / Knjiga Meki uvez
common.buy 8.37 €
Business Basics Berggren Newton Benny Berggren Newton / Knjiga Meki uvez
common.buy 22.19 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Knjiga Meki uvez
common.buy 106.07 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Knjiga Tvrdi uvez
common.buy 21.39 €
Around the House Roger Priddy / Knjiga Tvrdi uvez
common.buy 8.27 €
Iron Industry Richard Hayman / Knjiga Meki uvez
common.buy 10.99 €
Grace by Which I Stand Lin Lockamy / Knjiga Meki uvez
common.buy 13.31 €
May I Quote You on That? Stephen Spector / Knjiga Meki uvez
common.buy 15.73 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Knjiga Meki uvez
common.buy 6.65 €
Twilight at the Equator Jaime Manrique / Knjiga Meki uvez
common.buy 17.96 €
George Julian Harney David Goodway / Knjiga Tvrdi uvez
common.buy 99.30 €
Knee Arthroplasty Handbook Giles R. Scuderi / Knjiga Meki uvez
common.buy 138.26 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?