Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Jobstmann, Barbara (EDT)/ Leino, K. Rustan M. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/12発売)
  • ご注文いただけません
Programmieren lernen mit Perl (Xpert.press)
  • 洋書

Programmieren lernen mit Perl (Xpert.press)  Paperback

Ziegler, Joachim

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/03発売)
  • ポイント 136pt
  • 海外取次在庫
Information Science and Applications (Lecture Notes in Electrical Engineering 339) (2015. xviii, 1112 S. XVIII, 1112 p. 559 illus. 235 mm)
  • 洋書

Information Science and Applications (Lecture Notes in Electrical Engineering 339) (2015. xviii, 1112 S. XVIII, 1112 p. 559 illus. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Kim, Kuinam J

  • ウェブストア価格 ¥54,468(本体¥49,517)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2015発売)
  • ポイント 495pt
  • 海外からお取り寄せ(通常6~9週間)
Methodenhandbuch für Softwareschulungen (Xpert.press) (2ND)
  • 洋書

Methodenhandbuch für Softwareschulungen (Xpert.press) (2ND)  Hardcover,  言語:GER

Gerlach, Stefanie/ Squarr, Inga

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/03発売)
  • ご注文いただけません
Planbasierte Mensch-Maschine-Interaktion in multimodalen Assistenzsystemen (Xpert.press)
  • 洋書

Planbasierte Mensch-Maschine-Interaktion in multimodalen Assistenzsystemen (Xpert.press)  Hardcover,  言語:GER

Ludwig, Bernd

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/07発売)
  • ご注文いただけません
Computernetze kompakt (IT kompakt)
  • 洋書

Computernetze kompakt (IT kompakt)

Baun, Christian

  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; VIEWEG+(2015/08発売)
  • ご注文いただけません
3D Research Challenges in Cultural Heritage : A Roadmap in Digital Heritage Preservation (Lecture Notes in Computer Science Vol.8355) (2015. x, 143 S. 61 SW-Abb. 235 mm)
  • 洋書

