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
Mohlo by se vám také líbit
-
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More
582 Kč -
Die Pratermorde
289 Kč -
Tailored Realities
554 Kč -
From Hegel to Nietzsche
1199 Kč -
Intermezzo
403 Kč -
The 31st Consort, Vol. 1
231 Kč -
Understanding Financial Risk Management, Third Edition
1716 Kč -
Fussball Fitness Training mit Wissenschaft - Fitnesstraining - Schnelligkeit & Agilitat - Verletzungspravention
850 Kč -
Key Words with Peter and Jane Level 3b - We Can Fix It!
102 Kč -
BEETLEJUICE TALKING HANDBK FOR THE RECEN
282 Kč -
Demencja. Podstawy
420 Kč -
Creating Guided Meditations for Yourself and Others
243 Kč -
Congelación y calidad de la carne
389 Kč -
The celibates' club; being the united stories of The Bachelors' Club and The Old Maids' Club.: By: I. Zangwill, Illustrated By: George (Wylie) Hutchin
423 Kč -
Summer Stock
503 Kč -
Architekturen Und Prozesse
2422 Kč -
Jones vs. Rector and Inhabitants of the City of Ne
748 Kč -
All'improvviso a New York
283 Kč -
Тристан и Изольда
549 Kč -
Mining and Farming in Minecraft
537 Kč -
A SURVEY OF GREEK CIVILIZATION
814 Kč -
Soziale Akte, Sprechakte Und Textillokutionen
3867 Kč -
One Piece 61, El amanecer hacia la aventura del nuevo mundo
221 Kč -
The Restoration of Nature
434 Kč -
He Went for a Soldier
725 Kč -
Crystal Field Effects in Metals and Alloys
2356 Kč -
Six Dreams about the Train and Other Stories
332 Kč -
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book
158 Kč -
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England
1060 Kč -
Zur Bedeutung strukturell-demographischer und individuell-motivationaler Einflussfaktoren auf die Realisierung ausserschulischer Foerderung im Kindesa
975 Kč -
Shirayuki aux cheveux rouges - Tome 11
228 Kč -
La fada negra
682 Kč -
Resilience and Sustainability in Relation to Natural Disasters: A Challenge for Future Cities
1181 Kč -
Arboretum America
736 Kč -
Concise History of Veterinary Medicine
2387 Kč -
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization
814 Kč -
Multi-Period Pricing for Perishable Products
1203 Kč -
Cajal. El arte de la ciencia.
1010 Kč -
Warwick Castle
636 Kč -
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft
290 Kč -
Promposal
551 Kč -
Four letters of comforts for the deaths of the Earle of Hadingtoun and of the Lord Boyd
267 Kč -
De La Philosophie Corpusculaire: Ou, Des Connoissances Et Des Procedes Magnetiques (1785)
636 Kč -
Lethal Engagement (An Unbounded Novella)
285 Kč -
Ecclesiastical Tracts Formerly Published
620 Kč -
OPERACIÓ MISS BOMBÓ
285 Kč -
Food Protein Sources
1069 Kč -
Anthony Munday and Civic Culture
717 Kč -
Stones of Christ Church
906 Kč -
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien
490 Kč -
Caracteres de La Bruyere: Suivis Des Caracteres de Theophraste (1847)
994 Kč -
Logbuch für Venedig oder Bündnis Christine de Pizan
531 Kč -
Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye,
636 Kč -
Cycle of Escherichia coli Chromosomes and Plasmids
1203 Kč -
Transforming Conflict through Communication in Personal, Family, and Working Relationships
1489 Kč -
Le second enfer d'Etienne Dolet
1014 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Numerical Software Verification
Nákupem získáte 139 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
1392 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
1142 Kč -
RouterOS by Example, 2nd Edition
1292 Kč -
Introducing Microsoft Teams
939 Kč -
Introduction to Reliable and Secure Distributed Programming
1499 Kč -
Cisco Firepower Threat Defense (FTD)
1744 Kč -
Beginning Sensor Networks with XBee, Raspberry Pi, and Arduino
1702 Kč -
IoT Development for ESP32 and ESP8266 with JavaScript
967 Kč -
Salesforce Consultant's Guide
796 Kč -
Investigating the Cyber Breach
965 Kč -
Monetizing Machine Learning
1395 Kč -
Formal Methods for Open Object-Based Distributed Systems
1181 Kč -
Beginning FPGA: Programming Metal
1395 Kč -
Digital Twin
4235 Kč -
Resilient Routing in Communication Networks
3488 Kč -
Integrated Sensing, Communication and Computing Networks
1380 Kč -
Formal Modeling: Actors; Open Systems, Biological Systems
1392 Kč -
Achievements in European Research on Grid Systems
3220 Kč -
Advancements in Artificial Intelligence and Machine Learning
6200 Kč -
UAV Swarm Cooperation
4235 Kč -
RouterOS by Example, 2nd Edition
1539 Kč -
Context Management for Distributed and Dynamic Context-Aware Computing
1181 Kč -
Advanced Computer Science and Information Technology
1392 Kč -
Introduction to Network Programming with Java
1269 Kč -
Future Network Systems and Security
1181 Kč -
Wi-Fi 7
1269 Kč -
6G Enabled Fog Computing in IoT
4235 Kč -
Future Networking Essentials
1052 Kč -
Human Re-Identification
2749 Kč -
Scaling Networks v6 Labs & Study Guide
1451 Kč -
Constructive Side-Channel Analysis and Secure Design
1181 Kč -
Computational Science and Its Applications - ICCSA 2018
2356 Kč -
Distributed Medium Access Control in Wireless Networks
1181 Kč -
Practical Bot Development
1052 Kč -
High Performance Embedded Architectures and Compilers
1392 Kč -
Grundkurs Mobile Kommunikationssysteme
1079 Kč -
Content Distribution for Mobile Internet: A Cloud-based Approach
4000 Kč -
Accidental SysAdmin Handbook
1223 Kč -
Advances in Information Systems Development:
4705 Kč -
Backdoor Attacks against Learning-Based Algorithms
3530 Kč -
Wireless Internet
1181 Kč -
Neural Networks for Electronics Hobbyists
419 Kč -
Network Control and Optimization
1392 Kč -
Networked Digital Technologies, Part I
2749 Kč -
Protocol Engineering
1886 Kč -
Structure and Interpretation of the SMB Protocol
2591 Kč -
Concurrency, Security, and Puzzles
1181 Kč -
Parallel Processing and Applied Mathematics
1181 Kč -
Cyber Defense and Situational Awareness
2072 Kč -
Innovative Computing Vol 2 - Emerging Topics in Future Internet
5175 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48410 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)