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発売)
  • ご注文いただけません
Network Computing and Information Security : Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012, Proceedings (Communications in Computer and Information Science .345) (2012. XX, 829 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Network Computing and Information Security : Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012, Proceedings (Communications in Computer and Information Science .345) (2012. XX, 829 p. 235 mm)  Paperback

Ed. by Lei, Jingsheng/ Wang, Fu Lee/ Li, Mo et al.

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Algorithms and Computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7676) (2012. 2012. XVIII, 702 S. 117 SW-Abb.)
  • 洋書
  • ポイントキャンペーン

Algorithms and Computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7676) (2012. 2012. XVIII, 702 S. 117 SW-Abb.)  Paperback

Herausgegeben von Chao, Kun-Mao/ Hsu, Tsan-sheng/ Lee, Der-Tsai

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Multimedia and Signal Processing : Second International Conference, CMSP 2012, Shanghai, China, December 7-9, 2012, Proceedings (Communications in Computer and Information Science .346) (2012. XVIII, 635 p. w. 379 figs. 235 mm)
  • 洋書
  • ポイントキャンペーン

Multimedia and Signal Processing : Second International Conference, CMSP 2012, Shanghai, China, December 7-9, 2012, Proceedings (Communications in Computer and Information Science .346) (2012. XVIII, 635 p. w. 379 figs. 235 mm)  Paperback

Ed. by Wang, Fu Lee/ Lei, Jingsheng/ Lau, Rynson W. H.

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7679) (2012. 2012. X, 305 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7679) (2012. 2012. X, 305 S. 235 mm)  Paperback

Herausgegeben von Hawblitzel, Chris/ Miller, Dale

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Information Retrieval Technology (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. XIX, 540 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Information Retrieval Technology (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. XIX, 540 p. 235 mm)  Paperback

Ed. by Hou, Yuexian/ Nie, Jian-Yun/ Sun, Le et al.

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Information Security Applications : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .7690) (2012. 2012. XI, 371 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Information Security Applications : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .7690) (2012. 2012. XI, 371 S. 235 mm)  Paperback

Herausgegeben von Lee, Dong Hoon/ Yung, Moti

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Artificial Evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)
  • 洋書
  • ポイントキャンペーン

Artificial Evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Hao, Jin-Kao (EDT)/ Legrand, Pierrick (EDT)/ Collet, Pierre (EDT)

  • ウェブストア価格 ¥15,510(本体¥14,100)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 282pt
  • 海外取次在庫
Transactions on Aspect-Oriented Software Development IX (Lecture Notes in Computer Science) 〈Vol. 7271〉
  • 洋書
  • ポイントキャンペーン

Transactions on Aspect-Oriented Software Development IX (Lecture Notes in Computer Science) 〈Vol. 7271〉  Paperback

Leavens, G. T./ Chiba, S./ Haupt, M.

  • Springer(2012/12発売)
  • ご注文いただけません
Future Generation Information Technology : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings (Lecture Notes in Computer Science) (2012)
  • 洋書
  • ポイントキャンペーン

Future Generation Information Technology : 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Kim, Tai-hoon (EDT)/ Lee, Young-hoon (EDT)/ Fang, Wai-chi (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 214pt
  • 海外取次在庫
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,510(本体¥14,100)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 282pt
  • 海外取次在庫
Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

de Lemos, Rogério (EDT)/ Giese, Holger (EDT)/ Müller, Hausi A. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 214pt
  • 海外取次在庫
Evaluation of Natural Language and Speech Tool for Italian : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (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 Artificial Intelligence) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 214pt
  • 海外取次在庫
Languages and Compilers for Parallel Computing : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Languages and Compilers for Parallel Computing : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Rajopadhye, Sanjay (EDT)/ Mills Strout, Michelle (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 214pt
  • 海外取次在庫
Process Support and Knowledge Representation in Health Care : BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Process Support and Knowledge Representation in Health Care : BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Lenz, Richard (EDT)/ Miksch, Silvia (EDT)/ Peleg, Mor (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 194pt
  • 海外取次在庫
Social Media : Der Einfluss auf Unternehmen (Xpert.press)
  • 洋書
  • ポイントキャンペーン

Social Media : Der Einfluss auf Unternehmen (Xpert.press)  Hardcover,  言語:GER

Leinemann, Ralf (EDT)

  • ウェブストア価格 ¥13,999(本体¥12,727)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 254pt
  • 海外取次在庫
Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging : Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and (2013)
  • 洋書
  • ポイントキャンペーン

Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging : Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and (2013)  Paperback,  言語:ENG

Menze, Bjoern (EDT)/ Langs, Georg (EDT)/ Lu, Le (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/03発売)
  • ポイント 214pt
  • 海外取次在庫
Aliasing in Object-Oriented Programming : Types, Analysis and Verification (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Aliasing in Object-Oriented Programming : Types, Analysis and Verification (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Clarke, David (EDT)/ Wrigstad, Tobias (EDT)/ Noble, James (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/03発売)
  • ポイント 214pt
  • 海外取次在庫
Transactions on Aspect-Oriented Software Development X (Transactions on Aspect-oriented Software Development) (2013)
  • 洋書
  • ポイントキャンペーン

Transactions on Aspect-Oriented Software Development X (Transactions on Aspect-oriented Software Development) (2013)  Paperback,  言語:ENG

Leavens, Gary T. (EDT)/ Chiba, Shigeru (EDT)/ Tanter, Éric (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 214pt
  • 海外取次在庫
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書
  • ポイントキャンペーン

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Vanneschi, Leonardo (EDT)/ Bush, William S. (EDT)/ Giacobini, Mario (EDT)

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