1～3件／全3件 セーフサーチON
  •  
Proceedings of International Conference on Recent Trends in Computing : ICRTC 2025, Volume 2 (Lecture Notes in Networks and Systems)
  • 洋書
  • 予約

Proceedings of International Conference on Recent Trends in Computing : ICRTC 2025, Volume 2 (Lecture Notes in Networks and Systems)  Paperback,  言語：ENG

Mahapatra, Rajendra Prasad (EDT)/ Roy, Sudip (EDT)/ Gopal, D. Ganesh (EDT)

  • ウェブストア価格 ¥59,921（本体¥54,474）
  • Springer Nature Switzerland AG（2025/12発売）
  • ポイント 544pt
  • ご予約受付中。出版後の入荷・発送
Teacher Recruitment Level
  • 洋書

Teacher Recruitment Level  Paperback,  言語：ENG

Gopalakrishnan, Ganesh C./ Raj, D. Prithvi

  • Scitech Publications (India) Pvt Ltd（2015/08発売）
  • ご注文いただけません
Theorem Proving in Higher Order Logics, TPHOLS 2004 : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3223) （2004. VIII, 337 p. 23,5 cm）
  • 洋書

Theorem Proving in Higher Order Logics, TPHOLS 2004 : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3223) （2004. VIII, 337 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Konrad Slind, Annette Bunker a. Ganesh C. Gopalakrishnan

  • ウェブストア価格 ¥13,538（本体¥12,308）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 123pt
  • 海外取次在庫
1～3件／全3件
  •