
EAN: 9783030174613

Bilder-Quelle: discount24.de - Sport-Freizeit
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2019 which took place in Prague Czech Republic in April 2019 held as part of the European Joint Conferences on Theory and Practice of Software ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT SAT solving and theorem proving verification and analysis model checking tool demo and machine learning. Part II: concurrent and distributed systems monitoring and runtime verification hybrid and stochastic systems synthesis symbolic verification and safety and fault-tolerant systems.
Produktinformationen zuletzt aktualisiert am
28.03.2025 um 18:31 Uhr
28.03.2025 um 18:31 Uhr
Hersteller
-
EAN
9783030174613
MPN
-
ASIN
3030174611
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783319920399 - High Performance Computing Kartoniert (TB)...9781484236321 - Veracity of Big Data - Vishnu Pendyala Kartoniert ...
9783319633862 - Computer Aided Verification Kartoniert (TB)...
9780201038064 - The Art of Computer Programming Volume 4B - Donald...
9783030058067 - Supercomputing Kartoniert (TB)...
9780141986487 - The Mathematics of the Gods and the Algorithms of ...
9783319971353 - High Performance Computing in Science and Engineer...
9783319078748 - Inference on the Hurst Parameter and the Variance ...
9781484264270 - Programming Algorithms in Lisp - Vsevolod Domkin K...
9781484232064 - Practical Machine Learning with Python - Dipanjan ...
9783031006883 - Synthesis Lectures on Computer Vision Data Assoc...
9783319205526 - SpringerBriefs in Applied Sciences and Technology ...
kürzlich hinzugefügt:
9781324006732 - How Data Happened - Chris Wiggins Matthew L Jones ...9783662466803 - Tools and Algorithms for the Construction and Anal...
9783319566535 - Emergency Management in Neurology Emergencies in...
9783642026577 - Computer Aided Verification Kartoniert (TB)...
9783031011788 - Synthesis Lectures on Information Concepts Retriev...
9783863595302 - Ergebnisse aus der Produktionstechnik Clustering...
9783319591520 - Advances in Computational Intelligence Kartoniert ...
9783031572456 - Tools and Algorithms for the Construction and Anal...
9789811027529 - Detection and Estimation Research of High-speed Ra...
9783031007118 - Synthesis Lectures on Data Management Database R...
9783031357817 - Proceedings of the 3rd Conference on Physical Mode...
6934915203697 - Ranger video recorder...