Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic)
  • 洋書
  • 予約

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Demri, Sté/phane

  • ウェブストア価格 ¥14,073(本体¥12,794)
  • Springer, Berlin(2026/02発売)
  • ポイント 127pt
  • ご予約受付中。出版後の入荷・発送
Critical Infrastructure Protection XIX : 19th IFIP WG 11.10 International Conference, ICCIP 2025, Arlington, VA, USA, March 17-18, 2025, Revised Selected Papers (IFIP Advances in Information and Communication Technology 763)
  • 洋書
  • 予約

Critical Infrastructure Protection XIX : 19th IFIP WG 11.10 International Conference, ICCIP 2025, Arlington, VA, USA, March 17-18, 2025, Revised Selected Papers (IFIP Advances in Information and Communication Technology 763)

Herausgegeben:Staggs, Jason/Shenoi, Sujeet

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ご注文いただけません
AI-Empowered Industrial Relations (Studies in Computational Intelligence)
  • 洋書
  • 予約

AI-Empowered Industrial Relations (Studies in Computational Intelligence)

Majumder, Soumi/Misra, Bitan

  • Springer, Berlin(2026/02発売)
  • ご注文いただけません
Lecture Notes in Artificial Intelligence : Cultural Robotics: Diversified Sustainable Practices (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Lecture Notes in Artificial Intelligence : Cultural Robotics: Diversified Sustainable Practices (Lecture Notes in Computer Science)  Paperback

Dunstan, Belinda J.EDT/ Koh, Jeffrey T. K. V.EDT/ Samani, HoomanEDT

  • ウェブストア価格 ¥16,326(本体¥14,842)
  • Springer, Berlin(2026/03発売)
  • ポイント 148pt
  • ご予約受付中。出版後の入荷・発送
Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science)

Chen, Yu-FangEDT/Jensen, ThomasEDT/Lengá

  • Springer, Berlin(2026/03発売)
  • ご注文いただけません
Practical Aspects of Declarative Languages : 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Practical Aspects of Declarative Languages : 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science)

Amin, NadaEDT/Arias, Joaquí/nEDT

  • Springer, Berlin(2026/02発売)
  • ご注文いただけません
Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part III (Communications in Computer and Information Science)
  • 洋書
  • 予約

Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part III (Communications in Computer and Information Science)  Paperback

Chandra Mondal, KartickEDT/ Bhattacharya, MunmunEDT/ Bhaumik, ParamaEDT

  • ウェブストア価格 ¥25,335(本体¥23,032)
  • Springer, Berlin(2026/02発売)
  • ポイント 230pt
  • ご予約受付中。出版後の入荷・発送
Artificial Intelligence Based Smart and Secured Applications : 4th International Conference, ASCIS 2025, Gujarat, India, September 11-13, 2025, Revised Selected Papers, Part III (Communications in Computer and Information Science)
  • 洋書
  • 予約

Artificial Intelligence Based Smart and Secured Applications : 4th International Conference, ASCIS 2025, Gujarat, India, September 11-13, 2025, Revised Selected Papers, Part III (Communications in Computer and Information Science)  Paperback

Rajagopal, SridaranEDT/ Sajja, PritiEDT/ Thanki, RohitEDT

  • ウェブストア価格 ¥25,335(本体¥23,032)
  • Springer, Berlin(2026/03発売)
  • ポイント 230pt
  • ご予約受付中。出版後の入荷・発送
Lecture Notes in Artificial Intelligence : Engineering Multi-Agent Systems : 13th International Workshop, EMAS 2025, Detroit, MI, USA, May 19-20, 2025, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Lecture Notes in Artificial Intelligence : Engineering Multi-Agent Systems : 13th International Workshop, EMAS 2025, Detroit, MI, USA, May 19-20, 2025, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rodriguez, SebastianEDT/ Feng, LuEDT/ Mueller, Joerg P.EDT

  • ウェブストア価格 ¥16,326(本体¥14,842)
  • Springer, Berlin(2026/03発売)
  • ポイント 148pt
  • ご予約受付中。出版後の入荷・発送
Applied Machine Learning and Data Analytics : 7th International Conference, AMLDA 2024, Shamshabad, India, December 20-21, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 予約

Applied Machine Learning and Data Analytics : 7th International Conference, AMLDA 2024, Shamshabad, India, December 20-21, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Tiwari, SanjuEDT/ Bano, TasneemEDT/ Jabbar, M. A.EDT

  • ウェブストア価格 ¥21,112(本体¥19,193)
  • Springer, Berlin(2026/03発売)
  • ポイント 191pt
  • ご予約受付中。出版後の入荷・発送
IT-Handbuch für Fachinformatiker*innen : Der Ausbildungsbegleiter für Anwendungsentwicklung und Systemintegration. Inkl. Prüfungsfragen und Übungen - Ausgabe 2025 (12. Aufl.)
  • 洋書

IT-Handbuch für Fachinformatiker*innen : Der Ausbildungsbegleiter für Anwendungsentwicklung und Systemintegration. Inkl. Prüfungsfragen und Übungen - Ausgabe 2025 (12. Aufl.)  Hardcover

Kersken, Sascha

  • ウェブストア価格 ¥10,498(本体¥9,544)
  • Rheinwerk Verlag(2025/08発売)
  • ポイント 95pt
  • 海外からお取り寄せ(通常6~9週間)
