Del 15736
Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
AvMadhavan Mukund,Salem Lahlou
E-bok
Engelska, 20252 036 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund
E-bok
2012708 kr
Del 66
Formal Models, Languages And Applications
SUBRAMANIAN K G, K G Subramanian, K Rangarajan, Madhavan Mukund
Inbunden, 2006
1 908 kr
Automated Technology for Verification and Analysis
Madhavan Mukund, Supratik Chakraborty
Häftad, 2012
561 kr
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
Ramesh Hariharan, Madhavan Mukund, V. Vinay
Häftad, 2001
561 kr
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
V. Vinay, Madhavan Mukund, Ramesh Hariharan
E-bok
2003708 kr
- -19%
- -30%
- 4 för 3