Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
AvSalem Lahlou,Madhavan Mukund
Häftad, Engelska, 2025
Del 15736 i serien Lecture Notes in Computer Science
1 705 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
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
2012739 kr
Del 66
FORMAL MODELS, LANGUAGES AND APPLICATIONS
SUBRAMANIAN K G, K G Subramanian, K Rangarajan, Madhavan Mukund
Inbunden, 2006
2 591 kr
Automated Technology for Verification and Analysis
Madhavan Mukund, Supratik Chakraborty
Häftad, 2012
572 kr
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
Ramesh Hariharan, Madhavan Mukund, V. Vinay
Häftad, 2001
572 kr
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
V. Vinay, Madhavan Mukund, Ramesh Hariharan
E-bok
2003739 kr
- Signerad!
- Signerad!
Del 3
- Nyhet