Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) (2004. XII, 536 p. 23,5 cm)
  • 洋書

Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) (2004. XII, 536 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Rajeev Alur and Doron A. Peled

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外取次在庫
Parameterized and Exact Computation : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3162) (2004. X, 293 p. 23,5 cm)
  • 洋書

Parameterized and Exact Computation : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3162) (2004. X, 293 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Frank Dehne, Rod Downey a. Michael Fellows

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Empirical Methods and Studies in Software Engineering : Experiences from ESERNET (Lecture Notes in Computer Science Vol.2765) (2003. VIII, 278 p. w. figs. 23,5 cm)
  • 洋書

Empirical Methods and Studies in Software Engineering : Experiences from ESERNET (Lecture Notes in Computer Science Vol.2765) (2003. VIII, 278 p. w. figs. 23,5 cm)  Paperback

Ed. by Reidar Conradi and Alf I. Wang

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 123pt
  • 海外取次在庫
Advances in Web-Based Learning - ICWL 2004 : Third International Conference, Beijing, China, August 8-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3143) (2004. XIII, 459 p. 23,5 cm)
  • 洋書

Advances in Web-Based Learning - ICWL 2004 : Third International Conference, Beijing, China, August 8-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3143) (2004. XIII, 459 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Wenyin Liu, Yuanchun Shi a. Li Qing

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Text, Speech and Dialogue, TSD 2004 : 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3206) (2004. XIII, 667 p. 23,5 cm)
  • 洋書

Text, Speech and Dialogue, TSD 2004 : 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3206) (2004. XIII, 667 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Petr Sojka, Ivan Kopecek a. Karel Pala

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外取次在庫
The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science Vol.2870) (2003. XV, 931 p. 23,5 cm)
  • 洋書

The Semantic Web - ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science Vol.2870) (2003. XV, 931 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Dieter Fensel, Katia Sycara a. John Mylopoulos

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 247pt
  • 海外取次在庫
Principles and Practice of Semantic Web Reasoning, PPSWR 2003 : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings (Lecture Notes in Computer Science Vol.2901) (2003. X, 209 p. 23,5 cm)
  • 洋書

Principles and Practice of Semantic Web Reasoning, PPSWR 2003 : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings (Lecture Notes in Computer Science Vol.2901) (2003. X, 209 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Francois Bry, Nicola Henze a. Jan Maluszynski

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 123pt
  • 海外取次在庫
Multiple Classifier Systems, MCS 2004 : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3077) (2004. XII, 386 p. 23,5 mm)
  • 洋書

Multiple Classifier Systems, MCS 2004 : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3077) (2004. XII, 386 p. 23,5 mm)  Paperback,  言語:ENG

Ed. by Fabio Roli, Josef Kittler a. Terry Windeatt

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Service Assurance with Partial and Intermittent Resources, SAPIR 2004 : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings (Lecture Notes in Computer Science Vol.3126) (2004. XI, 312 p. 23,5 cm)
  • 洋書

Service Assurance with Partial and Intermittent Resources, SAPIR 2004 : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings (Lecture Notes in Computer Science Vol.3126) (2004. XI, 312 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Petre Dini, Pascal Lorenz a. Jose Neuman De Souza

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Mobility Aware Technologies and Applications : First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings (Lecture Notes in Computer Science Vol.3284) (2004. XII, 382 p. 23,5 cm)
  • 洋書

Mobility Aware Technologies and Applications : First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings (Lecture Notes in Computer Science Vol.3284) (2004. XII, 382 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Ahmed Karmouch, Larry Korba a. Edmundo Madeira

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Wireless Sensor Networks, EWSN 2004 : First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings (Lecture Notes in Computer Science Vol.2920) (2004. XIV, 365 p. 23,5 cm)
  • 洋書

Wireless Sensor Networks, EWSN 2004 : First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings (Lecture Notes in Computer Science Vol.2920) (2004. XIV, 365 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Holger Karl, Andreas Willig a. Adam Wolisz

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers (Lecture Notes in Computer Science Vol.2975) (2004. VII, 227 p. 23,5 cm)
  • 洋書

Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers (Lecture Notes in Computer Science Vol.2975) (2004. VII, 227 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Mark Ryan, Hans-Dieter Ehrich a. Hans-Dieter Ehrich

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Applied Cryptography and Network Security : Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3089) (2004. XIV, 510 p. 23,5 cm)
  • 洋書

Applied Cryptography and Network Security : Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings (Lecture Notes in Computer Science Vol.3089) (2004. XIV, 510 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Markus Jakobsson, Moti Yung a. Jianying Zhou

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外取次在庫
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,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
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,614(本体¥12,377)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 123pt
  • 海外取次在庫
Autonomous Search (2012. VIII, 308 p. 235 mm)
  • 洋書

Autonomous Search (2012. VIII, 308 p. 235 mm)  Hardcover

Ed. by Youssef Hamadi, Eric Monfroy a. Fr

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
第4回ウェブ工学会議録:ICWE2004<br>Web Engineering, ICWE 2004 : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3140) (2004. XXI, 623 p. 23,5 cm)
  • 洋書

第4回ウェブ工学会議録:ICWE2004
Web Engineering, ICWE 2004 : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3140) (2004. XXI, 623 p. 23,5 cm)
 Paperback,  言語:ENG

Ed. by Nora Koch, Piero Fraternali a. Martin Wirsing

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外取次在庫
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science Vol.3308) (2004. XIII, 500 p. 23,5 cm)
  • 洋書

Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science Vol.3308) (2004. XIII, 500 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Jim Davies, Wolfram Schulte a. Mike Barnett

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外取次在庫
Comparative Evaluation of Multilingual Information Access Systems : 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers (Lecture Notes in Computer Science Vol.3237) (2004. XIV, 702 p. 23,5 cm)
  • 洋書

Comparative Evaluation of Multilingual Information Access Systems : 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers (Lecture Notes in Computer Science Vol.3237) (2004. XIV, 702 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Carol Peters, Julio Gonzalo a. Martin Braschler

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外取次在庫
Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series) (2013. XVII, 608 p. 235 mm)
  • 洋書

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series) (2013. XVII, 608 p. 235 mm)  Paperback

Ed. by Manfred Droste, Werner Kuich a. Heiko Vogler

  • SPRINGER, BERLIN(2013発売)
  • ご注文いただけません