Grundlagen der Theoretischen Informatik : Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen (2ND)
  • 洋書
  • 予約
  • ポイントキャンペーン

Grundlagen der Theoretischen Informatik : Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen (2ND)  Paperback,  言語:GER

Schulz, André

  • Springer Vieweg(2026/03発売)
  • ご注文いただけません
On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science 14765) (2026. x, 155 S. X, 155 p. 23 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science 14765) (2026. x, 155 S. X, 155 p. 23 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Dietsch, Daniel/ Rybalchenko, Andrey/ Schaef, Martin/ Wies, Thomas

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN; SPRINGER(2026/04発売)
  • ポイント 254pt
  • ご予約受付中。出版後の入荷・発送
Agent-Mediated Knowledge Management : International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003. Revised and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2926) (2004. XI, 428 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Agent-Mediated Knowledge Management : International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003. Revised and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2926) (2004. XI, 428 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Ludger van Elst, Virginia Dignum and Andreas Abecker

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
グリッド計算会議録<br>Grid Computing, AxGrids 2003 : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2970) (2004. XI, 328 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

グリッド計算会議録
Grid Computing, AxGrids 2003 : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2970) (2004. XI, 328 p. 23,5 cm)
 Paperback,  言語:ENG

Ed. by Francisco Fernandez Rivera, Marian Bubak, Andres Gomez Tato et al.

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2991) (2004. X, 315 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2991) (2004. X, 315 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Rene Alt, Andreas Frommer, R. Baker Kearfott et al.

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Smart Graphics, SG 2004 : 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004, Proceedings (Lecture Notes in Computer Science Vol.3031) (2004. X, 165 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Smart Graphics, SG 2004 : 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004, Proceedings (Lecture Notes in Computer Science Vol.3031) (2004. X, 165 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Andreas Butz, Antonio Krueger a. Patrick Olivier

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Affective Dialogue Systems, ADS 2004 : Tutorial and Research Workshop, ADS 2004, Kloster Irsee, Germany, June 14-16, 2004, Proceedings (Lecture Notes in Computer Science Vol.3068) (2004. XII, 324 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Affective Dialogue Systems, ADS 2004 : Tutorial and Research Workshop, ADS 2004, Kloster Irsee, Germany, June 14-16, 2004, Proceedings (Lecture Notes in Computer Science Vol.3068) (2004. XII, 324 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Elisabeth Andre, Laila Dybkjaer, Wolfgang Minker et al.

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Adaptive Multimedia Retrieval : First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3094) (2004. VIII, 229 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Adaptive Multimedia Retrieval : First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3094) (2004. VIII, 229 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Andreas Nuernberger a. Marcin Detyniecki

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing (Lecture Notes in Computer Science Vol.3255) (2004. XI, 423 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing (Lecture Notes in Computer Science Vol.3255) (2004. XI, 423 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Georg Gottlob, Andras Benczur a. Janos Demetrovics

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Logic Programming (Lecture Notes in Computer Science, Volume 592) (2007. 532 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic Programming (Lecture Notes in Computer Science, Volume 592) (2007. 532 S. 235 mm)  Paperback

Herausgeber: Voronkov, Andrei

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 254pt
  • 海外取次在庫
Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS '93, Gdansk, Poland, August 30 - September 3, 1993. Proceedings (Lecture Notes in Computer Science, Volume 711) (2007. 804 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS '93, Gdansk, Poland, August 30 - September 3, 1993. Proceedings (Lecture Notes in Computer Science, Volume 711) (2007. 804 S. 235 mm)  Paperback

Herausgeber: Borzyszkowski, Andrzej M., Sokolowski, Stefan

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 254pt
  • 海外取次在庫
Distributed Algorithms : 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings (Lecture Notes in Computer Science, Volume 725) (2007. 340 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Distributed Algorithms : 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings (Lecture Notes in Computer Science, Volume 725) (2007. 340 S. 235 mm)  Paperback

Herausgeber: Schiper, Andre

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 254pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)  Paperback

Herausgegeben von Fermueller, Christian G./ Voronkov, Andrei

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 508pt
  • 海外取次在庫
Computation, Physics and Beyond (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7160) (2012. 2012. XIII, 427 S.)
  • 洋書
  • ポイントキャンペーン

Computation, Physics and Beyond (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7160) (2012. 2012. XIII, 427 S.)  Paperback

Herausgegeben von Dinneen, Michael J./ Khoussainov, Bakhadyr/ Nies, Prof. Andre

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)
  • 洋書
  • ポイントキャンペーン

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)  Paperback

Herausgegeben von Joshi, Rajeev/ Mueller, Peter/ Podelski, Andreas

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Data Engineering and Management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .6411) (2012. 2012. 356 S.)
  • 洋書
  • ポイントキャンペーン

Data Engineering and Management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .6411) (2012. 2012. 356 S.)  Paperback

Herausgegeben von Kannan, Rajkumar/ Andres, Frederic

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) (2012. 2012. X, 457 S.)
  • 洋書
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) (2012. 2012. X, 457 S.)  Paperback

Herausgegeben von Kuncak, Viktor/ Rybalchenko, Andrey

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7343) (2012. 2012. XVI, 378 S.)
  • 洋書
  • ポイントキャンペーン

Product-Focused Software Process Improvement : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7343) (2012. 2012. XVI, 378 S.)  Paperback

Herausgegeben von Dieste, Oscar/ Jedlitschka, Andreas/ Juristo, Natalia

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Breast Imaging : 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012, Proceedings (Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Grap Vo) (2012. X, 792 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Breast Imaging : 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012, Proceedings (Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Grap Vo) (2012. X, 792 p. 235 mm)  Paperback

Ed. by Andrew D. A. Maidment, Predrag R. Bakic a. Sara Gavenonis

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7392) (2012. 2012. 700 S.)
  • 洋書
  • ポイントキャンペーン

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7392) (2012. 2012. 700 S.)  Paperback

Herausgegeben von Czumaj, Artur/ Mehlhorn, Kurt/ Pitts, Andrew/ Wattenhofer, Roger

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