時相論理と状態システム<br>Temporal Logic and State Systems (Texts in Theoretical Computer Science, An EATCS Series) (2008. 300 S. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

時相論理と状態システム
Temporal Logic and State Systems (Texts in Theoretical Computer Science, An EATCS Series) (2008. 300 S. 23,5 cm)
 Hardcover,  言語:ENG

Kroeger, Fred/ Merz, Stefan

  • SPRINGER, BERLIN(2008発売)
  • ご注文いただけません
Advances in Artificial Intelligence : 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings (Lecture Notes in Computer Science Vol.3060) (2004. XIII, 582 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Advances in Artificial Intelligence : 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings (Lecture Notes in Computer Science Vol.3060) (2004. XIII, 582 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Ahmed Y. Tawfik a. Scott D. Goodwin

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 248pt
  • 海外取次在庫
Database Support for Data Mining Applications : Discovering Knowledge with Inductive Queries (Lecture Notes in Computer Science Vol.2682) (2004. XII, 325 p.)
  • 洋書
  • ポイントキャンペーン

Database Support for Data Mining Applications : Discovering Knowledge with Inductive Queries (Lecture Notes in Computer Science Vol.2682) (2004. XII, 325 p.)  Paperback

Ed. by R. Meo, Pier L. Lanzi and M. Klemettinen

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 248pt
  • 海外取次在庫
Digitalisierung und Industrie 4.0 - eine Relativierung, m. 1 Buch, m. 1 E-Book : Mit E-Book (2018. xxiv, 173 S. XXIV, 173 S. 6 Abb., 2 Abb. in Farbe. Book + eBook.)
  • 洋書
  • ポイントキャンペーン

Digitalisierung und Industrie 4.0 - eine Relativierung, m. 1 Buch, m. 1 E-Book : Mit E-Book (2018. xxiv, 173 S. XXIV, 173 S. 6 Abb., 2 Abb. in Farbe. Book + eBook.)

Mertens, Peter/Barbian, Dina/Baier, Stephan

  • ウェブストア価格 ¥16,635(本体¥15,123)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2018発売)
  • ポイント 302pt
  • 海外からお取り寄せ(通常6~9週間)
Service Engineering, m. 1 Buch, m. 1 E-Book : Von Dienstleistungen zu digitalen Service-Systemen. E-Book inside (2018. xx, 181 S. XX, 181 S. 53 Abb., 28 Abb. in Farbe. Book + eBook. 2)
  • 洋書
  • ポイントキャンペーン

Service Engineering, m. 1 Buch, m. 1 E-Book : Von Dienstleistungen zu digitalen Service-Systemen. E-Book inside (2018. xx, 181 S. XX, 181 S. 53 Abb., 28 Abb. in Farbe. Book + eBook. 2)

Herausgegeben:Meyer, Kyrill/ Klingner, Stephan/ Zinke, Christian

  • ウェブストア価格 ¥14,075(本体¥12,796)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2018発売)
  • ポイント 254pt
  • 海外からお取り寄せ(通常6~9週間)
Blockchain, m. 1 Buch, m. 1 E-Book : Hype oder Innovation (2020. x, 136 S. X, 136 S. 36 Abb., 33 Abb. in Farbe. Book + eBook. 240)
  • 洋書
  • ポイントキャンペーン

Blockchain, m. 1 Buch, m. 1 E-Book : Hype oder Innovation (2020. x, 136 S. X, 136 S. 36 Abb., 33 Abb. in Farbe. Book + eBook. 240)  言語:GER

Meinel, Christoph/Gayvoronskaya, Tatiana

  • ウェブストア価格 ¥11,515(本体¥10,469)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2020発売)
  • ポイント 208pt
  • 海外からお取り寄せ(通常6~9週間)
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6721) (2011. XII, 216 p.)
  • 洋書
  • ポイントキャンペーン

Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6721) (2011. XII, 216 p.)  Paperback

Herausgegeben von De Meuter, Wolfgang/ Roman, Gruia-Catalin

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Modern Approaches in Applied Intelligence (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6704) (2011. XX, 570 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Modern Approaches in Applied Intelligence (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6704) (2011. XX, 570 S. 235 mm)  Paperback

Herausgegeben von Mehrotra, Kishan G./ Mohan, Chilukuri Krishna/ Oh, Jae C./ Varshney, Pramod K./ Ali, Moonis

  • ウェブストア価格 ¥27,385(本体¥24,896)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 496pt
  • 海外取次在庫
Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6822) (2011. 160 S.)
  • 洋書
  • ポイントキャンペーン

Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6822) (2011. 160 S.)  Paperback

