enrico vicario
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 13th International Conference on Formal Mod...
New Frontiers in Quantitative Methods in Informatics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitati...
Image Description and Retrieval
EbookSofort lieferbarWith the recent advances in multimedia technology, on-line libraries of digital images are assumi...
Image Description and Retrieval
BuchBezug 11-15With recent advances in multimedia technology, on-line libraries of digital images are assuming a...
Image Description and Retrieval
TaschenbuchBezug 11-15With the recent advances in multimedia technology, on-line libraries of digital images are assumi...
Formal Modeling and Analysis of Timed Systems
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 13th International Conference on Formal ...
New Frontiers in Quantitative Methods in Informatics
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitati...
- 1