Petri Net Algebra (Monographs in Theoretical Computer Science. An EATCS Series)
  • 洋書

Petri Net Algebra (Monographs in Theoretical Computer Science. An EATCS Series)  Paperback

Best, Eike/ Devillers, Raymond/ Koutny, Maciej

  • Springer(2010/12発売)
  • ご注文いただけません
Software Language Engineering : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering 5969) (2010. 390 S.)
  • 洋書

Software Language Engineering : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering 5969) (2010. 390 S.)  Paperback

Herausgegeben von van den Brand, Mark/ Gasevic, Dragan/ Gray, Jeff

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Human Benefit through the Diffusion of Information Systems Design Science Research (IFIP Advances in Information and Communication Technology 318) (2010. XI, 369 S.)
  • 洋書

Human Benefit through the Diffusion of Information Systems Design Science Research (IFIP Advances in Information and Communication Technology 318) (2010. XI, 369 S.)  Paperback

Herausgegeben von Pries-Heje, Jan/ Venable, John J./ Bunker, Deborah/ Russo, Nancy L./ DeGross, Janice I.

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 246pt
  • 海外取次在庫
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, The Netherlands, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 5983〉
  • 洋書

Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, The Netherlands, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 5983〉  Paperback

Degano, P. (EDT)/ Guttman, J. D. (EDT)

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • Springer(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Advanced Manufacturing and Sustainable Logistics : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010, Proceedings (Lecture Notes in Business Information Processing 46) (2010. XII, 444 S.)
  • 洋書

Advanced Manufacturing and Sustainable Logistics : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010, Proceedings (Lecture Notes in Business Information Processing 46) (2010. XII, 444 S.)  Paperback

Herausgegeben von Dangelmaier, Wilhelm/ Blecken, Alexander/ Delius, Robin/ Kloepfer, Stefan

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6037) (2010. X, 205 S.)
  • 洋書
Information Security, Practice and Experience : 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010, Proceedings (Lecture Notes in Computer Science / Security and Cryptology Vol.6047) (2010. XIII, 399 S.)
  • 洋書

Information Security, Practice and Experience : 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010, Proceedings (Lecture Notes in Computer Science / Security and Cryptology Vol.6047) (2010. XIII, 399 S.)  Paperback,  言語:ENG

Herausgegeben von Kwak, Jin/ Deng, Robert H./ Wang, Guilin/ Won, Yoojae

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Advances in Computer Games : 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6048) (2010. XIV, 233 S.)
  • 洋書

Advances in Computer Games : 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6048) (2010. XIV, 233 S.)  Paperback

Herausgegeben von van den Herik, H. Jaap/ Spronck, Pieter

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Vol.6031) (2010. XIV, 622 S.)
  • 洋書

Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Vol.6031) (2010. XIV, 622 S.)  Paperback,  言語:ENG

Herausgegeben von Martin-Vide, Carlos/ Fernau, Henning/ Dediu, Adrian Horia

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 246pt
  • 海外取次在庫
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6132) (2010. 187 S.)
  • 洋書

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6132) (2010. 187 S.)  Paperback,  言語:ENG

Herausgegeben von Sato, Mitsuhisa/ Hanawa, Toshihiro/ Mueller, Matthias S./ Chapman, Barbara/ Supinski, Bronis R. de

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Communications and Multimedia Security : 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010, Proceedings (Lecture Notes in Computer Science / Security and Cryptology Vol.6109) (2010. XIII, 281 S.)
  • 洋書

Communications and Multimedia Security : 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010, Proceedings (Lecture Notes in Computer Science / Security and Cryptology Vol.6109) (2010. XIII, 281 S.)  Paperback,  言語:ENG

Herausgegeben von De Decker, Bart/ Schaumueller-Bichl, Ingrid

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Mathematics of Program Construction : 10th International Conference, MPC 2010, Qu (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6120) (2010. X, 427 S.)
  • 洋書

Mathematics of Program Construction : 10th International Conference, MPC 2010, Qu (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6120) (2010. X, 427 S.)  Paperback

Herausgegeben von Bolduc, Claude/ Desharnais, Jules/ Ktari, Bechir

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Mechanisms for Autonomous Management of Networks and Services : 4th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2010, Switzerland, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6155〉
  • 洋書

Mechanisms for Autonomous Management of Networks and Services : 4th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2010, Switzerland, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6155〉  Paperback,  言語:ENG

Stiller, B. (EDT)/ De Turck, F. (EDT)

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • Springer(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Advanced Intelligent Computing. Theories and Applications : 6th International Conference on Intelligent Computing, China, 2010, Proceedings (Communications in Computer and Information Science) 〈Vol. 93〉
  • 洋書

Advanced Intelligent Computing. Theories and Applications : 6th International Conference on Intelligent Computing, China, 2010, Proceedings (Communications in Computer and Information Science) 〈Vol. 93〉  Paperback,  言語:ENG

Herausgegeben von Huang, De-Shuang/ McGinnity, Martin/ Heutte, Laurent/ Zhang, Xiao-Ping

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • Springer(2010発売)
  • ポイント 246pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 246pt
  • 海外取次在庫
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) 〈Vol. 6300〉
  • 洋書

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) 〈Vol. 6300〉  Paperback,  言語:ENG

Blass, A. (EDT)/ Dershowitz, N. (EDT)/ Reisig, W. (EDT)

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • Springer(2010/09発売)
  • ポイント 246pt
  • 海外取次在庫
Security and Cryptography for Networks : 7th International Conference, SCN 2010, Italy, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6280〉
  • 洋書

Security and Cryptography for Networks : 7th International Conference, SCN 2010, Italy, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6280〉  Paperback,  言語:ENG

Garay, J. A. (EDT)/ De Prisco, R. (EDT)

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • Springer(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Mathematical Software - ICMS 2010 : Third International Congress on Mathematical Software, Japan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6327〉
  • 洋書

Mathematical Software - ICMS 2010 : Third International Congress on Mathematical Software, Japan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6327〉  Paperback

Fukuda, K. (EDT)/ Van der Hoeven, J. (EDT)

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • Springer(2010/09発売)
  • ポイント 123pt
  • 海外取次在庫
RoboCup 2010 : Robot Soccer World Cup XIV (Lecture Notes in Computer Science) 〈Vol. 6556〉
  • 洋書

RoboCup 2010 : Robot Soccer World Cup XIV (Lecture Notes in Computer Science) 〈Vol. 6556〉  Paperback

Ruiz-del-Solar, J. (EDT)/ Chown, E. (EDT)

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • Springer(2011/06発売)
  • ポイント 123pt
  • 海外取次在庫
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, USA, Revised Selected and Invited Papers (Lecture Notes in Computer Science) 〈Vol. 6572〉
  • 洋書

Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, USA, Revised Selected and Invited Papers (Lecture Notes in Computer Science) 〈Vol. 6572〉  Paperback

Van der Meyden, R. (EDT)/ Smaus, J. (EDT)

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • Springer(2011/06発売)
  • ポイント 123pt
  • 海外取次在庫