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.

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Natasha Sharygina
Koda Libristo: 02075327
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Celoten opis
? points 236 b
97.53 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

I ja sam tu, uz vas Smriti Halls / Knjiga Trda
common.buy 10.83 €
Vie Abregee Du T. H. Frere Polycarpe / Knjiga Mehka
common.buy 14.78 €
La société patriarcale face à la résistance des femmes Resta / Knjiga Mehka
common.buy 31.49 €
Kumulyativnye Zaryady Oleg Minin / Knjiga Mehka
common.buy 75.45 €
Lebensfunken Akin Yildiz / Knjiga Mehka
common.buy 10.22 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Knjiga Mehka
common.buy 15.18 €
La enzima para rejuvenecer HIROMI SHINYA / Knjiga Mehka
common.buy 18.42 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Knjiga Mehka
common.buy 40.60 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Knjiga Mehka
common.buy 14.78 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Knjiga Trda
common.buy 29.36 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Knjiga Mehka
common.buy 15.18 €
Die ewige Philosophie Aldous Huxley / Knjiga Mehka
common.buy 18.63 €
Tatort Ägypten Arthur Conan Doyle / Knjiga Mehka
common.buy 16.90 €
Kmalu
Gittertiere 1. Bd.1 Heidi Schär / Knjiga Mehka
common.buy 23.99 €
Kmalu
Vegetative Physiologie Gerhard Heldmaier / Knjiga Trda
common.buy 45.47 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Knjiga Mehka
common.buy 81.42 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Computer Aided Verification
Avtor Natasha Sharygina, Helmut Veith
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2013
Število strani 1015
EAN 9783642397981
ISBN 3642397980
Koda Libristo 02075327
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1539
Mere 155 x 235 x 56

Kategorije

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Debates in Citizenship Education James Arthur / Knjiga Mehka
common.buy 61.77 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Knjiga Mehka
common.buy 9.81 €
Cambridge Companion to the Musical William A. Everett / Knjiga Mehka
common.buy 43.64 €
The Mammals of Israel Walter W. Ferguson / Knjiga Mehka
common.buy 27.44 €
Spider Tapestries Mike Allen / Knjiga Mehka
common.buy 14.78 €
Glyph* Shiro Nishimoto / Knjiga Trda
common.buy 20.45 €
Khobar Towers Air Force History and Museums Program / Knjiga Mehka
common.buy 29.16 €
Dirty Kiss Rhys Ford / Knjiga Mehka
common.buy 13.97 €
The Passaic Flood of 1903 Marshall Ora Leighton / Knjiga Mehka
common.buy 15.89 €
Defending Objectivity Margaret Archer / Knjiga Trda
common.buy 200.02 €
Compagnie Irlandaise M. W. Kirwan / Knjiga Mehka
common.buy 22.98 €
Strategic Networking in Small High Tech Firms Mette Monsted / Knjiga Mehka
common.buy 33.62 €
Wizards' Country DAPHNE ROOKE / Knjiga Mehka
common.buy 13.16 €
Households as Corporate Firms Krislert Samphantharak / Knjiga Mehka
common.buy 39.79 €
Exploring Piano Classics Technique Alfred Publishing / Knjiga Mehka
common.buy 17.31 €
The House of Vanity Hamza Laaouamri / Knjiga Mehka
common.buy 14.78 €
Inequality in the Digital Economy Andrew White / Knjiga Mehka
common.buy 131.05 €
Impressive Robert Klanten / Knjiga Mehka
common.buy 44.15 €
Kmalu Novo
The Application of GIS Technologies in the Roman Period Fernandez / Knjiga Mehka
common.buy 37.36 €
Decentralization and Development Partnership Fumihiko Saito / Knjiga Mehka
common.buy 48.91 €
Parameter Setting Thomas Roeper / Knjiga Trda
common.buy 160.02 €
Environmental History of Medieval Europe Richard Hoffmann / Knjiga Mehka
common.buy 43.03 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Knjiga Mehka
common.buy 137.94 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Knjiga Trda
common.buy 109.38 €

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