Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science Vol.2931) (2004. VIII, 267 p. 23,5 cm)
  • 洋書

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science Vol.2931) (2004. VIII, 267 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Alexandre Petrenko a. Andreas Ulrich

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Database Programming Languages, DBPL 2003 : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2921) (2004. X, 279 p. 23,5 cm)
  • 洋書

Database Programming Languages, DBPL 2003 : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2921) (2004. X, 279 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Georg Lausen and Dan Suciu

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving (Lecture Notes in Computer Science Vol.2938) (2004. XV, 196 p. 23,5 cm)
  • 洋書

Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving (Lecture Notes in Computer Science Vol.2938) (2004. XV, 196 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Zili Zhang a. Chengqi Zhang

  • ウェブストア価格 ¥20,882(本体¥18,984)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 189pt
  • 海外取次在庫
Computer Music Modeling and Retrieval, CMMR 2003 : International Symposium, Montpellier, France, May 26-27, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2771) (2004. X, 247 p. 23,5 cm)
  • 洋書

Computer Music Modeling and Retrieval, CMMR 2003 : International Symposium, Montpellier, France, May 26-27, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2771) (2004. X, 247 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Uffe K. Wiil

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 253pt
  • 海外取次在庫
Regulated Agent-Based Social Systems, RASTA 2002 : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.2934) (2004. X, 301 p. 23,5 cm)
  • 洋書

Regulated Agent-Based Social Systems, RASTA 2002 : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.2934) (2004. X, 301 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Gabriela Lindemann, Daniel Moldt a. Mario Paolucci

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Automated Deduction in Geometry, ADG 2002 : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2930) (2004. VII, 231 p. 23,5 cm)
  • 洋書

Automated Deduction in Geometry, ADG 2002 : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2930) (2004. VII, 231 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Franz Winkler

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers (Lecture Notes in Computer Science Vol.2943) (2004. X, 225 p. 23,5 cm)
  • 洋書

DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers (Lecture Notes in Computer Science Vol.2943) (2004. X, 225 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Junghuei Chen a. John Reif

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Wired/Wireless Internet Communications, WWIC 2004 : Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings (Lecture Notes in Computer Science Vol.2957) (2004. XI, 307 p. 23,5 cm)
  • 洋書

Wired/Wireless Internet Communications, WWIC 2004 : Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings (Lecture Notes in Computer Science Vol.2957) (2004. XI, 307 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Peter Langendoerfer, Mingyan Liu, Ibrahim Matta et al.

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures (Lecture Notes in Computer Science Vol.2946) (2004. VIII, 267 p.)
  • 洋書

Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures (Lecture Notes in Computer Science Vol.2946) (2004. VIII, 267 p.)  Paperback

Ed. by R. Focardi and Roberto Gorrieri

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Databases, Information Systems, and Peer-to-Peer Computing : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2944) (2004. X, 249 p. 23,5 cm)
  • 洋書

Databases, Information Systems, and Peer-to-Peer Computing : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2944) (2004. X, 249 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Karl Aberer, Vana Kalogeraki a. Manolis Koubarakis

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Model-Checking Based Data Retrieval : An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science Vol.2917) (2004. XVI, 134 p.)
  • 洋書

Model-Checking Based Data Retrieval : An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science Vol.2917) (2004. XVI, 134 p.)  Paperback

Quintarelli, E.

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Topics in Cryptology - CT-RSA 2004 : The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.2964) (2004. XI, 387 p. 23,5 cm)
  • 洋書

Topics in Cryptology - CT-RSA 2004 : The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.2964) (2004. XI, 387 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Tatsuaki Okamoto

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Theory of Cryptography, TCC 2004 : First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings (Lecture Notes in Computer Science Vol.2951) (2004. XI, 523 p. 23,5 cm)
  • 洋書

Theory of Cryptography, TCC 2004 : First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings (Lecture Notes in Computer Science Vol.2951) (2004. XI, 523 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Moni Naor

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 253pt
  • 海外取次在庫
Verification : Theory and Pracitce. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science Vol.2772) (2004. XV, 783 p.)
  • 洋書

Verification : Theory and Pracitce. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science Vol.2772) (2004. XV, 783 p.)  Paperback

Ed. by Nachum Dershowitz

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 253pt
  • 海外取次在庫
Mobile and Ubiquitous Information Access : Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003. Revised and Invited Papers (Lecture Notes in Computer Science Vol.2954) (2004. X, 299 p.)
  • 洋書

Mobile and Ubiquitous Information Access : Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003. Revised and Invited Papers (Lecture Notes in Computer Science Vol.2954) (2004. X, 299 p.)  Paperback

Ed. by F. Crestani, M. Dunlop and S. Mizzaro

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Computational Linguistics and Intelligent Text Processing, CICLing 2004 : 5th International Conference, Seoul, Korea, February 15-21, 2004, Proceedings (Lecture Notes in Computer Science Vol.2945) (2004. XVIII, 651 p. 235 mm)
  • 洋書

Computational Linguistics and Intelligent Text Processing, CICLing 2004 : 5th International Conference, Seoul, Korea, February 15-21, 2004, Proceedings (Lecture Notes in Computer Science Vol.2945) (2004. XVIII, 651 p. 235 mm)  Paperback,  言語:ENG

Ed. by Alexander Gelbukh

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 253pt
  • 海外取次在庫
Public Key Cryptography, PKC 2004 : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004 (Lecture Notes in Computer Science Vol.2947) (2004. XI, 455 p. 23,5 cm)
  • 洋書

Public Key Cryptography, PKC 2004 : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004 (Lecture Notes in Computer Science Vol.2947) (2004. XI, 455 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Feng Bao, Robert Deng and Jianying Zhou

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings (Lecture Notes in Computer Science Vol.2961) (2004. IX, 411 p. 23,5 cm)
  • 洋書

Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings (Lecture Notes in Computer Science Vol.2961) (2004. IX, 411 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Peter Eklund

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.2949) (2004. X, 323 p. 23,5 cm)
  • 洋書

Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.2949) (2004. X, 323 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Rocco de Nicola, Gianluigi Ferrari a. Greg Meredith

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
グリッド計算会議録<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,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