Embedded Systems: Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings (Ifip Advances in Information and Communication Technology) (2013)
  • 洋書

Embedded Systems: Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings (Ifip Advances in Information and Communication Technology) (2013)  Hardcover,  言語:ENG

Schirner, Gunar (EDT)/ Götz, Marcelo (EDT)/ Rettberg, Achim (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ご注文いただけません
SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Computer Communication Networks and Telecommunications) (2013)
  • 洋書

SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Computer Communication Networks and Telecommunications) (2013)  Paperback,  言語:ENG

Khendek, Ferhat (EDT)/ Toeroe, Maria (EDT)/ Gherbi, Abdelouahed (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 104pt
  • 海外取次在庫
Applied Cryptography and Network Security : 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings (Security and Cryptology) (2013)
  • 洋書

Applied Cryptography and Network Security : 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings (Security and Cryptology) (2013)  Paperback,  言語:ENG

Jacobson, Michael (EDT)/ Locasto, Michael (EDT)/ Mohassel, Payman (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 104pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Jürgensen (EDT)/ Reis, Rogério (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 104pt
  • 海外取次在庫
Web-Age Information Management : WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Web-Age Information Management : WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

Gao, Yunjun (EDT)/ Shim, Kyuseok (EDT)/ Ding, Zhiming (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 104pt
  • 海外取次在庫
Wireless Algorithms, Systems, and Applications : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Wireless Algorithms, Systems, and Applications : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Ren, Kui (EDT)/ Liu, Xue (EDT)/ Liang, Weifa (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 104pt
  • 海外取次在庫
Financial Cryptography and Data Security : 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Financial Cryptography and Data Security : 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Sadeghi, Ahmad-Reza (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 104pt
  • 海外取次在庫
Information Technology in Bio- and Medical Informatics : 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)
  • 洋書

Information Technology in Bio- and Medical Informatics : 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2013)  Paperback,  言語:ENG

Bursa, Miroslav (EDT)/ Khuri, Sami (EDT)/ Renda, M. Elena (EDT)

  • ウェブストア価格 ¥15,002(本体¥13,639)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 136pt
  • 海外取次在庫
Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Heckel, Reiko (EDT)/ Milius, Stefan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 104pt
  • 海外取次在庫
Spatial and Temporal Databases : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Spatial and Temporal Databases : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Nascimento, Mario A. (EDT)/ Sellis, Timos (EDT)/ Cheng, Reynold (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Depth Images Analysis and Applications : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書

Advances in Depth Images Analysis and Applications : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Jiang, Xiaoyi (EDT)/ Pereira Bellon, Olga Regina (EDT)/ Goldgof, Dmitry (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 94pt
  • 海外取次在庫
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (2013)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 94pt
  • 海外取次在庫
Progress in Artificial Intelligence : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Progress in Artificial Intelligence : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Correia, Luis Miguel (EDT)/ Reis, Luís Paulo (EDT)/ Cascalho, José Manuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 104pt
  • 海外取次在庫
Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (2013)
  • 洋書

Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (2013)  Paperback,  言語:ENG

Fontaine, Pascal (EDT)/ Ringeissen, Christophe (EDT)/ Schmidt, Renate (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Susilo, Willy (EDT)/ Reyhanitabar, Reza (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010
  • 洋書

People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010  Hardcover,  言語:ENG

Lipton, Richard J./ Regan, Kenneth W.

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ポイント 94pt
  • 海外取次在庫
Building the e-World Ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Building the e-World Ecosystem : 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Skersys, Tomas (EDT)/ Butleris, Rimantas (EDT)/ Nemuraite, Lina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 104pt
  • 海外取次在庫
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers (Ifip Advances in Information an
  • 洋書

VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers (Ifip Advances in Information an  Paperback,  言語:ENG

Ayala, Jose L. (EDT)/ Atienza Alonso, David (EDT)/ Reis, Ricardo (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ご注文いただけません
Graph-Theoretic Concepts in Computer Science : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Graph-Theoretic Concepts in Computer Science : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Brandstädt, Andreas (EDT)/ Jansen, Klaus (EDT)/ Reischuk, Rüdiger (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ポイント 104pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes i (2014)
  • 洋書

Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes i (2014)  Paperback,  言語:ENG

Gnesi, Stefania (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 104pt
  • 海外取次在庫