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

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

Lahlou, Salem (EDT)/ Mukund, Madhavan (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer(2025/09発売)
  • ポイント 322pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Models, Languages and Applications (Series in Machine Perception and Artificial Intelligence)
  • 洋書

Formal Models, Languages and Applications (Series in Machine Perception and Artificial Intelligence)  Hardcover,  言語:ENG

Subramanian, K G (EDT)/ Rangarajan, K (EDT)/ Mukund, Madhavan (EDT)

  • ウェブストア価格 ¥35,424(本体¥32,204)
  • World Scientific Publishing Co Pte Ltd(2006/07発売)
  • ポイント 322pt
  • 海外からお取り寄せ(通常6~9週間)
Perspectives in Concurrency
  • 洋書

Perspectives in Concurrency  Hardcover,  言語:ENG

Lodaya, Kamal (EDT)/ Mukund, Madhavan (EDT)

  • ウェブストア価格 ¥13,125(本体¥11,932)
  • CRC Press Inc(2009/04発売)
  • ポイント 119pt
  • 海外からお取り寄せ(通常6~9週間)
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.)
  • 洋書