Cărți de Christian Schilling

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

Preț: 769^.76 lei 962^.20 lei

Indisponibil temporar

-20%

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

Preț: 400^.69 lei

6-8 săpt.

Dropbox

mitp Anwendungen

Autor Christian Schilling

13 mai 2013

Preț: 56^.04 lei 70^.05 lei

Indisponibil temporar

-20%

Verfahren zur Klassifikation des Verkehrs auf WLAN-Verbindungen

Autor Christian Schilling

15 noi 2012

Preț: 285^.33 lei

Indisponibil temporar