Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic) (Softcover reprint of the original 1st ed. 1987. 2014. xviii, 437 S. XV)
  • 洋書
  • ポイントキャンペーン

Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic) (Softcover reprint of the original 1st ed. 1987. 2014. xviii, 437 S. XV)  Paperback,  言語:ENG

Soare, Robert I.

  • ウェブストア価格 ¥30,797(本体¥27,998)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2014発売)
  • ポイント 558pt
  • 海外取次在庫
Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical Computer Science, An EATCS Series) (2004. 300 p.)
  • 洋書
  • ポイントキャンペーン

Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical Computer Science, An EATCS Series) (2004. 300 p.)  Hardcover

Hutter, M.

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I (Security and Cryptology)  Paperback

Hirt, Martin (EDT)/ Smith, Adam (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ご注文いただけません
Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II (Security and Cryptology)  Paperback

Hirt, Martin (EDT)/ Smith, Adam (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ご注文いただけません
Informationserschließung und Automatisches Indexieren : Ein Lehr- und Arbeitsbuch (x.media.press) (2011. XIV, 434 S. m. 19 Tab. 235 mm)
  • 洋書
  • ポイントキャンペーン

Informationserschließung und Automatisches Indexieren : Ein Lehr- und Arbeitsbuch (x.media.press) (2011. XIV, 434 S. m. 19 Tab. 235 mm)  Hardcover,  言語:GER

Goedert, Winfried/ Lepsky, Klaus/ Nagelschmidt, Matthias

  • ウェブストア価格 ¥17,007(本体¥15,461)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 308pt
  • 海外取次在庫
Security and Privacy in Communication Networks : 11th International Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunica
  • 洋書
  • ポイントキャンペーン

Security and Privacy in Communication Networks : 11th International Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunica  Paperback,  言語:ENG

Thuraisingham, Bhavani (EDT)/ Wang, XiaoFeng (EDT)/ Yegneswaran, Vinod (EDT)

  • Springer International Publishing AG(2016/01発売)
  • ご注文いただけません
Patterns Kompakt : Entwurfsmuster Für Effektive Software-Entwicklung (It Kompakt) (4TH)
  • 洋書
  • ポイントキャンペーン

Patterns Kompakt : Entwurfsmuster Für Effektive Software-Entwicklung (It Kompakt) (4TH)  Paperback,  言語:GER

Eilebrecht, Karl/ Starke, Gernot

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ご注文いただけません
Intelligent Information and Database Systems : 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Intelligent Information and Database Systems : 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Nguyen, Ngoc-Thanh (EDT)/ Trawiński, Bogdan (EDT)/ Fujita, Hamido (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/03発売)
  • ポイント 218pt
  • 海外取次在庫
Intelligent Information and Database Systems : 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Information and Database Systems : 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nguyen, Ngoc-Thanh (EDT)/ Trawiński, Bogdan (EDT)/ Fujita, Hamido (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mathematical Morphology and Its Applications to Signal and Image Processing : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Mathematical Morphology and Its Applications to Signal and Image Processing : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Burgeth, Bernhard (EDT)/ Kleefeld, Andreas (EDT)/ Naegel, Benoît (EDT)

  • Springer Nature Switzerland AG(2019/05発売)
  • ご注文いただけません
Legacysoftware : Das lange Leben der Altsysteme (Xpert.press) (2006. XII, 434 S. m. 149 Abb. 24 cm)
  • 洋書
  • ポイントキャンペーン

Legacysoftware : Das lange Leben der Altsysteme (Xpert.press) (2006. XII, 434 S. m. 149 Abb. 24 cm)  Hardcover

Masak, Dieter

  • ウェブストア価格 ¥14,390(本体¥13,082)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 260pt
  • 海外取次在庫
SOA? : Serviceorientierung in Business und Software (Xpert.press) (2007. X, 392 S. m. 82 Abb. u. 39 Tab. 24 cm)
  • 洋書
  • ポイントキャンペーン

SOA? : Serviceorientierung in Business und Software (Xpert.press) (2007. X, 392 S. m. 82 Abb. u. 39 Tab. 24 cm)  Hardcover

Masak, Dieter

  • SPRINGER, BERLIN(2007発売)
  • ご注文いただけません
Der Architekturreview : Vorgehensweise, Konzepte und Praktiken (Xpert.press) (2009. 350 S. m. 80 Zeichn. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Der Architekturreview : Vorgehensweise, Konzepte und Praktiken (Xpert.press) (2009. 350 S. m. 80 Zeichn. 23,5 cm)  Hardcover

Masak, Dieter

  • SPRINGER, BERLIN(2009発売)
  • ご注文いただけません
Digitale Ökosysteme : Unternehmen im Wandel (Xpert.press) (2009. 350 S. m. 80 Abb. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Digitale Ökosysteme : Unternehmen im Wandel (Xpert.press) (2009. 350 S. m. 80 Abb. 23,5 cm)  Hardcover

Masak, Dieter

  • SPRINGER, BERLIN(2009/03発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised  Paperback,  言語:ENG

Lamprecht, Anna-Lena (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Agile Safety Case
  • 洋書
  • ポイントキャンペーン

The Agile Safety Case  Paperback,  言語:ENG

Myklebust, Thor/ Stålhane, Tor

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 198pt
  • 海外取次在庫
The AI Act and the Agile Safety Plan (Springerbriefs in Computer Science)
  • 洋書
  • ポイントキャンペーン

The AI Act and the Agile Safety Plan (Springerbriefs in Computer Science)  Paperback

Myklebust, Thor/ Stålhane, Tor/ Vatn, Dorthea Mathilde Kristin

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Cyber-Sicherheit : Das Lehrbuch für Konzepte, Prinzipien, Mechanismen, Architekturen und  Eigenschaften von Cyber-Sicherheitssystemen in der Digitalisierung (2. Aufl. 2022. xxix, 746 S. XXIX, 746 S. 400 Abb., 367 Abb. in Farbe.)
  • 洋書
  • ポイントキャンペーン

Cyber-Sicherheit : Das Lehrbuch für Konzepte, Prinzipien, Mechanismen, Architekturen und Eigenschaften von Cyber-Sicherheitssystemen in der Digitalisierung (2. Aufl. 2022. xxix, 746 S. XXIX, 746 S. 400 Abb., 367 Abb. in Farbe.)  Paperback,  言語:GER

Pohlmann, Norbert

  • ウェブストア価格 ¥9,940(本体¥9,037)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2022発売)
  • ポイント 180pt
  • 海外取次在庫
Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Modeling Decisions for Artificial Intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Torra, Vicenc (EDT)/ Narukawa, Torra (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 218pt
  • 海外取次在庫
Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Foret, Annie (EDT)/ Morrill, Glyn (EDT)/ Muskens, Reinhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 218pt
  • 海外取次在庫