Networked Systems : 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings (Lecture Notes in Computer Science 15736)
  • 洋書

Networked Systems : 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings (Lecture Notes in Computer Science 15736)

Herausgegeben:Lahlou, Salem/Mukund, Madhavan

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/09発売)
  • ご注文いただけません
Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7561) (2012. 2012. XIII, 420 S.)
  • 洋書