Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Natasha Sharygina
Libristo kód: 02075327
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

I ja sam tu, uz vas Smriti Halls / Kniha Pevná
common.buy 333 Kč
Vie Abregee Du T. H. Frere Polycarpe / Kniha Brožovaná
common.buy 358 Kč
La société patriarcale face à la résistance des femmes Resta / Kniha Brožovaná
common.buy 835 Kč
Kumulyativnye Zaryady Oleg Minin / Kniha Brožovaná
common.buy 1 823 Kč
Lebensfunken Akin Yildiz / Kniha Brožovaná
common.buy 246 Kč
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Kniha Brožovaná
common.buy 368 Kč
La enzima para rejuvenecer HIROMI SHINYA / Kniha Brožovaná
common.buy 464 Kč
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Kniha Brožovaná
common.buy 982 Kč
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Kniha Brožovaná
common.buy 358 Kč
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Kniha Pevná
common.buy 709 Kč
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Kniha Brožovaná
common.buy 413 Kč
Die ewige Philosophie Aldous Huxley / Kniha Brožovaná
common.buy 450 Kč
Tatort Ägypten Arthur Conan Doyle / Kniha Brožovaná
common.buy 455 Kč
Připravujeme
Gittertiere 1. Bd.1 Heidi Schär / Kniha Brožovaná
common.buy 643 Kč
Připravujeme
Vegetative Physiologie Gerhard Heldmaier / Kniha Pevná
common.buy 1 220 Kč
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Kniha Brožovaná
common.buy 2 185 Kč

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.§

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor Natasha Sharygina, Helmut Veith
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 1015
EAN 9783642397981
ISBN 3642397980
Libristo kód 02075327
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1539
Rozměry 155 x 235 x 56

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Debates in Citizenship Education James Arthur / Kniha Brožovaná
common.buy 1 424 Kč
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Kniha Brožovaná
common.buy 237 Kč
Cambridge Companion to the Musical William A. Everett / Kniha Brožovaná
common.buy 1 002 Kč
The Mammals of Israel Walter W. Ferguson / Kniha Brožovaná
common.buy 1 027 Kč
Spider Tapestries Mike Allen / Kniha Brožovaná
common.buy 358 Kč
Glyph* Shiro Nishimoto / Kniha Pevná
common.buy 542 Kč
Khobar Towers Air Force History and Museums Program / Kniha Brožovaná
common.buy 706 Kč
Dirty Kiss Rhys Ford / Kniha Brožovaná
common.buy 337 Kč
The Passaic Flood of 1903 Marshall Ora Leighton / Kniha Brožovaná
common.buy 384 Kč
Defending Objectivity Margaret Archer / Kniha Pevná
common.buy 4 835 Kč
Compagnie Irlandaise M. W. Kirwan / Kniha Brožovaná
common.buy 556 Kč
Strategic Networking in Small High Tech Firms Mette Monsted / Kniha Brožovaná
common.buy 812 Kč
Wizards' Country DAPHNE ROOKE / Kniha Brožovaná
common.buy 318 Kč
Households as Corporate Firms Krislert Samphantharak / Kniha Brožovaná
common.buy 914 Kč
Exploring Piano Classics Technique Alfred Publishing / Kniha Brožovaná
common.buy 459 Kč
The House of Vanity Hamza Laaouamri / Kniha Brožovaná
common.buy 357 Kč
Inequality in the Digital Economy Andrew White / Kniha Brožovaná
common.buy 3 167 Kč
Impressive Robert Klanten / Kniha Brožovaná
common.buy 1 167 Kč
Připravujeme Nové
The Application of GIS Technologies in the Roman Period Fernandez / Kniha Brožovaná
common.buy 903 Kč
Decentralization and Development Partnership Fumihiko Saito / Kniha Brožovaná
common.buy 1 182 Kč
Parameter Setting Thomas Roeper / Kniha Pevná
common.buy 4 060 Kč
Environmental History of Medieval Europe Richard Hoffmann / Kniha Brožovaná
common.buy 1 041 Kč
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Kniha Brožovaná
common.buy 3 334 Kč
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Kniha Pevná
common.buy 2 643 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet