Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Mai 2026
Genre:	EDV / Informatik
	Architectures / Artificial Intelligence / Computer Communication Networks / Computer Engineering and Networks / Concurrent computing methodologies / Dependable and Fault-Tolerant Systems and Networks / Design and Analysis of Algorithms / Distributed computing methodologies / Embedded and cyber-physical systems / Formal Languages and Automata Theory / Künstliche Intelligenz / Logic / modeling and simulation / Models of Computation / Netzwerk-Hardware / real-time systems / Semantics and reasoning / software system models mehr...
ISBN:	9783032204394
EAN-Code:	9783032204394
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	205
Illustration:	XVIII, 205 p. 58 illus., 42 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025. The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on state of the art research and challenges in verification, control, performance, and dependability evaluation for modern computer and communication systems.