The Correctness-by-Construction Approach to Programming
  • 洋書
  • 電子版あり

The Correctness-by-Construction Approach to Programming  Hardcover

Kourie, D. G./ Watson, B. W.

  • Springer(2012/04発売)
  • ご注文いただけません
Belief Functions: Theory and Applications : Proceedings of the 2nd International Conference on Belief Functions, Compi (Advances in Intelligent and Soft Computing .164) (2012. 2012. 400 S. 235 mm)
  • 洋書
Fabrication of Complex Optical Components : From Mold Design to Product (Lecture Notes in Production Engineering) (2013. XIV, 207 p. w. 250 figs. (200 col.). 23,5 cm)
  • 洋書

Fabrication of Complex Optical Components : From Mold Design to Product (Lecture Notes in Production Engineering) (2013. XIV, 207 p. w. 250 figs. (200 col.). 23,5 cm)  Hardcover

Herausgegeben von Brinksmeier, Ekkard/ Riemer, Oltmann/ Glaebe, Ralf

  • SPRINGER, BERLIN(2013発売)
  • ご注文いただけません
High Interstitial Stainless Austenitic Steels (Engineering Materials)
  • 洋書

High Interstitial Stainless Austenitic Steels (Engineering Materials)  Hardcover

Berns, H./ Gavriljuk, V. G./ Riedner, S.

  • Springer(2012/10発売)
  • ご注文いただけません
