Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction) (2025. xxiv, 698 S. XXIV, 698 p. 418 illus., 356 illus. in color. 235 m)
  • 洋書
  • ポイントキャンペーン

Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction) (2025. xxiv, 698 S. XXIV, 698 p. 418 illus., 356 illus. in color. 235 m)  Hardcover,  言語:ENG

Herausgegeben:Marques, Bruno/ Ruivo, Catarina/ Leite Viana, David/ Vieira Vaz, Jorge

  • ウェブストア価格 ¥78,399(本体¥71,272)
  • SPRINGER, BERLIN; SPRINGER(2025発売)
  • ポイント 1,424pt
  • 海外取次在庫
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
  • 洋書
  • 予約
  • ポイントキャンペーン

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Leitsch, Alexander/ Cerna, David Michael/ Lolic, Anela

  • Springer Nature Switzerland AG(2026/01発売)
  • ご注文いただけません
Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2019. xi, 320 S. XI, 320 p. 143 illus., 132 illus. in color. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project (2019. xi, 320 S. XI, 320 p. 143 illus., 132 illus. in color. 235 mm)  Hardcover

Herausgegeben von Leitner, Andrea/ Watzenig, Daniel/ Ibanez-Guzman, Javier

  • ウェブストア価格 ¥33,597(本体¥30,543)
  • SPRINGER, BERLIN; SPRINGER(2019発売)
  • ポイント 610pt
  • 海外取次在庫
Practical Work in Science Education in the Digital Era : Challenges and Opportunities (Advances in Technology-Rich Science Education 2) (2026. xxvi, 427 S. XXVI, 427 p. 37 illus., 33 illus. in color. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Practical Work in Science Education in the Digital Era : Challenges and Opportunities (Advances in Technology-Rich Science Education 2) (2026. xxvi, 427 S. XXVI, 427 p. 37 illus., 33 illus. in color. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Leite, Laurinda/ Dourado, Luis/ Afonso, Ana S./ Morgado, Sofia/ Carvalho, Luí/sa

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN; CENTRO DE INVESTIGAÇÃO EM ED(2026/04発売)
  • ポイント 254pt
  • ご予約受付中。出版後の入荷・発送
Declarative Agent Languages and Technologies, DALT 2003 : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2990) (2004. XII, 281 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Declarative Agent Languages and Technologies, DALT 2003 : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.2990) (2004. XII, 281 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Joao Leite, Andrea Omicini, Leon Sterling et al.

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Logics in Artificial Intelligence, JELIA 2004 : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3229) (2004. XIV, 744 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Logics in Artificial Intelligence, JELIA 2004 : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3229) (2004. XIV, 744 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Jose J. Alferes a. Joao Leite

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 508pt
  • 海外取次在庫
Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3259) (2004. XII, 251 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol.3259) (2004. XII, 251 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Juergen Dix a. J. Leite

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 254pt
  • 海外取次在庫
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)  Paperback

Herausgeber: Gottlob, Georg, Mundici, Daniele, Leitsch, Alexander

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 254pt
  • 海外取次在庫
Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6039) (2010. X, 183 S.)
  • 洋書
  • ポイントキャンペーン

Languages, Methodologies, and Development Tools for Multi-Agent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 6039) (2010. X, 183 S.)  Paperback,  言語:ENG

Herausgegeben von Dastani, Mehdi/ El Fallah Seghrouchni, Amal/ Leite, Joao/ Torroni, Paolo

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 254pt
  • 海外取次在庫
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,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫
Advancing Democracy, Government and Governance (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. 2012. XII, 290 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Advancing Democracy, Government and Governance (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. 2012. XII, 290 S. 235 mm)  Paperback

Herausgegeben von Koe, Andrea/ Leitner, Christine/ Leitold, Herbert/ Prosser, Alexander

  • ウェブストア価格 ¥12,879(本体¥11,709)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 234pt
  • 海外取次在庫
Logistik, Transport und Lieferbedingungen als Fundament des globalen Wirtschaftens : Eine Einführung (Essentials) (1. Aufl. 2015. 2015. ix, 34 S. IX, 34 S. 5 Abb. 210 mm)
  • 洋書
  • ポイントキャンペーン

Logistik, Transport und Lieferbedingungen als Fundament des globalen Wirtschaftens : Eine Einführung (Essentials) (1. Aufl. 2015. 2015. ix, 34 S. IX, 34 S. 5 Abb. 210 mm)  Paperback

Leitner, Wolfgang

  • ウェブストア価格 ¥3,922(本体¥3,566)
  • SPRINGER, BERLIN; SPRINGER GABLER(2015発売)
  • ポイント 70pt
  • 海外取次在庫
Best of springerprofessional.de: Marketing + Vertrieb (essentials) (1. Aufl. 2022. 2022. xi, 61 S. XI, 61 S. 210 mm)
  • 洋書
  • ポイントキャンペーン

Best of springerprofessional.de: Marketing + Vertrieb (essentials) (1. Aufl. 2022. 2022. xi, 61 S. XI, 61 S. 210 mm)  Paperback

Leitherer, Johanna/Krah, Eva-Susanne

  • ウェブストア価格 ¥3,922(本体¥3,566)
  • SPRINGER, BERLIN; SPRINGER GABLER(2022発売)
  • ポイント 70pt
  • 海外取次在庫
Räume öffnen - Partizipation im Musiktheater für junges Publikum (2026. vi, 278 S. VI, 278 S. 46 Abb., 43 Abb. in Farbe. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Räume öffnen - Partizipation im Musiktheater für junges Publikum (2026. vi, 278 S. VI, 278 S. 46 Abb., 43 Abb. in Farbe. 235 mm)  Paperback

Herausgegeben:Plank-Baldauf, Christiane/ Leiter, Catherine

  • ウェブストア価格 ¥20,931(本体¥19,029)
  • SPRINGER, BERLIN; J.B. METZLER(2026/05発売)
  • ポイント 380pt
  • ご予約受付中。出版後の入荷・発送
Adhesive Bonding of Aircraft Composite Structures : Non-destructive Testing and Quality Assurance Concepts
  • 洋書
  • ポイントキャンペーン

Adhesive Bonding of Aircraft Composite Structures : Non-destructive Testing and Quality Assurance Concepts  Hardcover,  言語:ENG

Leite Cavalcanti, Welchy (EDT)/ Brune, Kai (EDT)/ Noeske, Michael (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2021/06発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Best of springerprofessional.de 2025: Marketing + Vertrieb (essentials) (2026. Etwa 40 S. 210 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Best of springerprofessional.de 2025: Marketing + Vertrieb (essentials) (2026. Etwa 40 S. 210 mm)  Paperback

Krah, Eva-Susanne/Leitherer, Johanna

  • ウェブストア価格 ¥3,922(本体¥3,566)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2026/04発売)
  • ポイント 70pt
  • ご予約受付中。出版後の入荷・発送
Ernährung und Fasten als Therapie (3. Aufl. 2026. xi, 491 S. XI, 491 S. 35 Abb., 17 Abb. in Farbe. 240 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Ernährung und Fasten als Therapie (3. Aufl. 2026. xi, 491 S. XI, 491 S. 35 Abb., 17 Abb. in Farbe. 240 mm)  Paperback,  言語:GER

Herausgegeben:Stange, Rainer/ Leitzmann, Claus/ Michalsen, Andreas

  • ウェブストア価格 ¥18,315(本体¥16,650)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 332pt
  • ご予約受付中。出版後の入荷・発送