Eigene KI-Anwendungen programmieren : Ihr Einstieg in die Programmierung mit KI. Ohne Vorkenntnisse, einfach mit Python - Ausgabe 2025 (2. Aufl.)
  • 洋書

Eigene KI-Anwendungen programmieren : Ihr Einstieg in die Programmierung mit KI. Ohne Vorkenntnisse, einfach mit Python - Ausgabe 2025 (2. Aufl.)  Paperback

Karatas, Metin

  • ウェブストア価格 ¥7,867(本体¥7,152)
  • Rheinwerk Verlag(2025/08発売)
  • ポイント 71pt
  • 海外からお取り寄せ(通常6~9週間)
Hacking u. Security : Das umfassende Hacking-Handbuch mit über 1.200 Seiten Profiwissen. 4., aktualisierte Auflage des IT-Standardwerks für Admins (4., erw. Aufl.)
  • 洋書

Hacking u. Security : Das umfassende Hacking-Handbuch mit über 1.200 Seiten Profiwissen. 4., aktualisierte Auflage des IT-Standardwerks für Admins (4., erw. Aufl.)  Hardcover

Kofler, Michael/ Aigner, Roland/ Gebeshuber, Klaus

  • ウェブストア価格 ¥13,129(本体¥11,936)
  • Rheinwerk Verlag(2025/10発売)
  • ポイント 119pt
  • 海外取次在庫
Fit fürs Studium - Elektrotechnik : Bestens vorbereitet ins E-Technik-Studium. Das Einstiegsbuch mit Beispielen, Übungsaufgaben und Lösungen
  • 洋書

Fit fürs Studium - Elektrotechnik : Bestens vorbereitet ins E-Technik-Studium. Das Einstiegsbuch mit Beispielen, Übungsaufgaben und Lösungen  Paperback

Post, Uwe

  • ウェブストア価格 ¥6,551(本体¥5,956)
  • Rheinwerk Verlag(2025/10発売)
  • ポイント 59pt
  • 海外からお取り寄せ(通常6~9週間)
Workflow-Management in SAP S/4HANA : SAP Business Workflow, flexible Workflows und SAP Build Process Automation (SAP PRESS) (2., erw. Aufl.)
  • 洋書
  • 予約

Workflow-Management in SAP S/4HANA : SAP Business Workflow, flexible Workflows und SAP Build Process Automation (SAP PRESS) (2., erw. Aufl.)  Hardcover

Finauer, Florian/ Hoessler, Steve/ Lehmann, Marc

  • ウェブストア価格 ¥23,654(本体¥21,504)
  • Rheinwerk Verlag(2026/02発売)
  • ポイント 215pt
  • ご予約受付中。出版後の入荷・発送
Java ist auch eine Insel : Das Standardwerk für Programmierer. Über 1.200 Seiten Java-Wissen. Mit vielen Beispielen und Übungen, aktuell zu Java 25 (18., überarb. Aufl.)
  • 洋書

Java ist auch eine Insel : Das Standardwerk für Programmierer. Über 1.200 Seiten Java-Wissen. Mit vielen Beispielen und Übungen, aktuell zu Java 25 (18., überarb. Aufl.)  Hardcover

Ullenboom, Christian

  • ウェブストア価格 ¥13,129(本体¥11,936)
  • Rheinwerk Verlag(2025/11発売)
  • ポイント 119pt
  • 海外からお取り寄せ(通常6~9週間)
Das Swift-Handbuch : Apps programmieren für alle Apple-Plattformen (5. Aufl.)
  • 洋書

Das Swift-Handbuch : Apps programmieren für alle Apple-Plattformen (5. Aufl.)

Sillmann, Thomas

  • ウェブストア価格 ¥15,783(本体¥14,349)
  • Hanser Fachbuchverlag(2026/01発売)
  • ポイント 143pt
  • 海外からお取り寄せ(通常6~9週間)
Wie Information Intelligenz und KI erzeugt : Die Natur der Information als Grundlage dynamisch wachsender digitaler neuronaler Netze (Die blaue Stunde der Informatik)
  • 洋書
  • 予約

Wie Information Intelligenz und KI erzeugt : Die Natur der Information als Grundlage dynamisch wachsender digitaler neuronaler Netze (Die blaue Stunde der Informatik)  Paperback

Golze, Kay

  • ウェブストア価格 ¥8,680(本体¥7,891)
  • Springer, Berlin(2026/02発売)
  • ポイント 78pt
  • ご予約受付中。出版後の入荷・発送
Künstliche Intelligenz und Wir : Stand, Nutzung und Herausforderungen der KI
  • 洋書

Künstliche Intelligenz und Wir : Stand, Nutzung und Herausforderungen der KI  Hardcover,  言語:GER

Schmiedchen, FrankEDT/ von Gernler, AlexanderEDT/ Hafner, MartinaEDT

  • ウェブストア価格 ¥14,073(本体¥12,794)
  • Springer, Berlin(2025/10発売)
  • ポイント 127pt
  • 海外取次在庫
Archicad 29 : Der umfassende Praxiseinstieg. Mit zahlreichen Beispielen und Übungsfragen (mitp Professional) (2026)
  • 洋書
  • 予約

Archicad 29 : Der umfassende Praxiseinstieg. Mit zahlreichen Beispielen und Übungsfragen (mitp Professional) (2026)  Paperback

Ridder, Detlef

  • ウェブストア価格 ¥11,837(本体¥10,761)
  • MITP-Verlag(2026/02発売)
  • ポイント 107pt
  • ご予約受付中。出版後の入荷・発送