Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)
  • 洋書

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)  Paperback

Herausgegeben von Beckert, Bernhard/ Damiani, Ferruccio/ Gurov, Dilian

  • ウェブストア価格 ¥12,175(本体¥11,069)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 110pt
  • 海外取次在庫
On the Move to Meaningful Internet Systems: OTM 2012 : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II (Lecture Notes in Computer Science .7566) (2012. 2012. XXV, 485 S. 235 mm)
  • 洋書

On the Move to Meaningful Internet Systems: OTM 2012 : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II (Lecture Notes in Computer Science .7566) (2012. 2012. XXV, 485 S. 235 mm)  Paperback

Herausgegeben von Meersman, Robert/ Panetto, Herve/ Dillon, Tharam/ Rinderle-Ma, Stefanie/ Dadam, Peter

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Item Banking: Interactive Testing and Self-Assessment (Nato ASI Subseries F: 112) (2012. viii, 268 S. VIII, 268 p. 242 mm)
  • 洋書

Item Banking: Interactive Testing and Self-Assessment (Nato ASI Subseries F: 112) (2012. viii, 268 S. VIII, 268 p. 242 mm)  Paperback

Herausgegeben:Leclercq, Dieudonne A./ Bruno, James E.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
End-User Development : Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6654) (2011. XVI, 426 S. 235 mm)
  • 洋書

End-User Development : Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6654) (2011. XVI, 426 S. 235 mm)  Paperback

Herausgegeben von Costabile, Maria Francesca/ Dittrich, Yvonne/ Fischer, Gerhard/ Piccinno, Antonio

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Third International Conference on Software, Services & Semantic Technologies S3T 2011 (Advances in Intelligent and Soft Computing Vol.101) (2011. 285 p. 235 mm)
  • 洋書

Third International Conference on Software, Services & Semantic Technologies S3T 2011 (Advances in Intelligent and Soft Computing Vol.101) (2011. 285 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Dicheva, Darina/ Markov, Zdravko/ Stefanova, Eliza

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 360pt
  • 海外取次在庫
Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6953) (2011. XI, 403 S. 235 mm)
  • 洋書

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6953) (2011. XI, 403 S. 235 mm)  Paperback

Herausgegeben von van Ditmarsch, Hans/ Lang, Jerome/ Ju, Shier

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Model-Based Software Performance Analysis (2011. 180 p. 235 mm)
  • 洋書

Model-Based Software Performance Analysis (2011. 180 p. 235 mm)  Hardcover

Cortellessa, Vittorio/ Di Marco, Antinisca/ Inverardi, Paola

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Self-organising Software : From Natural to Artificial Adaptation (Natural Computing Series) (2011. X, 440 p. 235 mm)
  • 洋書

Self-organising Software : From Natural to Artificial Adaptation (Natural Computing Series) (2011. X, 440 p. 235 mm)  Hardcover

Herausgegeben von Serugendo, Giovanna di Marzo/ Gleizes, Marie-Pierre/ Karageorgos, Anthony

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Enterprise Architecture Frameworks Kompendium : Über 50 Rahmenwerke für das IT-Management (Xpert.press) (2011. 250 S. m. 45 Abb. u. 5 Tab. 23,5 cm)
  • 洋書

Enterprise Architecture Frameworks Kompendium : Über 50 Rahmenwerke für das IT-Management (Xpert.press) (2011. 250 S. m. 45 Abb. u. 5 Tab. 23,5 cm)  Hardcover

Matthes, Dirk

  • ウェブストア価格 ¥18,551(本体¥16,865)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 168pt
  • 海外取次在庫
Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009,  (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6547) (2011. X, 239 S.)
  • 洋書

Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6547) (2011. X, 239 S.)  Paperback

Herausgegeben von Abreu, Salvador/ Seipel, Dietmar

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6831) (2011. XII, 550 S. 235 mm)
  • 洋書

Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6831) (2011. XII, 550 S. 235 mm)  Paperback

Herausgegeben von Wang, Weifan/ Zhu, Xuding/ Du, Ding-Zhu

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Computing and Combinatorics : 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6842) (2011. XIII, 650 S.)
  • 洋書

Computing and Combinatorics : 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6842) (2011. XIII, 650 S.)  Paperback

Herausgegeben von Fu, Bin/ Du, Ding-Zhu

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Semantics in Data and Knowledge Bases : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers (Lecture Notes in Computer Science .6834) (2011. 2011. IX, 135 S. 13 SW-Abb.)
  • 洋書

Semantics in Data and Knowledge Bases : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers (Lecture Notes in Computer Science .6834) (2011. 2011. IX, 135 S. 13 SW-Abb.)  Paperback,  言語:ENG

Herausgegeben von Schewe, Klaus-Dieter/ Thalheim, Bernhard

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Recent Advances in the Message Passing Interface : 18th European MPI Users  Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6960) (2011. XIV, 346 S. 235 mm)
  • 洋書

Recent Advances in the Message Passing Interface : 18th European MPI Users Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6960) (2011. XIV, 346 S. 235 mm)  Paperback

Herausgegeben von Cotronis, Yiannis/ Danalis, Anthony/ Nikolopoulos, Dimitris/ Dongarra, Jack

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Genetic Programming : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6021) (2010. XII, 336 S.)
  • 洋書

Genetic Programming : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6021) (2010. XII, 336 S.)  Paperback

Herausgegeben von Esparcia-Alcazar, Anna Isabel/ Ekart, Aniko/ Silva, Sara/ Dignum, Stephen/ Uyar, A. Sima

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
VLSI-SoC: Design Methodologies for SoC and SiP (IFIP Advances in Information and Communication Technology 313) (2010. VIII, 287 S.)
  • 洋書

VLSI-SoC: Design Methodologies for SoC and SiP (IFIP Advances in Information and Communication Technology 313) (2010. VIII, 287 S.)  Hardcover

Herausgegeben von Piguet, Christian/ Reis, Ricardo/ Soudris, Dimitrios

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Algorithms and Complexity : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6078) (2010. XI, 384 S.)
  • 洋書

Algorithms and Complexity : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6078) (2010. XI, 384 S.)  Paperback

Herausgegeben von Diaz, Josep/ Calamoneri, Tiziana

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Multi-Agent-Based Simulation X : International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 5683) (2010. 158 S.)
  • 洋書

Multi-Agent-Based Simulation X : International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 5683) (2010. 158 S.)  Paperback,  言語:ENG

Herausgegeben von Di Tosto, Gennaro/ Parunak, H. Van Dyke

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Analytical and Stochastic Modeling Techniques and Applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6148) (2010. XI, 409 S.)
  • 洋書

Analytical and Stochastic Modeling Techniques and Applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6148) (2010. XI, 409 S.)  Paperback

Herausgegeben von Al-Begain, Khalid/ Fiems, Dieter/ Knottenbelt, William

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Multiagent System Technologies : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6251) (2010. XII, 221 S.)
  • 洋書

Multiagent System Technologies : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6251) (2010. XII, 221 S.)  Paperback

Herausgegeben von Dix, Juergen/ Witteveen, Cees

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