Software Engineering Research and Applications, SERA 2003 : First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers (Lecture Notes in Computer Science Vol.3026) (2004. XV, 377 p. 23,5 cm)
  • 洋書

Software Engineering Research and Applications, SERA 2003 : First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers (Lecture Notes in Computer Science Vol.3026) (2004. XV, 377 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by C. V. Ramamoorthy, Roger Y. Lee a. Kyung W. Lee

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Computer Vision in Human-Computer Interaction : ECCV 2004 Workshop on HCI, Prague, Czech Republic, May 16, 2004, Proceedings (Lecture Notes in Computer Science Vol.3058) (2004. X, 233 p. 23,5 cm)
  • 洋書

Computer Vision in Human-Computer Interaction : ECCV 2004 Workshop on HCI, Prague, Czech Republic, May 16, 2004, Proceedings (Lecture Notes in Computer Science Vol.3058) (2004. X, 233 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Nicu Sebe, Michael S. Lew a. Thomas S. Huang

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外からお取り寄せ(通常6~9週間)
Declarative Agent Languages and Technologies, DALT 2003 : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2990) (2004. XII, 281 p. 23,5 cm)
  • 洋書

Declarative Agent Languages and Technologies, DALT 2003 : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2990) (2004. XII, 281 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Joao Leite, Andrea Omicini, Leon Sterling et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Cooperative Control : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control (Lecture Notes in Control and Information Sciences Vol.309) (2004. XII, 291 p. w. 210 figs. 23,5 cm)
  • 洋書

Cooperative Control : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control (Lecture Notes in Control and Information Sciences Vol.309) (2004. XII, 291 p. w. 210 figs. 23,5 cm)  Paperback,  言語:ENG

Ed. by A. S. Morse, N. Leonard and V. Kumar

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 240pt
  • 海外取次在庫
Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3259) (2004. XII, 251 p. 23,5 cm)
  • 洋書

Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3259) (2004. XII, 251 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Juergen Dix a. J. Leite

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Algorithms and Computation : 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings. (Lecture Notes in Computer Science, Volume 1350) (2007. 452 S. 235 mm)
  • 洋書

Algorithms and Computation : 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings. (Lecture Notes in Computer Science, Volume 1350) (2007. 452 S. 235 mm)  Paperback

Herausgeber: Leong, Hon Wai, Jain, Sanjay, Imai, Hiroshi

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 120pt
  • 海外取次在庫
Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6039) (2010. X, 183 S.)
  • 洋書

Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6039) (2010. X, 183 S.)  Paperback,  言語:ENG

Herausgegeben von Dastani, Mehdi/ El Fallah Seghrouchni, Amal/ Leite, Joao/ Torroni, Paolo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Advanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6216) (2010. XVIII, 685 S.)
  • 洋書

Advanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6216) (2010. XVIII, 685 S.)  Paperback

Herausgegeben von Huang, De-Shuang/ Zhang, Xiang/ Reyes Garcia, Carlos Alberto/ Zhang, Lei

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 240pt
  • 海外取次在庫
Development in Language Theory : 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6795) (2011. XII, 478 S. 235 mm)
  • 洋書

Development in Language Theory : 15th International Conference, DLT 2011, Milano, Italy, July 19-22, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6795) (2011. XII, 478 S. 235 mm)  Paperback

Herausgegeben von Mauri, Giancarlo/ Leporati, Alberto

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7265) (2012. 2012. XI, 594 S. 235 mm)
  • 洋書

Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7265) (2012. 2012. XI, 594 S. 235 mm)  Paperback

Herausgegeben von Erdem, Esra/ Lee, Joohyung/ Lierler, Yuliya/ Pearce, David

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Neural Information Processing : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7664) (2012. 2012. XXII, 712 S. 235 mm)
  • 洋書

Neural Information Processing : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7664) (2012. 2012. XXII, 712 S. 235 mm)  Paperback

Herausgegeben von Huang, Tingwen/ Zeng, Zhigang/ Li, Chuandong/ Leung, Chi Sing

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Intelligence in the Era of Big Data : 4th International Conference on Soft Computing, Intelligent Systems, and Information Technology, ICSIIT 2015, Bali, Indonesia, March 11-14, 2015. Proceedings (Communications in Computer and Information Science) (2015)
  • 洋書

Intelligence in the Era of Big Data : 4th International Conference on Soft Computing, Intelligent Systems, and Information Technology, ICSIIT 2015, Bali, Indonesia, March 11-14, 2015. Proceedings (Communications in Computer and Information Science) (2015)  Paperback

Intan, Rolly (EDT)/ Chi, Chi-Hung (EDT)/ Palit, Henry N. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Jobstmann, Barbara (EDT)/ Leino, K. Rustan M. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/12発売)
  • ご注文いただけません
Smart Technologies, Systems and Applications : Second International Conference, SmartTech-IC 2021, Quito, Ecuador, December 1-3, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Smart Technologies, Systems and Applications : Second International Conference, SmartTech-IC 2021, Quito, Ecuador, December 1-3, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Narváez, Fabián R. (EDT)/ Proaño, Julio (EDT)/ Morillo, Paulina (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 189pt
  • 海外取次在庫
Applied Technologies : Third International Conference, ICAT 2021, Quito, Ecuador, October 27-29, 2021, Proceedings (Communications in Computer and Information Science)
  • 洋書

Applied Technologies : Third International Conference, ICAT 2021, Quito, Ecuador, October 27-29, 2021, Proceedings (Communications in Computer and Information Science)  Paperback

Botto-Tobar, Miguel (EDT)/ Montes León, Sergio (EDT)/ Torres-Carrión, Pablo (EDT)

  • ウェブストア価格 ¥25,117(本体¥22,834)
  • Springer International Publishing AG(2022/04発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.2937) (2004. XI, 325 p. 23,5 cm)
  • 洋書
Soft Computing in Measurement and Information Acquisition (Studies in Fuzziness and Soft Computing Vol.127) (2003. XIV, 284 p. 24,5 cm)
  • 洋書

Soft Computing in Measurement and Information Acquisition (Studies in Fuzziness and Soft Computing Vol.127) (2003. XIV, 284 p. 24,5 cm)  Hardcover

Ed. by Leonid Reznik and V. Kreinovich

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 360pt
  • 海外取次在庫
Advances in Cryptology - ASIACRYPT 2004 : 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings (Lecture Notes in Computer Science Vol.3329) (2004. XVI, 546 p. 23,5 cm)
  • 洋書
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)
  • 洋書

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)  Paperback

Herausgeber: Gottlob, Georg, Mundici, Daniele, Leitsch, Alexander

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 120pt
  • 海外取次在庫
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6100) (2010. XV, 385 p. 23,5 cm)
  • 洋書

Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6100) (2010. XV, 385 p. 23,5 cm)  Paperback

Ed. by Holger Giese, Gabor Karsai, Edward A. Lee et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