Kód: 24027841
Computer Aided Verification
Autor Isil Dillig, Serdar Tasiran
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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 673
Nakladateľ: Springer Nature Switzerland AG, 2019
- Viac informácií o knihe
51.69 €
Bežne: 55.97 €
Ušetríte 4.28 €
Skladom u dodávateľa
Odosielame za 5 - 8 dní
Mohlo by sa vám tiež páčiť
-
Invisible Women: Data Bias in a World Designed for Men
14.86 € -24 % -
Sex Differences in Intelligence
14.26 € -7 % -
Hory zpívají
14.36 € -25 % -
Morče
5.86 € -28 % -
Radiographic Atlas of Skeletal Development of the Hand and Wrist
191.52 € -
BioShock: Rapture
15.47 € -25 % -
LP!
49.97 € -
Wolfsmund
9.91 € -25 % -
Feasibility Study
34.09 € -24 % -
Privileged Brotherhoods
63.73 € -4 % -
30 Jahre Nachhilfe in 60 Minuten
10.92 € -10 % -
Do You Dream of Terra-Two?
12.74 € -25 % -
Besser hausgemacht mit dem Thermomix®
12.74 € -16 % -
Omaha Beach
43.60 € -
Secme Dünya Öyküleri
16.18 € -4 % -
Plaster Czarownicy i inne baśnie
10.11 € -14 % -
OLD AMERICAN SONGS II CHANT
5.15 € -
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu)
10.61 € -7 % -
Valorisation de soja: « tofu, farine infantile »
55.13 € -11 % -
Group
12.84 € -20 % -
Cast of Shadows
101.98 € -
My Life
21.04 € -24 % -
KLIMATOLOGIE
39.25 € -11 % -
Bleigewitter über Cinecitt?
30.34 € -16 % -
Cuento-juego. Los tres cerditos
16.48 € -
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets
14.05 € -25 % -
The Wager and Other Stories
7.27 € -6 % -
A Second Letter to the Right Reverend the Lord Bishop of London: On the Law of Marriage Within the Prohibited Degrees of Affinity: With a Letter Fro
13.95 € -24 % -
Adolescent and the Cartel
12.03 € -24 % -
Works of Ophra Behn
57.86 € -14 % -
Weg Ins Heim
37.83 € -6 % -
Advances in Growth Curve and Structural Equation Modeling
51.69 € -7 % -
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce
25.79 € -
TEKIS
28.22 € -
Soft Computing as Transdisciplinary Science and Technology
205.79 € -7 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Computer Aided Verification
Nákupom získate 125 bodov
Anotácia knihy
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
Parametre knihy
51.69 €
- Celý názov: Computer Aided Verification
- Autor: Isil Dillig, Serdar Tasiran
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 673
- EAN: 9783030255398
- ISBN: 3030255395
- ID: 24027841
- Nakladateľ: Springer Nature Switzerland AG
- Hmotnosť: 1050 g
- Rozmery: 235 × 155 × 38 mm
- Dátum vydania: 13. July 2019
Obľúbené z iného súdka
-
Moonwalk
14.26 € -17 % -
The Deal
11.42 € -27 % -
The Score
13.75 € -12 % -
The Mistake
14.66 € -
Jujutsu Kaisen, Vol. 30
9.91 € -20 % -
Witch Hat Atelier: Grimoire Edition 1
34.59 € -29 % -
Invincible Compendium Volume 2
48.25 € -22 % -
Invincible Compendium Volume 1
45.82 € -24 % -
Berserk Deluxe Volume 1
35.71 € -25 % -
Berserk Deluxe Volume 2
33.28 € -30 % -
Invincible Compendium Volume 3
45.82 € -24 % -
Heated Rivalry
12.74 € -6 % -
Witch Hat Atelier Manga Box Set 1
54.53 € -27 % -
The Goal
14.66 € -
Jujutsu Kaisen, Vol. 26
9.91 € -20 % -
Jujutsu Kaisen, Vol. 25
9.20 € -25 % -
Jujutsu Kaisen, Vol. 29
9.30 € -25 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
13.65 € -31 % -
Murdoku
17.09 € -29 % -
Moonwalk: A Memoir
21.74 € -24 % -
King of Gluttony
10.21 € -33 % -
Berserk Deluxe Volume 3
55.23 € -
Invincible Volume 1
13.04 € -24 % -
White Nights
4.75 € -11 % -
Veil Volume 1
12.03 € -25 % -
The Long Game
13.24 € -2 % -
The Deal
14.05 € -25 % -
Starside (Deluxe Limited Edition)
23.36 € -29 % -
Project Hail Mary
10.51 € -27 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.40 € -24 % -
Legacy
11.93 € -24 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.30 € -24 % -
Berserk Deluxe Volume 5
55.03 € -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.30 € -24 % -
Murdoku
13.75 € -29 % -
Chainsaw Man, Vol. 20
9.91 € -20 % -
Berserk Deluxe Volume 4
43.70 € -17 % -
Project Hail Mary
15.98 € -25 % -
Jujutsu Kaisen, Vol. 28
9.91 € -20 % -
Boys Omnibus Vol. 1 TPB
21.44 € -27 % -
Jujutsu Kaisen, Vol. 1
12.74 € -
The Summer Hikaru Died, Vol. 7
11.93 € -21 % -
The Ballad of Falling Dragons
14.56 € -11 % -
The Score
14.05 € -25 % -
Dancing The Dream
26.80 € -18 % -
Veil Volume 2
16.08 € -24 % -
Designing Data-Intensive Applications
49.06 € -25 % -
Invincible Volume 2 (New Edition)
11.32 € -25 % -
The Noma Guide to Building Flavour
31.66 € -25 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12744 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)