Weise statt Smart, m. 1 Buch, m. 1 E-Book : Intelligentes Wohnen auf der nächsten Stufe (2022. xvi, 204 S. XVI, 204 S. 43 Abb., 37 Abb. in Farbe. Book + eBook.)
  • 洋書
  • ポイントキャンペーン

Weise statt Smart, m. 1 Buch, m. 1 E-Book : Intelligentes Wohnen auf der nächsten Stufe (2022. xvi, 204 S. XVI, 204 S. 43 Abb., 37 Abb. in Farbe. Book + eBook.)

Leitner, Gerhard

  • ウェブストア価格 ¥15,698(本体¥14,271)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2022発売)
  • ポイント 284pt
  • 海外からお取り寄せ(通常6~9週間)
Social Urbanism in Latin America : Cases and Instruments of Planning, Land Policy and Financing the City Transformation with Social Inclusion (Future City)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Social Urbanism in Latin America : Cases and Instruments of Planning, Land Policy and Financing the City Transformation with Social Inclusion (Future City)  Hardcover

Leite, Carlos/ Acosta, Claudia/ Militelli, Fernanda

  • ウェブストア価格 ¥39,174(本体¥35,613)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 712pt
  • 海外からお取り寄せ(通常6~9週間)
Social Urbanism in Latin America : Cases and Instruments of Planning, Land Policy and Financing the City Transformation with Social Inclusion (Future City)
  • 洋書
  • ポイントキャンペーン

Social Urbanism in Latin America : Cases and Instruments of Planning, Land Policy and Financing the City Transformation with Social Inclusion (Future City)  Paperback,  言語:ENG

Leite, Carlos/ Acosta, Claudia/ Militelli, Fernanda

  • ウェブストア価格 ¥30,779(本体¥27,981)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 558pt
  • 海外からお取り寄せ(通常6~9週間)
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2023 (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2023 (Studies in Computational Intelligence)  Hardcover

Borangiu, Theodor (EDT)/ Trentesaux, Damien (EDT)/ Leitão, Paulo (EDT)

  • ウェブストア価格 ¥54,909(本体¥49,918)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 998pt
  • 海外取次在庫
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2023 (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2023 (Studies in Computational Intelligence)  Paperback

Borangiu, Theodor (EDT)/ Trentesaux, Damien (EDT)/ Leitão, Paulo (EDT)

  • ウェブストア価格 ¥55,964(本体¥50,877)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 1,016pt
  • 海外からお取り寄せ(通常6~9週間)
Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Helic, Denis (EDT)/ Leitner, Gerhard (EDT)/ Stettinger, Martin (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • 海外取次在庫
Identifying Patterns in Financial Markets : New Approach Combining Rules between PIPs and SAX (Springerbriefs in Applied Sciences and Technology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Identifying Patterns in Financial Markets : New Approach Combining Rules between PIPs and SAX (Springerbriefs in Applied Sciences and Technology)  Paperback,  言語:ENG

Leitão, João/ Neves, Rui Ferreira/ Horta, Nuno C.G.

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
New Research in Crime Modeling and Mapping Using Geospatial Technologies (Geotechnologies and the Environment)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

New Research in Crime Modeling and Mapping Using Geospatial Technologies (Geotechnologies and the Environment)  Hardcover,  言語:ENG

Leitner, Michael (EDT)

  • ウェブストア価格 ¥50,367(本体¥45,789)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 914pt
  • 海外からお取り寄せ(通常6~9週間)
Social Modeling Using the i* Framework : Essays in Honour of Eric Yu (2025)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Social Modeling Using the i* Framework : Essays in Honour of Eric Yu (2025)  Hardcover

Franch, Xavier (EDT)/ Sampaio do Prado Leite, Julio Cesar (EDT)/ Mussbacher, Gunter (EDT)

  • ウェブストア価格 ¥43,927(本体¥39,934)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 798pt
  • 海外取次在庫
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA LATIN AMERICA 2021 (Studies in Computational Intelligence 987) (2022. xvii, 358 S. XVII, 358 p. 149 illus., 92 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA LATIN AMERICA 2021 (Studies in Computational Intelligence 987) (2022. xvii, 358 S. XVII, 358 p. 149 illus., 92 illus. in color. 235 mm)  Paperback

Herausgegeben:Trentesaux, Damien/ Borangiu, Theodor/ Leitã/o, Paulo/ Jimenez, Jose-Fernando/ Montoya-Torres, Jairo R.

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN; SPRINGER(2022発売)
  • ポイント 762pt
  • 海外からお取り寄せ(通常6~9週間)
Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2024 (Studies in Computational Intelligence 1197) (2025. xx, 444 S. XX, 444 p. 138 illus., 121 illus. in color. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2024 (Studies in Computational Intelligence 1197) (2025. xx, 444 S. XX, 444 p. 138 illus., 121 illus. in color. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Borangiu, Theodor/ Trentesaux, Damien/ Leitã/o, Paulo/ Legat, Christoph

  • ウェブストア価格 ¥61,598(本体¥55,999)
  • SPRINGER, BERLIN; SPRINGER(2025発売)
  • ポイント 1,118pt
  • 海外取次在庫
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
  • 海外取次在庫
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
  • 海外取次在庫