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発売)
  • ご注文いただけません
Cryptology and Network Security : 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7712) (2012. 2012. XVI, 311 S.)
  • 洋書

Cryptology and Network Security : 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7712) (2012. 2012. XVI, 311 S.)  Paperback

Herausgegeben von Pieprzyk, Josef/ Sadeghi, Ahmad-Reza/ Manulis, Mark

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Programming Multi-Agent Systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers (Lecture Notes in Computer Science Vol.6599) (2012. XI, 159 p. 235 mm)
  • 洋書

Programming Multi-Agent Systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers (Lecture Notes in Computer Science Vol.6599) (2012. XI, 159 p. 235 mm)  Paperback

Herausgegeben von Collier, Rem/ Dix, Juergen/ Nov

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6850) (2012. X, 300 S. 235 mm)
  • 洋書

The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6850) (2012. X, 300 S. 235 mm)  Paperback

Moot, Richard/ Retore, Christian

  • ウェブストア価格 ¥18,526(本体¥16,842)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 168pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7386) (2012. 2012. X, 320 S. 235 mm)
  • 洋書

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7386) (2012. 2012. X, 320 S. 235 mm)  Paperback

Herausgegeben von Kutrib, Martin/ Moreira, Nelma/ Reis, Rog

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Advances in Cryptology -- CRYPTO 2012 : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7417) (2012. 2012. XV, 888 S. 235 mm)
  • 洋書
  • 電子版あり

Advances in Cryptology -- CRYPTO 2012 : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7417) (2012. 2012. XV, 888 S. 235 mm)  Paperback

Herausgegeben von Safavi-Naini, Reihaneh/ Canetti, Ran

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Social Robotics : 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7621) (2012. 2012. X, 680 S. 235 mm)
  • 洋書

Social Robotics : 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7621) (2012. 2012. X, 680 S. 235 mm)  Paperback

Herausgegeben von Ge, Shuzhi Sam/ Khatib, Oussama/ Cabibihan, John-John/ Simmons, Reid/ Williams, Mary Anne

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ポイント 120pt
  • 海外取次在庫
VLSI-SoC: Forward-Looking Trends in IC and System Design (IFIP Advances in Information and Communication Technology .373) (2012. 2012. X, 355 S.)
  • 洋書

VLSI-SoC: Forward-Looking Trends in IC and System Design (IFIP Advances in Information and Communication Technology .373) (2012. 2012. X, 355 S.)  Hardcover,  言語:ENG

Herausgegeben von Ayala, Jose L./ Atienza Alonso, David/ Reis, Ricardo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Trust and Trustworthy Computing : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology 6740) (2011. VII, 314 S.)
  • 洋書

Trust and Trustworthy Computing : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology 6740) (2011. VII, 314 S.)  Paperback

Herausgegeben von McCune, Jonathan/ Balacheff, Boris/ Perrig, Adrian/ Sadeghi, Ahmad-Reza/ Sasse, Angela

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings (Lecture Notes in Computer Science Vol.6837) (2011. XIV, 380 p.)
  • 洋書

Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings (Lecture Notes in Computer Science Vol.6837) (2011. XIV, 380 p.)  Paperback

Herausgegeben von Kwan, Reggie/ Fong, Joseph/ Kwok, Lam-For/ Lam, Jeanne

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Spatial Information Theory : 10th International Conference, COSIT 2011, Belfast, ME, USA (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6899) (2011. XI, 470 S.)
  • 洋書

Spatial Information Theory : 10th International Conference, COSIT 2011, Belfast, ME, USA (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6899) (2011. XI, 470 S.)  Paperback,  言語:ENG

Herausgegeben von Egenhofer, Max J./ Giudice, Nicholas/ Moratz, Reinhard/ Worboys, Michael

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Advances in Parallel, Distributed Computing (Communications in Computer and Information Science .203) (2011. XVIII, 694 S. 235 mm)
  • 洋書

