Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Musik
- Musik im Club
- CD
- Vinyl
- Notenblätter

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

schliessen

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/3195/4291/1/9783319542911xl.jpg

Numerical Software Verification

Kartonierter Einband
107 Seiten

(0) Erste Bewertung abgeben

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held... Weiterlesen

CHF 72.00

Auslieferung erfolgt in der Regel innert 2 bis 4 Wochen.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Inhalt
Verification and validation of global properties,.- Implementation of numerical techniques on modern hardware.- Development and analysis of cyber-physical systems (CPS).

Produktinformationen

Titel:	Numerical Software Verification
Untertitel:	9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Editor:	Sergiy Bogomolov Matthieu Martel Pavithra Prabhakar
EAN:	9783319542911
ISBN:	978-3-319-54291-1
Format:	Kartonierter Einband
Herausgeber:	Springer Nature EN
Genre:	Informatik
Anzahl Seiten:	107
Gewicht:	1883g
Größe:	H235mm x B155mm
Jahr:	2017
Auflage:	1st ed. 2017

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 10129

Ihr Link zur Ex Libris-Reader-App

Numerical Software Verification

Kartonierter Einband

Beschreibung

Produktinformationen

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Reconstruction, Segmentation, and Analysis of Medical Images

Enterprise Security

MultiMedia Modeling

MultiMedia Modeling

Unifying Theories of Programming

Smart Computing and Communication

Languages and Compilers for Parallel Computing

Practical Aspects of Declarative Languages

Approximation and Online Algorithms

SOFSEM 2017: Theory and Practice of Computer Science

Electronic Voting

Artificial Life and Computational Intelligence

Information Security and Cryptology

Information Security Applications

Verification, Model Checking, and Abstract Interpretation

Smart Card Research and Advanced Applications

Fuzzy Logic and Soft Computing Applications

Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications

High Performance Computing for Computational Science - VECPAR 2016

Semantic Keyword-Based Search on Structured Data Sources

Numerical Software Verification

Requirements Engineering: Foundation for Software Quality

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Radio Frequency Identification and IoT Security

Algorithms and Discrete Applied Mathematics

Information Security and Cryptology - ICISC 2016

Risks and Security of Internet and Systems

Topics in Cryptology - CT-RSA 2017

Concurrency, Security, and Puzzles

OWL: Experiences and Directions - Reasoner Evaluation

Agents and Artificial Intelligence

Pattern Recognition Applications and Methods

High-Performance Scientific Computing

Video Analytics. Face and Facial Expression Recognition and Audience Measurement

Security of Industrial Control Systems and Cyber-Physical Systems

WALCOM: Algorithms and Computation

Language and Automata Theory and Applications

Latent Variable Analysis and Signal Separation

Computer-Assisted and Robotic Endoscopy

Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors

Architecture of Computing Systems - ARCS 2017

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Übersicht

Charts

Ex Libris Club

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns