Kód: 15802752
Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 107
Nakladatelství: Springer International Publishing AG, 2017
- Více informací o knize
1350 Kč
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Tailored Realities
555 Kč -
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More
568 Kč -
The 31st Consort, Vol. 1
225 Kč -
Intermezzo
393 Kč -
Complete Illustrated Guide to Beading & Making Jewellery
336 Kč -
Understanding Financial Risk Management, Third Edition
1796 Kč -
From Hegel to Nietzsche
1219 Kč -
Key Words with Peter and Jane Level 3b - We Can Fix It!
103 Kč -
Demencja. Podstawy
403 Kč -
Creating Guided Meditations for Yourself and Others
237 Kč -
Soziale Akte, Sprechakte Und Textillokutionen
3868 Kč -
When I Was a Boy
1174 Kč -
Congelación y calidad de la carne
391 Kč -
Concise History of Veterinary Medicine
2323 Kč -
Mining and Farming in Minecraft
661 Kč -
Summer Stock
491 Kč -
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England
1033 Kč -
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft
316 Kč -
Shirayuki aux cheveux rouges - Tome 11
258 Kč -
Crystal Field Effects in Metals and Alloys
2357 Kč -
Food Protein Sources
1041 Kč -
Anthony Munday and Civic Culture
714 Kč -
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book
149 Kč -
Transforming Conflict through Communication in Personal, Family, and Working Relationships
1585 Kč -
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization
794 Kč -
A SURVEY OF GREEK CIVILIZATION
794 Kč -
Le second enfer d'Etienne Dolet
1014 Kč -
Multi-Period Pricing for Perishable Products
1210 Kč -
Stones of Christ Church
833 Kč -
Cajal. El arte de la ciencia.
1013 Kč -
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien
490 Kč -
Uysal Kiz
234 Kč -
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883)
511 Kč -
He Went for a Soldier
707 Kč -
All'improvviso a New York
290 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Numerical Software Verification
Nákupem získáte 135 bodů
Anotace knihy
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer hardware Network hardware
1350 Kč
- Plný název: Numerical Software Verification
- Podnázev: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
- Autor: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 107
- EAN: 9783319542911
- ISBN: 3319542915
- ID: 15802752
- Nakladatelství: Springer International Publishing AG
- Hmotnost: 1883 g
- Rozměry: 235 × 155 × 7 mm
- Datum vydání: 17. February 2017
Oblíbené z jiného soudku
-
Cisco ACI: Zero to Hero
1112 Kč -
RouterOS by Example, 2nd Edition
1292 Kč -
Introducing Microsoft Teams
941 Kč -
Introduction to Reliable and Secure Distributed Programming
1753 Kč -
Cisco Firepower Threat Defense (FTD)
1730 Kč -
Beginning Sensor Networks with XBee, Raspberry Pi, and Arduino
1753 Kč -
IoT Development for ESP32 and ESP8266 with JavaScript
941 Kč -
Salesforce Consultant's Guide
775 Kč -
Monetizing Machine Learning
1358 Kč -
Investigating the Cyber Breach
966 Kč -
Formal Methods for Open Object-Based Distributed Systems
1182 Kč -
Beginning FPGA: Programming Metal
1358 Kč -
Digital Twin
4238 Kč -
RouterOS by Example, 2nd Edition
1600 Kč -
Resilient Routing in Communication Networks
3353 Kč -
6G Enabled Fog Computing in IoT
4238 Kč -
UAV Swarm Cooperation
4238 Kč -
Integrated Sensing, Communication and Computing Networks
1400 Kč -
Human Re-Identification
2646 Kč -
Wi-Fi 7
1269 Kč -
Scaling Networks v6 Labs & Study Guide
1127 Kč -
Future Networking Essentials
1025 Kč -
IPTV Delivery Networks - Next Generation Architectures for Live and Video-on-Demand Services
3281 Kč -
Practical Bot Development
1025 Kč -
Introduction to Network Programming with Java
1269 Kč -
High Performance Embedded Architectures and Compilers
1350 Kč -
On the Move to Meaningful Internet Systems: OTM 2011
1350 Kč -
Context Management for Distributed and Dynamic Context-Aware Computing
1182 Kč -
Accidental SysAdmin Handbook
1191 Kč -
Advanced Computer Science and Information Technology
1355 Kč -
HCNA Networking Study Guide
1155 Kč -
Advancements in Artificial Intelligence and Machine Learning
6008 Kč -
Introduction to Networks v6 Labs & Study Guide
1127 Kč -
Networked Digital Technologies, Part I
2675 Kč -
Protocol Engineering
1887 Kč -
Piecewise Linear Modeling and Analysis
3532 Kč -
Network Control and Optimization
1350 Kč -
Innovative Computing Vol 2 - Emerging Topics in Future Internet
5177 Kč -
Cyber Defense and Situational Awareness
2074 Kč -
Power Distribution and Performance Analysis for Wireless Communication Networks
1155 Kč -
The Essential PIC18® Microcontroller
2533 Kč -
Advances in Computing and Information Technology
2746 Kč -
Distributed Applications and Interoperable Systems
1182 Kč -
Logics and Models of Concurrent Systems
2357 Kč -
Practical Social Network Analysis with Python
2357 Kč -
Algorithms and Architectures for Parallel Processing
1182 Kč -
Computational Science and Its Applications - ICCSA 2019
2357 Kč -
Content Distribution for Mobile Internet: A Cloud-based Approach
4002 Kč -
Reconfigurable Intelligent Surface-Enabled Integrated Sensing and Communication in 6G
3532 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46857 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)