Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!

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/3194/4877/0/9783319448770xl.webp

Formal Modeling and Analysis of Timed Systems

Kartonierter Einband
260 Seiten

(0) Erste Bewertung abgeben

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Syste... Weiterlesen

20%

72.00 CHF 57.60

Sie sparen CHF 14.40

Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.

The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.

Includes supplementary material: sn.pub/extras

Inhalt

Modeling Timed Phenomena.- Stochasticity and Hybrid Control.- Real-time Verification and Synthesis.- Workload Analysis.

Produktinformationen

Titel:	Formal Modeling and Analysis of Timed Systems
Untertitel:	14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Editor:	Nicolas Markey Martin Fränzle
EAN:	9783319448770
ISBN:	3319448773
Format:	Kartonierter Einband
Herausgeber:	Springer International Publishing
Genre:	Informatik
Anzahl Seiten:	260
Gewicht:	400g
Größe:	H235mm x B155mm x T14mm
Jahr:	2016
Untertitel:	Englisch
Auflage:	1st ed. 2016

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

Teil 9864

Ihr Link zur Ex Libris-Reader-App

Formal Modeling and Analysis of Timed Systems

Kartonierter Einband

Beschreibung

Produktinformationen

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

Internet and Distributed Computing Systems

Web Technologies and Applications

Information Security

Privacy in Statistical Databases

Advances in Artificial Intelligence

Discrete Optimization and Operations Research

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

Security and Trust Management

Multiagent System Technologies

Swarm, Evolutionary, and Memetic Computing

Computational Intelligence Methods for Bioinformatics and Biostatistics

Computational Collective Intelligence

Computational Collective Intelligence

Databases Theory and Applications

Computer Security - ESORICS 2016

Computer Security - ESORICS 2016

Modeling Decisions for Artificial Intelligence

Current Trends in Web Engineering

Swarm Intelligence

Artificial Intelligence: Methodology, Systems, and Applications

Formal Modeling and Analysis of Timed Systems

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Artificial Neural Networks and Machine Learning - ICANN 2016

Artificial Neural Networks and Machine Learning - ICANN 2016

Programming Languages

Computer Algebra in Scientific Computing

Adaptive and Adaptable Learning

Principles and Practice of Constraint Programming

Model and Data Engineering

Serious Games

Information Security Theory and Practice

Artificial Neural Networks in Pattern Recognition

Advances in Intelligent Data Analysis XV

Web Reasoning and Rule Systems

Reachability Problems

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016

OpenMP: Memory, Devices, and Tasks

KI 2016: Advances in Artificial Intelligence

Computer Vision - ECCV 2016

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Ex Libris Club

Charts

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns