Efficient Formal Verification of Finite Non-Terminating Programs
Beschreibung
In his
master thesis, Vladimir Herdt presents a novel approach, called complete
symbolic simulation, for a more efficient verification of
much larger (non-terminating) SystemC programs. The
approach c ...mehr
Verlag
Springer Fachmedien Wiesbaden GmbH
Erscheinungsdatum
16.03.2016
ISBN/EAN
978-3-658-12680-3
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von Samson Lasaulce, Herausgegeben von Panayotis Mertikopoulos, Herausgegeben von Ariel Orda
Titel
Network Games, Control and Optimization
Untertitel
10th International Conference, NetGCooP 2020, France, September 22–24, 2021, Proceedings
Herausgegeben von Alexander Romanovsky, Herausgegeben von Elena Troubitsyna, Herausgegeben von Ilir Gashi, Herausgegeben von Erwin Schoitsch, Herausgegeben von Friedemann Bitsch
Titel
Computer Safety, Reliability, and Security
Untertitel
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Herausgegeben von Martin Wolpers, Herausgegeben von Paul A. Kirschner, Herausgegeben von Maren Scheffel, Herausgegeben von Stefanie Lindstaedt, Herausgegeben von Vania Dimitrova
Titel
Sustaining TEL: From Innovation to Learning and Practice
Untertitel
5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings
Beschreibung
These proceedings of the ?fth European Conference on Technology Enhanced Learning (EC-TEL 2010) exemplify the highly relevant and successful research being done in TEL. Because of this greatwork,this ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
15.09.2010
ISBN/EAN
978-3-642-16020-2
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Autor
Herausgegeben von Patrick Diehl, Herausgegeben von Peter Thoman, Herausgegeben von Hartmut Kaiser, Herausgegeben von Laxmikant Kale
Titel
Asynchronous Many-Task Systems and Applications
Untertitel
First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15–17, 2023, Proceedings
Herausgegeben von Rajeev Agrawal, Herausgegeben von Goutam Sanyal, Herausgegeben von Kevin Curran, Herausgegeben von Valentina Emilia Balas, Herausgegeben von Madhu Sharma Gaur
Titel
Cybersecurity in Emerging Digital Era
Untertitel
First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers
Beschreibung
This book constitutes selected and revised papers from the First International Conference on Cybersecurity in Emerging Digital Era, ICCEDE 2020, held in Greater Noida, India, in October ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
13.08.2021
ISBN/EAN
978-3-030-84842-2
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Xiuzhen Guo, Yuan He, Yunhao Liu
Titel
Cross-Technology Communication for Internet of Things
Building robots is a snap with LEGO Technic Robotics! This book shows you how to use LEGO bricks and Power Functions components such as motors and remote controls to create all kinds of robots. Best o ...mehr
»In der Regel sind Probleme, mit denen man in seiner Gegenwart konfrontiert ist, gar nicht so neu, wie man fürchtet, und oft fürchtet man sie nur, weil man sie für neu hält.«
Atlas der Sternenhimmel und Schöpfungsmythen der Menschheit
Untertitel
Beschreibung
Ein einzigartiges Buchprojekt: Raoul Schrotts großer Atlas der Sternenhimmel ermöglicht einen vollkommen neuen Blick auf die Menschheit und ihre weit zurückreichende Geschichte.
„Höchst anregend … jedes Kapitel fragt nach den Bedingungen, die ein freies Leben erst möglich machen, und ist als Ermutigung gedacht: Es liegt in unserer Hand.“
Philosophie Magazin, Elisa Primavera-Levy