First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
  • 洋書
  • 予約
  • ポイントキャンペーン

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Leitsch, Alexander/ Cerna, David Michael/ Lolic, Anela

  • Springer Nature Switzerland AG(2026/01発売)
  • ご注文いただけません
Ophthalmic Medical Image Analysis : 12th International Workshop, OMIA 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Ophthalmic Medical Image Analysis : 12th International Workshop, OMIA 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Fang, Huihui (EDT)/ Wang, Meng (EDT)/ Li, Heng (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 218pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Teixeira, Leopoldo (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 258pt
  • 海外取次在庫
Computer and Information Sciences -- ISCIS 2003 : 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings (Lecture Notes in Computer Science .2869) (2003. XIX, 1110 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Computer and Information Sciences -- ISCIS 2003 : 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings (Lecture Notes in Computer Science .2869) (2003. XIX, 1110 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Yazici, Adnan/ Sener, Cevat

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 508pt
  • 海外取次在庫
AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .2903) (2003. XVI, 1075 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .2903) (2003. XVI, 1075 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Gedeon, Tamas D./ Fung, Lance C.C.

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 508pt
  • 海外取次在庫
マルチエージェントベースのシミュレーション:MABS2003<br>Multi-Agent-Based Simulation III, MABS 2003 : 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2927) (2003. X, 209 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

マルチエージェントベースのシミュレーション:MABS2003
Multi-Agent-Based Simulation III, MABS 2003 : 4th International Workshop, MABS 2003, Melbourne, Australia, July 14th, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2927) (2003. X, 209 p. 23,5 cm)
 Paperback,  言語:ENG

Ed. by David Hales, Bruce Edmonds, Emma Norling et al.

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 254pt
  • 海外取次在庫
Security Protocols 2002 : 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2845) (2004. CCXLIII, 8 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Security Protocols 2002 : 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2845) (2004. CCXLIII, 8 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Bruce Christianson, Bruno Crispo, James A. Malcolm et al.

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Experimental and Efficient Algorithms : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings (Lecture Notes in Computer Science Vol.3059) (2004. X, 586 p. 23,5  cm)
  • 洋書
  • ポイントキャンペーン

Experimental and Efficient Algorithms : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings (Lecture Notes in Computer Science Vol.3059) (2004. X, 586 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Celso C. Ribeiro a. Simone L. Martins

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science Vol.3049) (2004. VIII, 539 p.)
  • 洋書
  • ポイントキャンペーン

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science Vol.3049) (2004. VIII, 539 p.)  Paperback

Ed. by Maurice Broynooghe and Lau Kung-Kiu

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Logic Based Program Synthesis and Transformation, LOPSTR 2003 : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science Vol.3018) (2004. X, 233 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Logic Based Program Synthesis and Transformation, LOPSTR 2003 : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science Vol.3018) (2004. X, 233 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Maurice Bruynooghe

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Embedded and Ubiquitous Computing, EUC 2004 : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.3207) (2004. XX, 1116 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Embedded and Ubiquitous Computing, EUC 2004 : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.3207) (2004. XX, 1116 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Laurence T. Yang, Minyi Guo, Guang R. Gao et al.

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 508pt
  • 海外取次在庫
Articulated Motion and Deformable Objects : Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings (Lecture Notes in Computer Science Vol.3179) (2004. XI, 270 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Articulated Motion and Deformable Objects : Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings (Lecture Notes in Computer Science Vol.3179) (2004. XI, 270 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Francisco J. Perales a. Bruce A. Draper

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science Vol.3256) (2004. XII, 451 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science Vol.3256) (2004. XII, 451 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Hartmut Ehrig, Gregor Engels a. Francesco Parisi-Presicce

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Principles and Practice of Constraint Programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings (Lecture Notes in Computer Science Vol.3258) (2004. XVII, 822 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Principles and Practice of Constraint Programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings (Lecture Notes in Computer Science Vol.3258) (2004. XVII, 822 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Mark Wallace

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 508pt
  • 海外取次在庫
Computer and Information Sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings (Lecture Notes in Computer Science Vol.3280) (2004. XVIII, 1009 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Computer and Information Sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings (Lecture Notes in Computer Science Vol.3280) (2004. XVIII, 1009 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Cevdet Aykanat, Tugrul Dayar a. Ibrahim Korpeoglu

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 762pt
  • 海外取次在庫
Parallel and Distributed Processing and Applications : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings (Lecture Notes in Computer Science Vol.3358) (2004. XXIV, 1058 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Parallel and Distributed Processing and Applications : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings (Lecture Notes in Computer Science Vol.3358) (2004. XXIV, 1058 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by, Cao, Jiannong, Laurence T. Yang, Minyi Guo et al.

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 508pt
  • 海外取次在庫
Component-Based Software Quality : Methods and Techniques (Lecture Notes in Computer Science Vol. 2693) (2003. X, 403 p.)
  • 洋書
  • ポイントキャンペーン

Component-Based Software Quality : Methods and Techniques (Lecture Notes in Computer Science Vol. 2693) (2003. X, 403 p.)  Paperback

Ed. by A. Cechich, M. Piattini and A. Vallecillo

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 254pt
  • 海外取次在庫
Cryptographic Hardware and Embedded Systems, CHES 2003 : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings (Lecture Notes in Computer Science Bd.2779) (2003. XIII, 441 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Cryptographic Hardware and Embedded Systems, CHES 2003 : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings (Lecture Notes in Computer Science Bd.2779) (2003. XIII, 441 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Colin D. Walter, Cetin K. Koc a. Christof Paar

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 254pt
  • 海外取次在庫
Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings (Lecture Notes in Computer Science, Volume 619) (2007. 184 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings (Lecture Notes in Computer Science, Volume 619) (2007. 184 S. 235 mm)  Paperback

Herausgeber: Pearce, David, Wansing, Heinrich

  • ウェブストア価格 ¥9,796(本体¥8,906)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 178pt
  • 海外取次在庫
Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 714) (2007. 440 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 714) (2007. 440 S. 235 mm)  Paperback

Herausgeber: Penjam, Jaan, Bruynooghe, Maurice

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 254pt
  • 海外取次在庫