Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Petre, Luigia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Open Source Software: Quality Verification : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings (Ifip Advances in Information and Communication Technology) (2013)
  • 洋書

Open Source Software: Quality Verification : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013, Proceedings (Ifip Advances in Information and Communication Technology) (2013)  Hardcover,  言語:ENG

Petrinja, Etiel (EDT)/ Succi, Giancarlo (EDT)/ El Ioini, Nabil (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ご注文いただけません
Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Carette, Jacques (EDT)/ Aspinall, David (EDT)/ Lange, Christoph (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 104pt
  • 海外取次在庫
Theory, Practice, and Applications of Rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Theory, Practice, and Applications of Rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Morgenstern, Leora (EDT)/ Stefaneas, Petros (EDT)/ Lévy, Francois (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 95pt
  • 海外取次在庫
Progress in Image Analysis and Processing, ICIAP 2013 : Naples, Italy, September 9-13, 2013, Proceedings, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)
  • 洋書

Progress in Image Analysis and Processing, ICIAP 2013 : Naples, Italy, September 9-13, 2013, Proceedings, Part II (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (2013)  Paperback,  言語:ENG

Petrosino, Alfredo (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
New Trends in Image Analysis and Processing, ICIAP 2013 Workshops : Naples, Italy, September 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

New Trends in Image Analysis and Processing, ICIAP 2013 Workshops : Naples, Italy, September 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Petrosino, Alfredo (EDT)/ Maddalena, Lucia (EDT)/ Pala, Pietro (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
Progress in Image Analysis and Processing, ICIAP 2013 : Naples, Italy, September 9-13, 2013, Proceedings, Part I (Lecture Notes in Computer Science) (2013)
  • 洋書

Progress in Image Analysis and Processing, ICIAP 2013 : Naples, Italy, September 9-13, 2013, Proceedings, Part I (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Petrosino, Alfredo (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
Coarse-to-Fine Natural Language Processing (Theory and Applications of Natural Language Processing) (2012)
  • 洋書

Coarse-to-Fine Natural Language Processing (Theory and Applications of Natural Language Processing) (2012)  Paperback,  言語:ENG

Petrov, Slav/ Charniak, Eugene (FRW)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/01発売)
  • ポイント 209pt
  • 海外取次在庫
Funktionstrennung in ERP-Systemen : Konzepte, Methoden und Fallstudien
  • 洋書

Funktionstrennung in ERP-Systemen : Konzepte, Methoden und Fallstudien  Paperback,  言語:GER

Asprion, Petra Maria

  • Springer Vieweg(2012/09発売)
  • ご注文いただけません
Selected Areas in Cryptography -- SAC 2013 : 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Selected Areas in Cryptography -- SAC 2013 : 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Lange, Tanja (EDT)/ Lauter, Kristin (EDT)/ Lisoněk, Petr (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/06発売)
  • ポイント 104pt
  • 海外取次在庫
Datenschutz : Einführung in technischen Datenschutz, Datenschutzrecht und angewandte Kryptographie
  • 洋書

Datenschutz : Einführung in technischen Datenschutz, Datenschutzrecht und angewandte Kryptographie

Petrlic, Ronald/Sorge, Christoph

  • SPRINGER, BERLIN(2017発売)
  • ご注文いただけません
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science Vol.2931) (2004. VIII, 267 p. 23,5 cm)
  • 洋書

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science Vol.2931) (2004. VIII, 267 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Alexandre Petrenko a. Andreas Ulrich

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
History of Nordic Computing 2 : Second IFIP WG 9.7 Conference, HiNC 2, Turku, Finland, August 21-23, 2007, Revised Selected Papers (IFIP Advances in Information and Communication Technology .303) (2009. 2013. XVI, 323 S. 235 mm)
  • 洋書
Generic Systems Engineering : Ein methodischer Ansatz zur Komplexitätsbewältigung
  • 洋書

Generic Systems Engineering : Ein methodischer Ansatz zur Komplexitätsbewältigung

Winzer, Petra

  • SPRINGER, BERLIN; VIEWEG+TEUBNER(2016発売)
  • ご注文いただけません
Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abate, Alessandro (EDT)/ Petrov, Tatjana (EDT)/ Wolf, Verena (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Text, Speech, and Dialogue : 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Text, Speech, and Dialogue : 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sojka, Petr (EDT)/ Horák, Aleš (EDT)/ Kopeček, Ivan (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 104pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 190pt
  • 海外取次在庫
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010 (Studies in Computational Intelligence Vol.295) (2010)
  • 洋書

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010 (Studies in Computational Intelligence Vol.295) (2010)  Hardcover

Eds.: Lee, Roger/ Bacon, Liz/ Du, Wencai/ Ma, Jixin/ Petridis, Miltos

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2010/10発売)
  • ポイント 240pt
  • 海外取次在庫
Artificial Intelligence for Communications and Networks : 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Teleco
  • 洋書

Artificial Intelligence for Communications and Networks : 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Teleco  Paperback

Kambayashi, Yasushi (EDT)/ Nguyen, Ngoc Thanh (EDT)/ Chen, Shu-Heng (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 133pt
  • 海外取次在庫
Tangible Modeling with Open Source GIS (2ND)
  • 洋書

Tangible Modeling with Open Source GIS (2ND)  Paperback,  言語:ENG

Petrasova, Anna/ Harmon, Brendan/ Petras, Vaclav

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 266pt
  • 海外からお取り寄せ(通常6~9週間)