Rules and Rule Markup Languages for the Semantic Web, RuleML 2003 : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings (Lecture Notes in Computer Science Vol.2876) (2003. VII, 173 p. 23,5 cm)
  • 洋書

Rules and Rule Markup Languages for the Semantic Web, RuleML 2003 : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings (Lecture Notes in Computer Science Vol.2876) (2003. VII, 173 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Michael Schroeder and Gerd Wagner

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Methods at the Crossroads. From Panacea to Foundational Support (Lecture Notes in Computer Science Vol.2757) (2003. XIV, 455 p.)
  • 洋書

Formal Methods at the Crossroads. From Panacea to Foundational Support (Lecture Notes in Computer Science Vol.2757) (2003. XIV, 455 p.)  Paperback

Ed. by B. K.Aichernig a. T. Maibaum

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
マルチエージェントベースのシミュレーション: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,308(本体¥12,099)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Perspectives of System Informatics, PSI 2003 : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2890) (2003. XV, 572 p. 23,5 cm)
  • 洋書

Perspectives of System Informatics, PSI 2003 : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers (Lecture Notes in Computer Science Vol.2890) (2003. XV, 572 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Manfred Broy and Alexandre V. Zamulin

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
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,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
グラフ製図(会議録)<br>Graph Drawing, GD 2003 : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2912) (2004. XV, 542 p. 23,5 cm)
  • 洋書

グラフ製図(会議録)
Graph Drawing, GD 2003 : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2912) (2004. XV, 542 p. 23,5 cm)
 Paperback,  言語:ENG

Ed. by Liotta Guiseppe

  • ウェブストア価格 ¥26,621(本体¥24,201)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 242pt
  • 海外からお取り寄せ(通常6~9週間)
Component-Based Software Testing with UML (2004. 320 p.)
  • 洋書

Component-Based Software Testing with UML (2004. 320 p.)  Hardcover

Gross, H.-G.

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
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,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Digital Documents: Systems and Principles (Lecture Notes in Computer Science Vol.2023) (2004. XII, 243 p. 23,5 cm)
  • 洋書

Digital Documents: Systems and Principles (Lecture Notes in Computer Science Vol.2023) (2004. XII, 243 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Peter King a. Ethan V. Munson

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Gesture-Based Communication in Human-Computer Interaction, GW 2003 : 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003. Selected Revised Papers (Lecture Notes in Artificial Intelligence Vol.2915) (2004. XIII, 558 p. 23,5 cm)
  • 洋書

Gesture-Based Communication in Human-Computer Interaction, GW 2003 : 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003. Selected Revised Papers (Lecture Notes in Artificial Intelligence Vol.2915) (2004. XIII, 558 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Antonio Camurri and Gualtiero Volpe

  • ウェブストア価格 ¥26,621(本体¥24,201)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 242pt
  • 海外取次在庫
Semirings for Soft Constraint Solving and Programming (Lecture Notes in Computer Science Vol.2962) (2004. XII, 279 p. 23,5 cm)
  • 洋書

Semirings for Soft Constraint Solving and Programming (Lecture Notes in Computer Science Vol.2962) (2004. XII, 279 p. 23,5 cm)  Paperback

Bistarelli, S.

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science Vol.2976) (2004. XV, 626 p. 23,5 cm)
  • 洋書

LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science Vol.2976) (2004. XV, 626 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Martin Farach-Colton

  • ウェブストア価格 ¥26,621(本体¥24,201)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 242pt
  • 海外取次在庫
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science Vol.3052) (2004. XII, 233 p. 23,5 cm)
  • 洋書

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science Vol.3052) (2004. XII, 233 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Wolf Zimmermann and Bernhard Thalheim

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3062) (2004. XV, 500 p. 23,5 cm)
  • 洋書

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3062) (2004. XV, 500 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by John L. Pfaltz, Manfred Nagl a. Boris Boehlen

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Relational and Kleene-Algebraic Methods in Computer Science (Lecture Notes in Computer Science Vol.3051) (2004. X, 279 p. 23,5 cm)
  • 洋書

Relational and Kleene-Algebraic Methods in Computer Science (Lecture Notes in Computer Science Vol.3051) (2004. X, 279 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by R. Berghammer, Bernhard Moeller a. Georg Struth

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Advanced Information Systems Engineering, CAiSE 2004 : 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3084) (2004. XIV, 596 p. 23,5 cm)
  • 洋書

Advanced Information Systems Engineering, CAiSE 2004 : 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3084) (2004. XIV, 596 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Anne Persson and Janis Stirna

  • ウェブストア価格 ¥26,621(本体¥24,201)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 242pt
  • 海外取次在庫
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,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Rewriting Techniques and Applications, RTA 2004 : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science Vol.3091) (2004. X, 313 p. 23,5 cm)
  • 洋書

Rewriting Techniques and Applications, RTA 2004 : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science Vol.3091) (2004. X, 313 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Vincent van Oostrom

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Advanced Distributed Systems : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers (Lecture Notes in Computer Science Vol.3061) (2004. VIII, 285 p. 23,5 cm)
  • 洋書

Advanced Distributed Systems : Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers (Lecture Notes in Computer Science Vol.3061) (2004. VIII, 285 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Felix F. Ramos, Herwig Unger a. Victor Larios

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