Specification and Analysis of Discrete Systems: : A Programmer's Perspective
  • 洋書
  • 予約

Specification and Analysis of Discrete Systems: : A Programmer's Perspective

Gopalakrishnan, Ganesh

  • CRC Press(2026/01発売)
  • ご注文いただけません
Automata and Computability : A Programmer's Perspective
  • 洋書
  • 電子版あり

Automata and Computability : A Programmer's Perspective  Paperback,  言語:ENG

Gopalakrishnan, Ganesh

  • ウェブストア価格 ¥11,955(本体¥10,869)
  • Chapman & Hall/CRC(2020/09発売)
  • ポイント 108pt
  • 海外からお取り寄せ(通常6~9週間)
Genitourinary Tuberculosis
  • 洋書

Genitourinary Tuberculosis  Paperback,  言語:ENG

Gopalakrishnan, Ganesh/ Patwardhan, Sujata

  • ウェブストア価格 ¥7,256(本体¥6,597)
  • Jaypee Brothers Medical Publishers(2020/03発売)
  • ポイント 65pt
  • 海外からお取り寄せ(通常6~9週間)
Automata and Computability : A Programmer's Perspective
  • 洋書

Automata and Computability : A Programmer's Perspective  Hardcover,  言語:ENG

Gopalakrishnan, Ganesh

  • ウェブストア価格 ¥24,125(本体¥21,932)
  • CRC Press(2019/02発売)
  • ポイント 219pt
  • 海外からお取り寄せ(通常6~9週間)
Teacher Recruitment Level
  • 洋書

Teacher Recruitment Level  Paperback,  言語:ENG

Gopalakrishnan, Ganesh C./ Raj, D. Prithvi

  • Scitech Publications (India) Pvt Ltd(2015/08発売)
  • ご注文いただけません
Computation Engineering : Applied Automata Theory and Logic
  • 洋書

Computation Engineering : Applied Automata Theory and Logic  Paperback,  言語:ENG

Gopalakrishnan, Ganesh

  • ウェブストア価格 ¥26,013(本体¥23,649)
  • Springer(2010/02発売)
  • ポイント 236pt
  • 海外取次在庫
計算工学:応用オートマトン理論と論理<br>Computation Engineering : Applied Automata Theory and Logic
  • 洋書

計算工学:応用オートマトン理論と論理
Computation Engineering : Applied Automata Theory and Logic
 Hardcover,  言語:ENG

Gopalakrishnan, Ganesh C.

  • ウェブストア価格 ¥26,013(本体¥23,649)
  • Springer(2006/07発売)
  • ポイント 236pt
  • 海外取次在庫
A Treatise on Turbomachines
  • 洋書

A Treatise on Turbomachines  Paperback,  言語:ENG

Gopalakrishnan, Ganesh C.

  • Scitech Publications (India) Pvt Ltd(2008/12発売)
  • ご注文いただけません
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6806) (2011. XV, 763 S.)
  • 洋書

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6806) (2011. XV, 763 S.)  Paperback

Herausgegeben von Gopalakrishnan, Ganesh/ Qadeer, Shaz

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 121pt
  • 海外取次在庫
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,384(本体¥12,168)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 121pt
  • 海外取次在庫