Coordination, Organizations, Instiutions, and Norms in Agent System VII : COIN 2011 International Workshops, COIN@AAMAS, Taipei, Taiwan, May 2011, COIN@WI-IAT, Lyon, France, August 2011, Revised Selected Papers (Lecture Notes in Artificial Intelligen (2012)
  • 洋書

Coordination, Organizations, Instiutions, and Norms in Agent System VII : COIN 2011 International Workshops, COIN@AAMAS, Taipei, Taiwan, May 2011, COIN@WI-IAT, Lyon, France, August 2011, Revised Selected Papers (Lecture Notes in Artificial Intelligen (2012)  Paperback,  言語:ENG

Cranefield, Stephen (EDT)/ van Riemsdijk, M. Birna (EDT)/ Vazquez-Salceda, Javier (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 100pt
  • 海外取次在庫
Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Wolff, Burkhard (EDT)/ Gaudel, Marie-Claude (EDT)/ Feliachi, Abderrahmane (EDT)

  • ウェブストア価格 ¥15,915(本体¥14,469)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 144pt
  • 海外取次在庫
Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Berbineau, Marion (EDT)/ Jonsson, Magnus (EDT)/ Bonnin, Jean-Marie (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 100pt
  • 海外取次在庫
Augmented Environments for Computer-Assisted Interventions : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Augmented Environments for Computer-Assisted Interventions : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Linte, Cristian A (EDT)/ Chen, Elvis C S (EDT)/ Berger, Marie-Odile (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 100pt
  • 海外取次在庫
Next Generation of Information Technology in Educational Management : 10th IFIP WG 3.7 Conference, ITEM 2012, Bremen, Germany, August 5-8, 2012, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2013)
  • 洋書

Next Generation of Information Technology in Educational Management : 10th IFIP WG 3.7 Conference, ITEM 2012, Bremen, Germany, August 5-8, 2012, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2013)  Hardcover,  言語:ENG

Passey, Don (EDT)/ Breiter, Andreas (EDT)/ Visscher, Adrie (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ご注文いただけません
Advanced Information Systems Engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Advanced Information Systems Engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

Salinesi, Camille (EDT)/ Norrie, Moira C. (EDT)/ Pastor, Oscar (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 110pt
  • 海外取次在庫
Developments in Language Theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Developments in Language Theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Beal, Marie-Pierre (EDT)/ Carton, Olivier (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 110pt
  • 海外取次在庫
Detection of Intrusions and Malware, and Vulnerability Assessment : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings (Security and Cryptology) (2013)
  • 洋書

Detection of Intrusions and Malware, and Vulnerability Assessment : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings (Security and Cryptology) (2013)  Paperback,  言語:ENG

Rieck, Konrad (EDT)/ Stewin, Patrick (EDT)/ Seifert, Jean-Pierre (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 100pt
  • 海外取次在庫
Evaluating AAL Systems through Competitive Benchmarking : International Competitions and Final Workshop, July and September 2013. Proceedings (Communications in Computer and Information Science) (2013)
  • 洋書

Evaluating AAL Systems through Competitive Benchmarking : International Competitions and Final Workshop, July and September 2013. Proceedings (Communications in Computer and Information Science) (2013)  Paperback,  言語:ENG

Botia, Juan A. (EDT)/ Alvarez-Garcia, Juan Antonio (EDT)/ Fujinami, Kaori (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 110pt
  • 海外取次在庫
Behavioral Neurobiology of Aging (Current Topics in Behavioral Neurosciences) (2012)
  • 洋書

Behavioral Neurobiology of Aging (Current Topics in Behavioral Neurosciences) (2012)  Paperback,  言語:ENG

Pardon, Marie-Christine (EDT)/ Bondi, Mark W. (EDT)

  • ウェブストア価格 ¥48,629(本体¥44,209)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ポイント 442pt
  • 海外取次在庫
Synthetic Biodegradable Polymers (Advances in Polymer Science) (2012)
  • 洋書

Synthetic Biodegradable Polymers (Advances in Polymer Science) (2012)  Paperback,  言語:ENG

Rieger, Bernhard (EDT)/ Künkel, Andreas (EDT)/ Coates, Geoffrey W. (EDT)

  • ウェブストア価格 ¥72,945(本体¥66,314)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/02発売)
  • ポイント 663pt
  • 海外取次在庫
The Correctness-by-Construction Approach to Programming
  • 洋書

The Correctness-by-Construction Approach to Programming  Paperback,  言語:ENG

Kourie, Derrick G./ Watson, Bruce W.

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ポイント 221pt
  • 海外取次在庫
Die Kultivierung der Freiheit bei der Macht : Eine pädagogische Betrachtung von Grenzziehung und Grenzüberschreitung (2013)
  • 洋書

Die Kultivierung der Freiheit bei der Macht : Eine pädagogische Betrachtung von Grenzziehung und Grenzüberschreitung (2013)  Paperback,  言語:GER

Riefling, Markus

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer VS(2013/04発売)
  • ポイント 120pt
  • 海外取次在庫
Social Media in der Organisationskommunikation : Empirische Befunde und Branchenanalysen (2013)
  • 洋書

Social Media in der Organisationskommunikation : Empirische Befunde und Branchenanalysen (2013)  Paperback,  言語:GER

Ettl-Huber, Silvia (EDT)/ Nowak, Rosemarie (EDT)/ Reiter, Brigitte (EDT)

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer VS(2013/06発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reinforcement Learning for Adaptive Dialogue Systems : A Data-driven Methodology for Dialogue Management and Natural Language Generation (Theory and Applications of Natural Language Processing) (2011)
  • 洋書

Reinforcement Learning for Adaptive Dialogue Systems : A Data-driven Methodology for Dialogue Management and Natural Language Generation (Theory and Applications of Natural Language Processing) (2011)  Paperback,  言語:ENG

Rieser, Verena/ Lemon, Oliver

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/01発売)
  • ポイント 221pt
  • 海外取次在庫
Die Mediatisierung sozialer Welten : Synergien empirischer Forschung (Medien • Kultur • Kommunikation) (2014)
  • 洋書

Die Mediatisierung sozialer Welten : Synergien empirischer Forschung (Medien • Kultur • Kommunikation) (2014)  Paperback,  言語:GER

Krotz, Friedrich (EDT)/ Despotović, Cathrin (EDT)/ Kruse, Merle-Marie (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer VS(2014/04発売)
  • ポイント 130pt
  • 海外取次在庫