Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings Lecture Notes in Computer Science, nr. 13872 Editat de Georgiana Caltais et al. 2 mai 2023 Paperback Preț: 400.69 lei 6-8 săpt.
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings Lecture Notes in Computer Science, nr. 14846 Editat de Guy Avni et al. 17 iul 2024 Paperback Preț: 769.83 lei 962.28 lei Indisponibil temporar -20%
Verfahren zur Klassifikation des Verkehrs auf WLAN-Verbindungen Autor Christian Schilling 15 noi 2012 Paperback Preț: 285.35 lei Indisponibil temporar