Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Quantum Interaction : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers (Theoretical Computer Science and General Issues) (2012)
  • 洋書

Quantum Interaction : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers (Theoretical Computer Science and General Issues) (2012)  Paperback,  言語:ENG

Busemeyer, Jerome R. (EDT)/ Dubois, Francois (EDT)/ Lambert-Mogiliansky, Ariane (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 94pt
  • 海外取次在庫
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Programming and Software Engineering) (2012)
  • 洋書

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Programming and Software Engineering) (2012)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 94pt
  • 海外取次在庫
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7392) (2012. 2012. 700 S.)
  • 洋書

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7392) (2012. 2012. 700 S.)  Paperback

Herausgegeben von Czumaj, Artur/ Mehlhorn, Kurt/ Pitts, Andrew/ Wattenhofer, Roger

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7391) (2012. 2012. 860 S. 235 mm)
  • 洋書

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7391) (2012. 2012. 860 S. 235 mm)  Paperback

Herausgegeben von Czumaj, Artur/ Mehlhorn, Kurt/ Pitts, Andrew/ Wattenhofer, Roger

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Topics in Performance Evaluation, Measurement and Characterization (Lecture Notes in Computer Science / Programming and Software Engineering .7144) (2012. XIV, 213 p. 235 mm)
  • 洋書

Topics in Performance Evaluation, Measurement and Characterization (Lecture Notes in Computer Science / Programming and Software Engineering .7144) (2012. XIV, 213 p. 235 mm)  Paperback

Ed. by Nambiar, Raghunath/ Poess, Meikel

  • ウェブストア価格 ¥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
  • 海外取次在庫
E-Librarian Service : User-Friendly Semantic Search in Digital Libraries (X.media.publishing) (2011)
  • 洋書

E-Librarian Service : User-Friendly Semantic Search in Digital Libraries (X.media.publishing) (2011)  Paperback,  言語:ENG

Linckels, Serge/ Meinel, Christoph

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Network Games (Synthesis Lectures on Learning, Networks, and Algorithms)
  • 洋書

Network Games (Synthesis Lectures on Learning, Networks, and Algorithms)  Paperback,  言語:ENG

Ozdaglar, Asu/ Menache, Ishai

  • ウェブストア価格 ¥8,329(本体¥7,572)
  • Springer International Publishing AG(2011/03発売)
  • ポイント 75pt
  • 海外からお取り寄せ(通常6~9週間)
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6721) (2011. XII, 216 p.)
  • 洋書

Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6721) (2011. XII, 216 p.)  Paperback

Herausgegeben von De Meuter, Wolfgang/ Roman, Gruia-Catalin

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6956) (2011. XV, 279 S.)
  • 洋書

Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6956) (2011. XV, 279 S.)  Paperback

Herausgegeben von Cohen, Myra B./ O Cinneide, Mel

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Relationale und postrelationale Datenbanken (eXamen.press) (7., überarb. Aufl. 2010. X, 280 S. m. Abb. 235 mm)
  • 洋書

Relationale und postrelationale Datenbanken (eXamen.press) (7., überarb. Aufl. 2010. X, 280 S. m. Abb. 235 mm)  Paperback

Meier, Andreas

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6039) (2010. X, 183 S.)
  • 洋書

Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6039) (2010. X, 183 S.)  Paperback,  言語:ENG

Herausgegeben von Dastani, Mehdi/ El Fallah Seghrouchni, Amal/ Leite, Joao/ Torroni, Paolo

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Software Engineering Approaches for Offshore and Outsourced Development : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings (Lecture Notes in Business Information Processing 54) (2010. 100 S.)
  • 洋書

Software Engineering Approaches for Offshore and Outsourced Development : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings (Lecture Notes in Business Information Processing 54) (2010. 100 S.)  Paperback,  言語:ENG

Herausgegeben von Nordio, Martin/ Joseph, Mathai/ Meyer, Bertrand/ Terekhov, Andrey

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)
  • 洋書

Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)  Paperback,  言語:ENG

Herausgegeben von Ferreira, Fernando/ Loewe, Benedikt/ Mayordomo, Elvira/ Mendes Gomes, Lu

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Algorithms -- ESA 2010, Part II : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6347) (2010. XVII, 245 S.)
  • 洋書

Algorithms -- ESA 2010, Part II : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6347) (2010. XVII, 245 S.)  Paperback

Herausgegeben von de Berg, Mark/ Meyer, Ulrich

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
The Algorithmic Beauty of Sea Shells, w. CD-ROM (The Virtual Laboratory) (4th ed. 2009. XIV, 269 p. w. ill. 279 mm)
  • 洋書

The Algorithmic Beauty of Sea Shells, w. CD-ROM (The Virtual Laboratory) (4th ed. 2009. XIV, 269 p. w. ill. 279 mm)  Hardcover

Meinhardt, Hans/ Mitarbeit: Prusinkiewicz, Przemyslaw/ Fowler, Deborah R./ Illustration: Prusinkiewicz, Przemyslaw/ Fowler, Deborah R.

  • ウェブストア価格 ¥15,879(本体¥14,436)
  • SPRINGER, BERLIN(2009発売)
  • ポイント 144pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Cryptology - CRYPTO '90 : Proceedings (Lecture Notes in Computer Science, Volume 537) (2008. 664 S. 235 mm)
  • 洋書

Advances in Cryptology - CRYPTO '90 : Proceedings (Lecture Notes in Computer Science, Volume 537) (2008. 664 S. 235 mm)  Paperback

Herausgeber: Menezes, Alfred J., Vanstone, Scott A.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2008発売)
  • ポイント 120pt
  • 海外取次在庫
IT産業におけるインドとの協働:ソフト面での成功の秘訣<br>Working with India : The Softer Aspects of a Successful Collaboration with the Indian IT & BPO Industry (2008. X, 188 p. 23,5 cm)
  • 洋書
Rightshore! : Successfully Industrialize SAP Projects Offshore (2008. 23,5 cm)
  • 洋書

Rightshore! : Successfully Industrialize SAP Projects Offshore (2008. 23,5 cm)  Hardcover

Ed.by Anja Hendel, Frank Thun, Wolfgang Messner

  • SPRINGER, BERLIN(2008発売)
  • ご注文いただけません