Herausgegeben von Dastani, Mehdi/ El Fallah Seghrouchni, Amal/ Huebner, Jomi/ Leite, Joao

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Advances in Bioinformatics and Computational Biology : 6th Brazilian Symposium on Bioinformatics, BSB 2011, Bras (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .6832) (2011. 85 S.)
  • 洋書
  • ポイントキャンペーン

Advances in Bioinformatics and Computational Biology : 6th Brazilian Symposium on Bioinformatics, BSB 2011, Bras (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .6832) (2011. 85 S.)  Paperback

Herausgegeben von Norberto de Souza, Osmar/ Telles, Guilherme P./ Palakal, Mathew J.

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Brain Informatics : International Conference, BI 2011, Lanzhou, China, September 7-9, 2011. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6889) (2011. IX, 340 S.)
  • 洋書
  • ポイントキャンペーン

Brain Informatics : International Conference, BI 2011, Lanzhou, China, September 7-9, 2011. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6889) (2011. IX, 340 S.)  Paperback

Herausgegeben von Hu, Bin/ Liu, Jiming/ Chen, Lin/ Zhong, Ning

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6956) (2011. XV, 279 S.)
  • 洋書
  • ポイントキャンペーン

Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6956) (2011. XV, 279 S.)  Paperback

Herausgegeben von Cohen, Myra B./ O Cinneide, Mel

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Interactive Storytelling : 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28-1 December, 2011, Proceedings (Lecture Notes in Computer Science Vol.7069) (2011. XIV, 384 S. 76 SW-Abb. 235 mm)
  • 洋書
  • ポイントキャンペーン

Interactive Storytelling : 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28-1 December, 2011, Proceedings (Lecture Notes in Computer Science Vol.7069) (2011. XIV, 384 S. 76 SW-Abb. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Si, Mei/ Thue, David/ Andr

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Autonomous and Intelligent Systems : Third International Conference, AIS 2012, Aviero, Portugal, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .0) (2012. 2012. VIII, 270 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Autonomous and Intelligent Systems : Third International Conference, AIS 2012, Aviero, Portugal, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .0) (2012. 2012. VIII, 270 S. 235 mm)  Paperback

Herausgegeben von Kamel, Mohamed/ Karray, Fakhri/ Hagras, Hani

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7392) (2012. 2012. 700 S.)
  • 洋書
  • ポイントキャンペーン

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7392) (2012. 2012. 700 S.)  Paperback

Herausgegeben von Czumaj, Artur/ Mehlhorn, Kurt/ Pitts, Andrew/ Wattenhofer, Roger

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7391) (2012. 2012. 860 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7391) (2012. 2012. 860 S. 235 mm)  Paperback

Herausgegeben von Czumaj, Artur/ Mehlhorn, Kurt/ Pitts, Andrew/ Wattenhofer, Roger

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Advances in Autonomous Robotics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7429) (2012. 2012. XVI, 469 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Advances in Autonomous Robotics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7429) (2012. 2012. XVI, 469 S. 235 mm)  Paperback

Herausgegeben von Herrmann, Guido/ Studley, Matthew/ Pearson, Martin/ Conn, Andrew/ Melhuish, Chris

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Topics in Performance Evaluation, Measurement and Characterization (Lecture Notes in Computer Science / Programming and Software Engineering .7144) (2012. XIV, 213 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Topics in Performance Evaluation, Measurement and Characterization (Lecture Notes in Computer Science / Programming and Software Engineering .7144) (2012. XIV, 213 p. 235 mm)  Paperback

Ed. by Nambiar, Raghunath/ Poess, Meikel

  • ウェブストア価格 ¥12,598(本体¥11,453)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 228pt
  • 海外取次在庫
Intelligent Data Engineering and Automated Learning -- IDEAL 2012 (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. 2012. XXI, 862 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Intelligent Data Engineering and Automated Learning -- IDEAL 2012 (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. 2012. XXI, 862 S. 235 mm)  Paperback

Herausgegeben von Yin, Hujun/ Costa, Jose A.F./ Barreto, Guilherme

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Advances in Computational Intelligence, Part II (Communications in Computer and Information Science .298) (2012. 2012. XVI, 600 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Advances in Computational Intelligence, Part II (Communications in Computer and Information Science .298) (2012. 2012. XVI, 600 S. 235 mm)  Paperback

Herausgegeben von Greco, Salvatore/ Bouchon-Meunier, Bernadette/ Coletti, Giulianella/ Fedrizzi, Mario/ Yager, Ronald R.

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