Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Modeling and Analysis of Timed Systems Martin Fränzle
Libristo-Code: 13633799
Verlag Springer International Publishing AG, August 2016
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeli... Vollständige Beschreibung
? points 111 b
45.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Top
UN ARTISTA ES... ARDITE OVEJERO / Buch Hardcover
common.buy 15.49 €
En ros med många törnen Ebony Oaten / Buch Broschur
common.buy 8.49 €
Top
Stvrzeno stříbrem - Poslední odkaz 1 James Logan / Buch Broschur
common.buy 15.49 €
Artificial Intelligence and the Future of Healthcare Johannessen / Buch Hardcover
common.buy 214.00 €
Barras de Arco Apoiadas em Osso vs Barras de Arco Erich no FMI Pallavi Srivastva / Buch Broschur
common.buy 34.19 €
Günstig
Volodymyr Zelenskyj Serhij Rudenko / Buch Hardcover
common.buy 9.99 €
Aller au-delà du handicap - A l'oeuvre d'un destin JABALY / Buch Broschur
common.buy 24.09 €
EL HONOR DE LA REPUBLICA ANGEL VIÑAS / Buch Broschur
common.buy 21.39 €
CIVILIZACIONES PALEOLITICO HOURS / Buch Buch
common.buy 8.19 €
Cuando yo hice de María Jutta Richter / Buch Broschur
common.buy 12.29 €
Přípravná cvičení pro hru dvojhmatů op. 9 Otakar Ševčík / Buch Buch
common.buy 7.59 €
Steuerverfehlungen ALS Tatbestandsmerkmale Von Ao-Vorschriften Sibyl Tanja Rieper / Buch Hardcover
common.buy 81.70 €
Peter Pan / Buch Leporello
common.buy 3.39 €
Mittelpunkt C1 / AB - Pracovní sešit Ch. Estermann / Buch Broschur
common.buy 14.69 €
Anwendungen Betriebswirtschaftlicher Forschung in Der Praxis Günter Fandel / Buch Broschur
common.buy 49.99 €
Moeglichkeiten und Grenzen telefonischer Beratung aus kommunikationspsychologischer Sicht Ute Ruth Marjanov / Buch Broschur
common.buy 58.00 €
Detský balíček Ján Čápka / Buch Hardcover
common.buy 6.39 €
Zuruck zu den Anfangen? - Eine qualitative Untersuchung zur Wiederentdeckung der Geschlechtertrennung im gegenwartigen Sportunterricht Daniel Pater / Buch Broschur
common.buy 47.95 €
Festschrift fur Peter Riess zum 70. Geburtstag am 4. Juni 2002 Ernst-Walter Hanack / Buch Hardcover
common.buy 304.95 €
Markenzeichen Intergenerativ. Ein Handlungskonzept fur die Zusammenarbeit zwischen Kindertagesstatte und Seniorenzentrum Tina Keller / Buch Broschur
common.buy 42.95 €
Enseignement Menager: La Necessite, La Nature, Le Programme, La Directrice De Diesbach-C / Buch Broschur
common.buy 13.99 €
Stockholm / MP průvodce nová edice / Drucksachen Karte
common.buy 8.29 €
La Francophonie Jürgen Erfurt / Buch Hardcover
common.buy 108.39 €
Berufliches Qualifizierungsnetzwerk Nürnberg-Fürth-Erlangen BQN / Buch Broschur
common.buy 7.90 €

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.§

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Modeling and Analysis of Timed Systems
Autor Martin Fränzle, Nicolas Markey
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 245
EAN 9783319448770
ISBN 3319448773
Libristo-Code 13633799
Verlag Springer International Publishing AG
Gewicht 3985
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

The ABC of Sales: Lessons from a Superstar Daniel Milstein / Buch Broschur
common.buy 16.19 €
Essential Type: An Illustrated Guide to Understanding and Using Fonts Tony Seddon / Buch Hardcover
common.buy 27.09 €
Life's Problems--God's Solutions: Answers to Fifteen of Life's Most Perplexing Problems J. Dwight Pentecost / Buch Broschur
common.buy 11.49 €
Literary Aesthetics of Trauma Reina Van der Wiel / Buch Broschur
common.buy 49.89 €
Fighting France, From Dunkerque To Belfort Edith Wharton / Buch Broschur
common.buy 17.19 €
These Are Our Bodies, Middle School Participant booklet Jenny Beaumont / Buch Broschur
common.buy 11.09 €
Freedom Thinking for 21st Century: How to Live Life to your Fullest Potential John Khazraee / Buch Broschur
common.buy 28.29 €
Home-Grown Harvest Eve McLaughlin / Buch Broschur
common.buy 12.69 €
Top
(TCH).SUCCED IN LANGUAGECERT CEFR C1 PRACTICES TEA / Buch Buch
common.buy 12.29 €
DC Poster Portfolio: Jim Lee Vol. 2 Jim Lee / Buch Broschur
common.buy 20.09 €
Vishnu Purana Horace Hayman Wilson / Buch Broschur
common.buy 24.09 €
Camino de Santiago Andy Symington / Buch Broschur
common.buy 11.79 €
Bad Guys in Cut to the Chase (The Bad Guys #13) BLABEY AARON / Buch Broschur
common.buy 4.99 €
How to Connect Thich Nhat Hanh / Buch Broschur
common.buy 6.59 €
Killing Hour Lisa Gardner / Audio Audio CD
common.buy 12.59 €
Loglines: The Long and Short on Writing Strong Loglines Douglas King / Buch Broschur
common.buy 10.09 €
The Microsoft Way Randall E. Stross / Buch Broschur
common.buy 15.39 €
An Oral History Analysis of Mine Emergency Response Charles Vaught Ph D / Buch Broschur
common.buy 15.39 €
Water-Quality Assessment of the Cambrian-Ordovician Aquifer System in the Northern Midwest, United States John T Wilson / Buch Broschur
common.buy 14.69 €
Introducing Japanese Cuisine Addiction: The official Japanese Cookbook for Beginners Bobby Flatt / Buch Broschur
common.buy 10.89 €
The Collapse of the Soviet Union: The History of the USSR Under Mikhail Gorbachev Charles River Editors / Buch Broschur
common.buy 11.79 €
Prospect of Generating EcoSystem Services Through Carbon Sequestration Bipin Poudel / Buch Broschur
common.buy 27.99 €
Günstig
Carter Reed 2 Tijan / Buch Broschur
common.buy 8.29 €
Case of the Corporal's Leave Christopher Bush / Buch Broschur
common.buy 10.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?