Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2014)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2014)  Paperback,  言語:ENG

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 102pt
  • 海外取次在庫
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering) (2014)
  • 洋書

FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Jones, Cliff (EDT)/ Pihlajasaari, Pekka (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥22,455(本体¥20,414)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 204pt
  • 海外取次在庫
Advances in Artificial Intelligence : 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings (Lecture Notes in Artificial Intelligence) (2014)
  • 洋書

Advances in Artificial Intelligence : 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings (Lecture Notes in Artificial Intelligence) (2014)  Paperback,  言語:ENG

Sokolova, Marina (EDT)/ van Beek, Peter (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 102pt
  • 海外取次在庫
Modern Trends and Techniques in Computer Science : 3rd Computer Science On-line Conference 2014 (CSOC 2014) (Advances in Intelligent Systems and Computing)
  • 洋書

Modern Trends and Techniques in Computer Science : 3rd Computer Science On-line Conference 2014 (CSOC 2014) (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Silhavy, Radek (EDT)/ Senkerik, Roman (EDT)/ Oplatkova, Zuzana Kominkova (EDT)

  • ウェブストア価格 ¥44,913(本体¥40,830)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 408pt
  • 海外取次在庫
Secure Data Management : 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)
  • 洋書

Secure Data Management : 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)  Paperback,  言語:ENG

Jonker, Willem (EDT)/ Petković, Milan (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 102pt
  • 海外取次在庫
Trends in Practical Applications of Heterogeneous Multi-Agent Systems. the PAAMS Collection (Advances in Intelligent Systems and Computing) (2014)
  • 洋書

Trends in Practical Applications of Heterogeneous Multi-Agent Systems. the PAAMS Collection (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Bajo Perez, Javier (EDT)/ Corchado Rodríguez, Juan M. (EDT)/ Mathieu, Philippe (EDT)

  • ウェブストア価格 ¥34,705(本体¥31,550)
  • Springer International Publishing AG(2014/06発売)
  • ポイント 315pt
  • 海外取次在庫
Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Kulikov, Alexander S. (EDT)/ Kuznetsov, Sergei O. (EDT)/ Pevzner, Pavel (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 102pt
  • 海外取次在庫
Computers Helping People with Special Needs : 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II (Lecture Notes in Computer Science) (2014)
  • 洋書

Computers Helping People with Special Needs : 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Miesenberger, Klaus (EDT)/ Fels, Deborah (EDT)/ Archambault, Dominique (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 102pt
  • 海外取次在庫
User Modeling, Adaptation and Personalization : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)
  • 洋書

User Modeling, Adaptation and Personalization : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)  Paperback,  言語:ENG

Dimitrova, Vania (EDT)/ Kuflik, Tsvi (EDT)/ Chin, David (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 102pt
  • 海外取次在庫
Eingebettete Systeme : Echtzeit 2010 (Informatik aktuell) (2010. XII, 140 S. 30 SW-Abb.)
  • 洋書

Eingebettete Systeme : Echtzeit 2010 (Informatik aktuell) (2010. XII, 140 S. 30 SW-Abb.)  Paperback

Herausgegeben von Halang, Wolfgang A./ Holleczek, Peter

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Emotional Cognitive Neural Algorithms with Engineering Applications : Dynamic Logic: From Vague to Crisp (Studies in Computational Intelligence) (2011)
  • 洋書

Emotional Cognitive Neural Algorithms with Engineering Applications : Dynamic Logic: From Vague to Crisp (Studies in Computational Intelligence) (2011)  Paperback,  言語:ENG

Perlovsky, Leonid/ Deming, Ross/ Ilin, Roman

  • ウェブストア価格 ¥34,705(本体¥31,550)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 315pt
  • 海外取次在庫
Nature Inspired Cooperative Strategies for Optimization (NICSO 2011) (Studies in Computational Intelligence) (2012)
  • 洋書

Nature Inspired Cooperative Strategies for Optimization (NICSO 2011) (Studies in Computational Intelligence) (2012)  Paperback,  言語:ENG

Pelta, David Alejandro (EDT)/ Krasnogor, Natalio (EDT)/ Dumitrescu, Dan (EDT)

  • ウェブストア価格 ¥34,705(本体¥31,550)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ポイント 315pt
  • 海外取次在庫
History of Nordic Computing 3 : Third IFIP WG 9.7 Conference, HiNC3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

History of Nordic Computing 3 : Third IFIP WG 9.7 Conference, HiNC3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Impagliazzo, John (EDT)/ Lundin, Per (EDT)/ Wangler, Benkt (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ご注文いただけません
Adaptation and Value Creating Collaborative Networks : 12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, Sao Paulo, Brazil, October 17-19, 2011, Proceedings (Ifip Advances in Information and Communication Technology)
  • 洋書

Adaptation and Value Creating Collaborative Networks : 12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, Sao Paulo, Brazil, October 17-19, 2011, Proceedings (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Pereira-Klen, Alexandra (EDT)/ Afsarmanesh, Hamideh (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ご注文いただけません
Speaker Authentication (Signals and Communication Technology) (2012)
  • 洋書

Speaker Authentication (Signals and Communication Technology) (2012)  Paperback,  言語:ENG

Li, Qi (Peter)

  • ウェブストア価格 ¥34,705(本体¥31,550)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 315pt
  • 海外取次在庫
Design Science Research in Information Systems: Advances in Theory and Practice : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012, Proceedings (Lecture Notes in Computer Science Vol.7286) (2012. XI, 439 p. 235 mm)
  • 洋書
Wireless Internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Eng. Vo) (2012. XIV, 584 p. 235 mm)
  • 洋書
Agentensysteme in der Automatisierungstechnik (Xpert.press) (2013. 300 S. 235 mm)
  • 洋書

Agentensysteme in der Automatisierungstechnik (Xpert.press) (2013. 300 S. 235 mm)  Hardcover,  言語:GER

Herausgegeben von Goehner, Peter

  • SPRINGER, BERLIN(2013/02発売)
  • ご注文いただけません
Similarity Search and Applications : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC Vo) (2012. X, 245 p. w. 90 figs. 235 mm)
  • 洋書
New Trends in Databases and Information Systems (Advances in Intelligent Systems and Computing Vol.185) (2012. XII, 449 S. 235 mm)
  • 洋書

New Trends in Databases and Information Systems (Advances in Intelligent Systems and Computing Vol.185) (2012. XII, 449 S. 235 mm)  Paperback

Herausgegeben von Pechenizkiy, Mykola/ Wojciechowski, Marek

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