3D Research Challenges in Cultural Heritage : A Roadmap in Digital Heritage Preservation (Lecture Notes in Computer Science Vol.8355) (2015. x, 143 S. 61 SW-Abb. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Ioannides, Marinos/ Quak, Ewald

  • SPRINGER, BERLIN(2015発売)
  • ご注文いただけません
Motion Design mit After Effects : Arbeitsstrategien für Einsteiger und Fortgeschrittene (x.media.press) (2013. 650 S. m. 300 Farbabb. 26 cm)
  • 洋書

Motion Design mit After Effects : Arbeitsstrategien für Einsteiger und Fortgeschrittene (x.media.press) (2013. 650 S. m. 300 Farbabb. 26 cm)  Hardcover

Hegewald, Falk/ Ruempler, Steffen/ Tritschler, Johannes

  • SPRINGER, BERLIN(2013/01発売)
  • ご注文いただけません
Standards in der Medienproduktion : Die Vorstufe in Print und non-Print (x.media.press) (2013. 400 S. m. 50 Abb. 26 cm)
  • 洋書

Standards in der Medienproduktion : Die Vorstufe in Print und non-Print (x.media.press) (2013. 400 S. m. 50 Abb. 26 cm)  Hardcover

Von Thomas Hoffmann-Walbeck, Jan-Peter Homann, Markus Hedler u. a.

  • SPRINGER, BERLIN(2013/04発売)
  • ご注文いただけません
Sicherheitsgerichtete Echtzeitsysteme (2ND)
  • 洋書

Sicherheitsgerichtete Echtzeitsysteme (2ND)  Hardcover,  言語:GER

Halang, Wolfgang A/ Konakovsky, Rudolf M

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ご注文いただけません
Data Integration in the Life Sciences : 9th International Conference, DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings (Lecture Notes in Bioinformatics) (2013)
  • 洋書

Data Integration in the Life Sciences : 9th International Conference, DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings (Lecture Notes in Bioinformatics) (2013)  Paperback,  言語:ENG

Baker, Christopher J.O. (EDT)/ Butler, Greg (EDT)/ Jurisica, Igor (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 97pt
  • 海外取次在庫
New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Motomura, Yoichi (EDT)/ Butler, Alastair (EDT)/ Bekki, Daisuke (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ご注文いただけません
Enterprise Information Systems : 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers (Lecture Notes in Business Information Processing 141) (2013. xx, 490 S. XX, 490 p. 171 illus. 235 mm)
  • 洋書
  • 電子版あり

Enterprise Information Systems : 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers (Lecture Notes in Business Information Processing 141) (2013. xx, 490 S. XX, 490 p. 171 illus. 235 mm)  Paperback

Herausgegeben:Cordeiro, José/ Maciaszek, Leszek A./ Filipe, Joaquim

  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ご注文いただけません
Interactive Storytelling : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Interactive Storytelling : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback

Koenitz, Hartmut (EDT)/ Sezen, Tonguc Ibrahim (EDT)/ Ferri, Gabriele (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2013/10発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools for High Performance Computing 2012 (2013. xi, 162 S. XI, 162 p. 70 illus. in color. 235 mm)
  • 洋書

Tools for High Performance Computing 2012 (2013. xi, 162 S. XI, 162 p. 70 illus. in color. 235 mm)  Hardcover,  言語:ENG

Herausgegeben von Cheptsov, Alexey/ Brinkmann, Steffen/ Gracia, Jose/ Resch, Michael M/ Nagel, Wolfgang E.

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 247pt
  • 海外からお取り寄せ(通常6~9週間)
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013, (Advances in Intelligent Systems and Computing 212) (2013. xxii, 1265 S. XXII, 1265 p. 428 illus. In 2 volumes, not availab)
  • 洋書
  • 電子版あり

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013, (Advances in Intelligent Systems and Computing 212) (2013. xxii, 1265 S. XXII, 1265 p. 428 illus. In 2 volumes, not availab)  Paperback

Herausgegeben:Yin, Zhixiang/ Pan, Linqiang/ Fang, Xianwen

  • ウェブストア価格 ¥81,704(本体¥74,277)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 742pt
  • 海外からお取り寄せ(通常6~9週間)
Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Theoretical Computer Science and General Issues 8049) (2013. xii, 445 S. XII, 445 p. 100 illus. 235 mm)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Theoretical Computer Science and General Issues 8049) (2013. xii, 445 S. XII, 445 p. 100 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Liu, Zhiming/ Woodcock, Jim/ Zhu, Huibiao

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 123pt
  • 海外取次在庫
Web-Age Information Management : 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings (Lecture Notes in Computer Science 7923) (2013. xxviii, 812 S. XXVIII, 812 p. 326 illus. 235 mm)
  • 洋書

Web-Age Information Management : 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings (Lecture Notes in Computer Science 7923) (2013. xxviii, 812 S. XXVIII, 812 p. 326 illus. 235 mm)  Paperback

Herausgegeben von Wang, Jianyong/ Xiong, Hui/ Ishikawa, Yoshiharu/ Xu, Jianliang/ Zhou, Junfeng

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 123pt
  • 海外取次在庫
OpenMP in the Era of Low Power Devices and Accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

OpenMP in the Era of Low Power Devices and Accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Rendell, Alistair P. (EDT)/ Chapman, Barbara M. (EDT)/ Müller, Matthias S. (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 97pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Inverse Problems and Large-Scale Computations (Springer Proceedings in Mathematics & Statistics) (2013)
  • 洋書

Inverse Problems and Large-Scale Computations (Springer Proceedings in Mathematics & Statistics) (2013)  Hardcover,  言語:ENG

Beilina, Larisa (EDT)/ Shestopalov, Yury V. (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2013/10発売)
  • ポイント 213pt
  • 海外取次在庫