Advances in Parallel, Distributed Computing (Communications in Computer and Information Science .203) (2011. XVIII, 694 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Nagamalai, Dhinaharan/ Renault, Eric/ Dhanuskodi, Murugan

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 240pt
  • 海外取次在庫
Trends in Computer Science, Engineering and Information Technology : First International Conference, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011, Proceedings (Communications in Computer and Information Science .204) (2011. XVIII, 736 S. 235 mm)
  • 洋書

Trends in Computer Science, Engineering and Information Technology : First International Conference, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011, Proceedings (Communications in Computer and Information Science .204) (2011. XVIII, 736 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Nagamalai, Dhinaharan/ Renault, Eric/ Dhanuskodi, Murugan

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 240pt
  • 海外取次在庫
Advances in Digital Image Processing and Information Technology (Communications in Computer and Information Science .205) (2011. XVII, 478 S.)
  • 洋書

Advances in Digital Image Processing and Information Technology (Communications in Computer and Information Science .205) (2011. XVII, 478 S.)  Paperback,  言語:ENG

Herausgegeben von Nagamalai, Dhinaharan/ Renault, Eric/ Dhanuskodi, Murugan

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Batch Processing Systems Engineering : Fundamentals and Applications for Chemical Engineering (Nato ASI Subseries F: 143) (Softcover reprint of the original 1st ed. 1996. 2011. xiv, 868 S. XIV,)
  • 洋書

Batch Processing Systems Engineering : Fundamentals and Applications for Chemical Engineering (Nato ASI Subseries F: 143) (Softcover reprint of the original 1st ed. 1996. 2011. xiv, 868 S. XIV,)  Paperback

Herausgegeben von Reklaitis, Gintaras V./ Sunol, Aydin K./ Rippin, David W.T./ Hortacsu, OEner

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2011発売)
  • ポイント 240pt
  • 海外取次在庫
High Performance Computing on Vector Systems 2011 (2011. X, 250 p.)
  • 洋書

High Performance Computing on Vector Systems 2011 (2011. X, 250 p.)  Hardcover

Herausgegeben von Resch, Michael/ Wang, Xin/ Bez, Wolfgang/ Focht, Erich/ Kobayashi, Hiroaki

  • ウェブストア価格 ¥34,409(本体¥31,281)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 312pt
  • 海外取次在庫
Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6546) (2011. X, 215 S. 235 mm)
  • 洋書

Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6546) (2011. X, 215 S. 235 mm)  Paperback

Herausgegeben von Page, Rex/ Horvath, Zoltan/ Zs

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Computer Analysis of Images and Patterns : 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II (Lecture Notes in Computer Science .6855) (1st Edition. 2011. XXIV, 577 S. 1091 SW-Abb. 235 mm)
  • 洋書

Computer Analysis of Images and Patterns : 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II (Lecture Notes in Computer Science .6855) (1st Edition. 2011. XXIV, 577 S. 1091 SW-Abb. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Berciano, Ainhoa/ Diaz-Pernil, Daniel/ Kropatsch, Walter/ Molina-Abril, Helena/ Real, Pedro

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
VLSI-SoC: Technologies for Systems Integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florian (IFIP Advances in Information and Communication Technology .360) (2011. X, 213 S.)
  • 洋書

VLSI-SoC: Technologies for Systems Integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florian (IFIP Advances in Information and Communication Technology .360) (2011. X, 213 S.)  Hardcover,  言語:ENG

Herausgegeben von Becker, Juergen/ De Oliveira Johann, Marcelo/ Reis, Ricardo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings (Lecture Notes in Business Information Processing 80) (2011. XII, 189 S.)
  • 洋書

Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings (Lecture Notes in Business Information Processing 80) (2011. XII, 189 S.)  Paperback

Herausgegeben von Regnell, Bjoern/ van de Weerd, Inge/ De Troyer, Olga

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