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.

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Susanne Graf
Libristo kód: 01564910
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Kniha Brožovaná
common.buy 555 Kč
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Kalendář/Diář Kalendář
common.buy 446 Kč
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Video Blu-ray
common.buy 1 406 Kč
Preparation A La Mort. 9e Edition Jean Crasset / Kniha Brožovaná
common.buy 402 Kč
Terror In Taos Chet Cunningham Audiokniha MP3
common.buy 611 Kč
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Kniha Brožovaná
common.buy 511 Kč
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Kniha Brožovaná
common.buy 303 Kč
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Kniha Brožovaná
common.buy 654 Kč
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Kniha Brožovaná
common.buy 924 Kč
Viage De Espa?a, Volume 2 Antonio Ponz / Kniha Brožovaná
common.buy 621 Kč
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Kniha Pevná
common.buy 338 Kč
Amor fou MARTA SANZ / Kniha Brožovaná
common.buy 640 Kč
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Kniha List
common.buy 181 Kč
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Kniha Brožovaná
common.buy 702 Kč
16 Romantische Welterfolge, 1 Audio-CD arious / Audio Audio CD
common.buy 253 Kč

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

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 Automated Technology for Verification and Analysis
Autor Susanne Graf, Wenhui Zhang
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 546
EAN 9783540472377
ISBN 3540472371
Libristo kód 01564910
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1710
Rozměry 155 x 235 x 30

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 > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
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
Výpočetní a informační technologie > Počítačové sítě a komunikace
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

Guillaume Michael Arno Bender / Kniha Brožovaná
common.buy 548 Kč
Were- Patricia Bray / Kniha Brožovaná
common.buy 362 Kč
Anne of Ingleside L M Montgomery / Kniha Brožovaná
common.buy 269 Kč
The Ash Beneath My Feet Lucia Fudge / Kniha Brožovaná
common.buy 233 Kč
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Kniha Brožovaná
common.buy 241 Kč
Nowhere to Hide R. SAMUEL BATY / Kniha Brožovaná
common.buy 208 Kč
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Kniha Pevná
common.buy 791 Kč
The Supplies of Room Nine Learn to Shine Jessica Lewis / Kniha Pevná
common.buy 318 Kč
Enigma En El Laberinto De Maiz Pedro Tena Tena / Kniha Brožovaná
common.buy 393 Kč
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Kniha Brožovaná
common.buy 426 Kč
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Kniha Brožovaná
common.buy 1 216 Kč
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Kniha Brožovaná
common.buy 237 Kč
What's Wrong with the World G. K. Chesterson / Kniha Pevná
common.buy 358 Kč
Antiklotzius (1762) Pieter Burman / Kniha Brožovaná
common.buy 576 Kč
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Kniha Brožovaná
common.buy 512 Kč
Připravujeme
THE WAY OF JESUS Rebecca Pippert / Kniha Brožovaná
common.buy 237 Kč
Top
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Kniha Pevná
common.buy 816 Kč
Change and Progress in Modern Science Joseph C. Pitt / Kniha Pevná
common.buy 4 059 Kč
Perfect Imperfect MCCARTNEY KAREN / Kniha Pevná
common.buy 791 Kč
Beyond the Lettered City Joanne Rappaport / Kniha Brožovaná
common.buy 1 116 Kč
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Kniha Pevná
common.buy 1 525 Kč
Připravujeme
Dance of the Sleepwalkers Calabria / Kniha Pevná
common.buy 1 090 Kč
Bring Your Vision To Life Ralph McCall / Kniha Brožovaná
common.buy 208 Kč
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Kniha Brožovaná
common.buy 1 110 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?