Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science) 〈Vol. 5955〉
  • 洋書

Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science) 〈Vol. 5955〉  Paperback,  言語:ENG

Puppis, G.

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • Springer(2010/03発売)
  • ポイント 125pt
  • 海外取次在庫
Parallel Programming : For Multicore and Cluster Systems
  • 洋書

Parallel Programming : For Multicore and Cluster Systems  Hardcover

Rauber, T./ Ruenger, G.

  • Springer(2010/01発売)
  • ご注文いただけません
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Cyprus, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6186〉
  • 洋書

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Cyprus, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6186〉  Paperback

Armando, A. (EDT)/ Lowe, G. (EDT)

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • Springer(2010発売)
  • ポイント 125pt
  • 海外取次在庫
ロボカップ2009:第13回ロボットのサッカーW杯<br>RoboCup 2009: Robot Soccer World Cup XIII (Lecture Notes in Computer Science) 〈Vol. 5949〉
  • 洋書

ロボカップ2009:第13回ロボットのサッカーW杯
RoboCup 2009: Robot Soccer World Cup XIII (Lecture Notes in Computer Science) 〈Vol. 5949〉
 Paperback,  言語:ENG

Herausgegeben von Baltes, J./ Lagoudakis, M. G.(EDT)

  • ウェブストア価格 ¥27,538(本体¥25,035)
  • Springer(2010発売)
  • ポイント 250pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Cyprus, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6013〉
  • 洋書

Fundamental Approaches to Software Engineering : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Cyprus, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6013〉  Paperback

Rosenblum, D. S. (EDT)/ Taentzer, G. (EDT)

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • Springer(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Advanced Computer Science and Information Technology : International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings (Communications in Computer and Information Science 74) (2010. XII, 195 S.)
  • 洋書

Advanced Computer Science and Information Technology : International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings (Communications in Computer and Information Science 74) (2010. XII, 195 S.)  Paperback,  言語:ENG

Herausgegeben von Tomar, G.S./ Chang, Ruay-Shiung/ Gervasi, Osvaldo/ Kim, Tai-hoon/ Bandyopadhyay, Samir Kumar

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Multimedia Services in Intelligent Environments : Integrated Systems (Smart Innovation, Systems and Technologies) 〈Vol. 3〉
  • 洋書

Multimedia Services in Intelligent Environments : Integrated Systems (Smart Innovation, Systems and Technologies) 〈Vol. 3〉  Hardcover

Tsihrintzis, G. A. (EDT)/ Virvou, M. (EDT)

  • ウェブストア価格 ¥41,309(本体¥37,554)
  • Springer(2010発売)
  • ポイント 375pt
  • 海外取次在庫
Ubiquitous Computing and Multimedia Applications : International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings (Communications in Computer and Information Science 75) (2010. XI, 159 S.)
  • 洋書

Ubiquitous Computing and Multimedia Applications : International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings (Communications in Computer and Information Science 75) (2010. XI, 159 S.)  Paperback,  言語:ENG

Herausgegeben von Tomar, G.S./ Grosky, William I./ Kim, Tai-hoon/ Mohammed, Sabah/ Saha, Sanjoy Kumar

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Italy, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6181〉
  • 洋書

Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Italy, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6181〉  Paperback

Governatori, G. (EDT)/ Sartor, G. (EDT)

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • Springer(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Spoken Dialogue Systems for Ambient Environments : Seond International Workshop, IWSDS 2010, Japan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6392〉
  • 洋書

Spoken Dialogue Systems for Ambient Environments : Seond International Workshop, IWSDS 2010, Japan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6392〉  Paperback

Lee, G. G./ Mariani, J.

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • Springer(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Progress in Cryptology - INDOCRYPT 2010 : 11th International Conference on Cryptology in India, 2010, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6498〉
  • 洋書

Progress in Cryptology - INDOCRYPT 2010 : 11th International Conference on Cryptology in India, 2010, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6498〉  Paperback

Gong, G. (EDT)/ Gupta, K. C. (EDT)

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • Springer(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Global Security, Safety, and Sustainability : 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings (Communications in Computer and Information Science 92) (2010. XI, 301 S.)
  • 洋書

Global Security, Safety, and Sustainability : 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings (Communications in Computer and Information Science 92) (2010. XI, 301 S.)  Paperback

Herausgegeben von Tenreiro de Magalhaes, Sergio/ Jahankhani, Hamid/ Hessami, Ali G.

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 125pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)
  • 洋書

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)  Paperback

Herausgegeben von Fermueller, Christian G./ Voronkov, Andrei

  • ウェブストア価格 ¥27,538(本体¥25,035)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 250pt
  • 海外取次在庫
Membrane Computing : 10th International Workshop, WMC 2009, Romania, Revised Selected and Invited Papers (Lecture Notes in Computer Science) 〈Vol. 5957〉
  • 洋書
Automating the Design of Data Mining Algorithms : An Evolutionary Computation Approach (Natural Computing Series)
  • 洋書

Automating the Design of Data Mining Algorithms : An Evolutionary Computation Approach (Natural Computing Series)  Hardcover,  言語:ENG

Pappa, G. L./ Freitas, A.

  • ウェブストア価格 ¥27,538(本体¥25,035)
  • Springer(2009/11発売)
  • ポイント 250pt
  • 海外取次在庫
Argumentation in Artificial Intelligence
  • 洋書

Argumentation in Artificial Intelligence  Hardcover

Rahwan, I. (EDT)/ Simari, G. (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer(2009/08発売)
  • ポイント 337pt
  • 海外取次在庫
Dynamic Taxonomies and Faceted Search : Theory, Practice, and Experience (The Information Retrieval Series) 〈Vol. 25〉
  • 洋書

Dynamic Taxonomies and Faceted Search : Theory, Practice, and Experience (The Information Retrieval Series) 〈Vol. 25〉  Hardcover,  言語:ENG

Sacco, G. M. (EDT)/ Tzitzikas, Y. (EDT)

  • ウェブストア価格 ¥27,538(本体¥25,035)
  • Springer(2009/07発売)
  • ポイント 250pt
  • 海外取次在庫
Security and Dependability for Ambient Intelligence (Advances in Information Security) 〈Vol. 55〉
  • 洋書

Security and Dependability for Ambient Intelligence (Advances in Information Security) 〈Vol. 55〉  Hardcover

Spanoudakis, G. (EDT)/ Gomez, A. M. (EDT)/ Spyros, K. (EDT)

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer(2009/04発売)
  • ポイント 337pt
  • 海外取次在庫
代数的暗号解読<br>Algebraic Cryptanalysis
  • 洋書

代数的暗号解読
Algebraic Cryptanalysis
 Hardcover

Bard, G. V.

  • ウェブストア価格 ¥61,105(本体¥55,550)
  • Springer(2009/04発売)
  • ポイント 555pt
  • 海外取次在庫
Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science) 〈Vol. 5363〉
  • 洋書