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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Isil Dillig
Libristo kód: 24027841
Nakladatelství Springer Nature Switzerland AG, červenec 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

CARTE - LA NATURE EN HAUTE MONTAGNE Levi Walter YAGGY / Kniha Kniha
common.buy 589 Kč
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT SOUNDARYA PRABHAKAR / Kniha Brožovaná
common.buy 893 Kč
Hory zpívají Phan Que Mai Nguyen / Kniha Pevná
common.buy 346 Kč
Morče Nataša Velenská / Kniha Brožovaná
common.buy 147 Kč
KLIMATOLOGIE Émile H. Klouyo / Kniha Brožovaná
common.buy 893 Kč
Técnicas n?o-farmacológicas de gest?o do comportamento Anil Gupta / Kniha Brožovaná
common.buy 893 Kč
Io e il mio amico Gesù facciamo tante cose assieme. La comunione Bruno Ferrero / Kniha Brožovaná
common.buy 249 Kč
Bleigewitter über Cinecitt? Christian Keßler / Kniha Pevná
common.buy 688 Kč
Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Kniha Pevná
common.buy 223 Kč
SOLA GURT / Kniha Brožovaná
common.buy 456 Kč
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Kniha Brožovaná
common.buy 620 Kč
TEKIS GOMEZ / Kniha Pevná
common.buy 513 Kč
Un coup de dés jamais n'abolira le hasard Stéphane Mallarmé / Kniha binding.
common.buy 504 Kč
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Kniha Brožovaná
common.buy 258 Kč
Secme Dünya Öyküleri Jorge Luis Borges / Kniha Brožovaná
common.buy 370 Kč
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Kniha Brožovaná
common.buy 1 257 Kč
Christoph Columbus Jakob Wassermann / Kniha Brožovaná
common.buy 408 Kč
Die Ritter von Heliopolis. Band 3 Alejandro Jodorowsky / Kniha Pevná
common.buy 381 Kč
Besser hausgemacht mit dem Thermomix® Doris Muliar / Kniha Brožovaná
common.buy 290 Kč
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Kniha Brožovaná
common.buy 248 Kč
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Kniha Brožovaná
common.buy 397 Kč
Técnicas de relajación creativa y emocional Mónica Pintanel Bassets / Kniha Brožovaná
common.buy 576 Kč
Weg Ins Heim Trendb Uro / Kniha Brožovaná
common.buy 865 Kč

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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 Isil Dillig, Serdar Tasiran
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2019
Počet stran 673
EAN 9783030255398
ISBN 3030255395
Libristo kód 24027841
Nakladatelství Springer Nature Switzerland AG
Váha 1050
Rozměry 155 x 235 x 38

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > Počítačové modelování a simulace
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

Information Security Sokratis Katsikas / Kniha Brožovaná
common.buy 1 770 Kč
MEE Questions Book 2 Celebration Bar Review LLC / Kniha Brožovaná
common.buy 2 121 Kč
The Princess and the Pea Hans Christian Andersen / Kniha Brožovaná
common.buy 340 Kč
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2 ERASMUS DARWIN / Kniha Pevná
common.buy 728 Kč
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Kniha Pevná
common.buy 1 181 Kč
Treatise on Grand Military Operations as Contrasted with the Modern System Samuel Beckley Holabird / Kniha Brožovaná
common.buy 650 Kč
Do You Dream of Terra-Two? Temi Oh / Kniha Brožovaná
common.buy 308 Kč
Připravujeme
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1 ASME / Kniha Brožovaná
common.buy 3 403 Kč
Feasibility Study Majura Jackson G. Majura / Kniha Brožovaná
common.buy 824 Kč
Top
Trapped in a Video Game: The Complete Series Dustin Brady / Kniha Brožovaná
common.buy 785 Kč
A K-Pop Love Story H.G Samarasinghe / Kniha Brožovaná
common.buy 299 Kč
3 little sisters Radha Bamania / Kniha Brožovaná
common.buy 237 Kč
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Kniha Brožovaná
common.buy 4 707 Kč
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch Zhigang Zeng / Kniha Brožovaná
common.buy 3 767 Kč
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY DELTA CLASSICS / Kniha Brožovaná
common.buy 242 Kč
Group FEIGEL LARA / Kniha Brožovaná
common.buy 272 Kč
Katherine Mansfield: New Directions GASSTON AIMEE / Kniha Pevná
common.buy 3 306 Kč
The Diabolical Bones Bella Ellis / Kniha Brožovaná
common.buy 465 Kč
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Kniha Brožovaná
common.buy 335 Kč
Japanese Fairy Tale Series D. Thomson / Kniha Brožovaná
common.buy 271 Kč
Works of Ophra Behn Montague Summers / Kniha Pevná
common.buy 1 318 Kč
Top
Harry Potter Slytherin House Editions Hardback Box Set Joanne K. Rowling / Kniha Pevná
common.buy 4 719 Kč
In at the Death Francis Duncan / Audiokniha MP3
common.buy 215 Kč
Sex Differences in Intelligence Richard Lynn / Kniha Brožovaná
common.buy 326 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?