Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 洋書
  • 電子版あり

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers  Hardcover,  言語:ENG

Przigoda, Nils/ Wille, Robert/ Przigoda, Judith

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 341pt
  • 海外取次在庫
Patho-Epigenetics of Infectious Disease (Advances in Experimental Medicine and Biology)
  • 洋書

Patho-Epigenetics of Infectious Disease (Advances in Experimental Medicine and Biology)  Paperback

Minarovits, Janos (EDT)/ Niller, Hans Helmut (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2019/03発売)
  • ポイント 221pt
  • 海外取次在庫
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 洋書

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers  Paperback,  言語:ENG

Przigoda, Nils/ Wille, Robert/ Przigoda, Judith

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 341pt
  • 海外取次在庫
Recycling and Reuse Approaches for Better Sustainability (Environmental Science and Engineering)
  • 洋書
  • 電子版あり

Recycling and Reuse Approaches for Better Sustainability (Environmental Science and Engineering)  Hardcover,  言語:ENG

Balkaya, Nilgün (EDT)/ Guneysu, Sinan (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2018/09発売)
  • ポイント 221pt
  • 海外取次在庫
バイオメトリクス認証(会議録)<br>Biometric Authentication : First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3072) (2004. XVII, 800 p. 23,5 cm)
  • 洋書

バイオメトリクス認証(会議録)
Biometric Authentication : First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings (Lecture Notes in Computer Science Vol.3072) (2004. XVII, 800 p. 23,5 cm)
 Paperback,  言語:ENG

Ed. by Anil K. Jain a. David Zhang

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 253pt
  • 海外取次在庫
Biometric Authentication : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15, 2004, Proceedings (Lecture Notes in Computer Science Vol.3087) (2004. XIII, 341 p. 23,5 cm)
  • 洋書

Biometric Authentication : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15, 2004, Proceedings (Lecture Notes in Computer Science Vol.3087) (2004. XIII, 341 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Davide and Anil K. Jain

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Hybrid Systems (Lecture Notes in Computer Science, Volume 736) (2007. 488 S. 235 mm)
  • 洋書

Hybrid Systems (Lecture Notes in Computer Science, Volume 736) (2007. 488 S. 235 mm)  Paperback

Herausgeber: Ravn, Anders P., Nerode, Anil, Grossman, Robert L., Rischel, Hans

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 126pt
  • 海外取次在庫
Sustainable Development and the Limitation of Growth : Future Prospects for World Civilization (Springer Praxis Books / Environmental Sciences)
  • 洋書

Sustainable Development and the Limitation of Growth : Future Prospects for World Civilization (Springer Praxis Books / Environmental Sciences)  Paperback

Danilov-Danil'yan, Victor I./ Losev, K. S./ Reyf, Igor E.

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • Springer(2010/11発売)
  • ポイント 253pt
  • 海外取次在庫
Computational Intelligence in Automotive Applications (Studies in Computational Intelligence) (2008)
  • 洋書

Computational Intelligence in Automotive Applications (Studies in Computational Intelligence) (2008)  Paperback

Prokhorov, Danil (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 341pt
  • 海外取次在庫
Laser-Assisted Fabrication of Materials (Springer Series in Materials Science) (2013)
  • 洋書

Laser-Assisted Fabrication of Materials (Springer Series in Materials Science) (2013)  Paperback

Majumdar, Jyotsna Dutta (EDT)/ Manna, Indranil (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/12発売)
  • ポイント 341pt
  • 海外取次在庫
Agile Software Development : Current Research and Future Directions (2010)
  • 洋書

Agile Software Development : Current Research and Future Directions (2010)  Paperback

Dingsøyr, Torgeir (EDT)/ Dybå, Tore (EDT)/ Moe, Nils Brede (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 110pt
  • 海外取次在庫
Intelligent Fractional Order Systems and Control : An Introduction (Studies in Computational Intelligence) (2013)
  • 洋書

Intelligent Fractional Order Systems and Control : An Introduction (Studies in Computational Intelligence) (2013)  Paperback

Pan, Indranil/ Das, Saptarshi

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ご注文いただけません
Irreducibility and Computational Equivalence : 10 Years after Wolfram's a New Kind of Science (Emergence, Complexity and Computation) (2013)
  • 洋書

Irreducibility and Computational Equivalence : 10 Years after Wolfram's a New Kind of Science (Emergence, Complexity and Computation) (2013)  Paperback

Zenil, Hector (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/01発売)
  • ポイント 221pt
  • 海外取次在庫
Front Tracking for Hyperbolic Conservation Laws (Applied Mathematical Sciences)
  • 洋書

Front Tracking for Hyperbolic Conservation Laws (Applied Mathematical Sciences)  Paperback

Holden, Helge/ Risebro, Nils H.

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ポイント 110pt
  • 海外取次在庫
Lead Markets in Age-Based Innovations : Demographic Change and Internationally Successful Innovations (Forschungs-/entwicklungs-/innovations-management) (2015)
  • 洋書
Value Based Performance Measures : Theoretical Evaluation and Empirical Analysis of their Application and Value Relevance on a European Level (Fom-edition Research)
  • 洋書

Value Based Performance Measures : Theoretical Evaluation and Empirical Analysis of their Application and Value Relevance on a European Level (Fom-edition Research)  Paperback,  言語:ENG

Eikelmann, Nils

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Gabler(2020/08発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
New Work Hacks : 50 Inspirations for Modern and Innovative Work
  • 洋書

New Work Hacks : 50 Inspirations for Modern and Innovative Work  Paperback,  言語:ENG

Schnell, Anna/ Schnell, Nils

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer(2021/08発売)
  • ポイント 130pt
  • 海外取次在庫
Resonances : The Unifying Route Towards the Formulation of Dynamical Processes Foundations and Applications in Nuclear, Atomic and Molecular Physics (Lecture Notes in Physics .325) (Softcover reprint of the original 1st ed. 1989. 2014. xviii, 566 S. XV)
  • 洋書

Resonances : The Unifying Route Towards the Formulation of Dynamical Processes Foundations and Applications in Nuclear, Atomic and Molecular Physics (Lecture Notes in Physics .325) (Softcover reprint of the original 1st ed. 1989. 2014. xviii, 566 S. XV)  Paperback

Herausgegeben von Braendas, Erkki/ Elander, Nils

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2014発売)
  • ポイント 253pt
  • 海外取次在庫
Behavioral Neurobiology of Huntington's Disease and Parkinson's Disease (Current Topics in Behavioral Neurosciences) (2015)
  • 洋書
  • 電子版あり

Behavioral Neurobiology of Huntington's Disease and Parkinson's Disease (Current Topics in Behavioral Neurosciences) (2015)  Hardcover,  言語:ENG

Nguyen, Hoa Huu Phuc (EDT)/ Cenci, M. Angela (EDT)

  • ウェブストア価格 ¥24,944(本体¥22,677)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/06発売)
  • ポイント 226pt
  • 海外からお取り寄せ(通常6~9週間)
Biotechnological Approaches to Barley Improvement (Biotechnology in Agriculture and Forestry)
  • 洋書

Biotechnological Approaches to Barley Improvement (Biotechnology in Agriculture and Forestry)  Paperback

Kumlehn, Jochen (EDT)/ Stein, Nils (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 341pt
  • 海外取次在庫