Human-Centered Software Engineering : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7623) (2012. 2012. XI, 370 S. 235 mm)
  • 洋書
Network and System Security : 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7645) (2012. 2012. XIV, 532 S. 235 mm)
  • 洋書
Modeling Decisions for Artificial Intelligence : 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7647) (2012. 2012. XIV, 422 S. 235 mm)
  • 洋書
Motion in Games : 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012, Proceedings (Lecture Notes in Computer Science Vol.7660) (2012. XII, 384 p. 235 mm)
  • 洋書

Motion in Games : 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012, Proceedings (Lecture Notes in Computer Science Vol.7660) (2012. XII, 384 p. 235 mm)  Paperback

Herausgegeben von Kallmann, Marcelo/ Bekris, Kostas

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7642) (2012. 2012. 196 S. 235 mm)
  • 洋書

Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7642) (2012. 2012. 196 S. 235 mm)  Paperback

Herausgegeben von Bellalta, Boris/ Vinel, Alexey/ Jonsson, Magnus/ Barcelo, Jaume/ Maslennikov, Roman

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Software Quality. Increasing Value in Software and Systems Development : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013, Proceedings (Lecture Notes in Business Information Processing) (2013)
  • 洋書

Software Quality. Increasing Value in Software and Systems Development : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013, Proceedings (Lecture Notes in Business Information Processing) (2013)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Bergsmann, Johannes (EDT)

  • ウェブストア価格 ¥15,104(本体¥13,731)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 137pt
  • 海外取次在庫
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2012)
  • 洋書

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Meyer, Bertrand (EDT)/ Nordio, Martin (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 95pt
  • 海外取次在庫
Evaluation of Natural Language and Speech Tool for Italian : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Evaluation of Natural Language and Speech Tool for Italian : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Magnini, Bernardo (EDT)/ Cutugno, Francesco (EDT)/ Falcone, Mauro (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Giacobazzi, Roberto (EDT)/ Berdine, Josh (EDT)/ Mastroeni, Isabella (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫
Semantics in Data and Knowledge Bases : 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Semantics in Data and Knowledge Bases : 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Schewe, Klaus-Dieter (EDT)/ Thalheim, Bernhard (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 95pt
  • 海外取次在庫
Architecture of Computing Systems -- ARCS 2013 : 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Architecture of Computing Systems -- ARCS 2013 : 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Kubatova, Hana (EDT)/ Hochberger, Christian (EDT)/ Daněk, Martin (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 104pt
  • 海外取次在庫
Cognitive Agents for Virtual Environments : First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Cognitive Agents for Virtual Environments : First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Dignum, Frank (EDT)/ Brom, Cyril (EDT)/ Hindriks, Koen V. (EDT)

  • ウェブストア価格 ¥15,104(本体¥13,731)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 137pt
  • 海外取次在庫
Engineering Secure Software and Systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings (Security and Cryptology) (2013)
  • 洋書

Engineering Secure Software and Systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings (Security and Cryptology) (2013)  Paperback,  言語:ENG

Jürjens, Jan (EDT)/ Livshits, Ben (EDT)/ Scandariato, Riccardo (EDT)

  • ウェブストア価格 ¥15,104(本体¥13,731)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 137pt
  • 海外取次在庫
Mobile Wireless Middleware, Operating Systems, and Applications : 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics a
  • 洋書

Mobile Wireless Middleware, Operating Systems, and Applications : 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics a  Paperback,  言語:ENG

Borcea, Cristian (EDT)/ Bellavista, Paolo (EDT)/ Gianelli, Carlo (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 104pt
  • 海外取次在庫
Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bezhanishvili, Guram (EDT)/ Löbner, Sebastian (EDT)/ Marra, Vincenzo (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 95pt
  • 海外取次在庫
Discrete Geometry for Computer Imagery : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Discrete Geometry for Computer Imagery : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Gonzalez Diaz, Rocio (EDT)/ Jimenez, Maria Jose (EDT)/ Medrano, Belen Garfia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 104pt
  • 海外取次在庫
Persuasive Technology : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Persuasive Technology : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

Berkovsky, Shlomo (EDT)/ Freyne, Jill (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 95pt
  • 海外取次在庫
Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings (Computer Communication Networks and Telecommunications) (2013)
  • 洋書

Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings (Computer Communication Networks and Telecommunications) (2013)  Paperback,  言語:ENG

Berbineau, Marion (EDT)/ Jonsson, Magnus (EDT)/ Bonnin, Jean-Marie (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 95pt
  • 海外取次在庫