Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Information and Communication Technology for Development for Africa : First International Conference, ICT4DA 2017, Bahir Dar, Ethiopia, September 25-27, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and T
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Information and Communication Technology for Development for Africa : First International Conference, ICT4DA 2017, Bahir Dar, Ethiopia, September 25-27, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and T  Paperback,  言語:ENG

Mekuria, Fisseha (EDT)/ Nigussie, Ethiopia Enideg (EDT)/ Dargie, Waltenegus (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 218pt
  • 海外取次在庫
Information and Communication Technology for Development for Africa : Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Information and Communication Technology for Development for Africa : Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Mekuria, Fisseha (EDT)/ Nigussie, Ethiopia (EDT)/ Tegegne, Tesfa (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Computer Graphics : 38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6-10, 2021, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Advances in Computer Graphics : 38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6-10, 2021, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Magnenat-Thalmann, Nadia (EDT)/ Interrante, Victoria (EDT)/ Thalmann, Daniel (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 478pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Harmonization and Development of Resources and Tools for Italian Natural Language Processing within the PARLI Project (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

Harmonization and Development of Resources and Tools for Italian Natural Language Processing within the PARLI Project (Studies in Computational Intelligence)  Paperback

Basili, Roberto (EDT)/ Bosco, Cristina (EDT)/ Delmonte, Rodolfo (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 438pt
  • 海外取次在庫
Digital Transformation and Global Society : First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Digital Transformation and Global Society : First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Chugunov, Andrei V. (EDT)/ Bolgov, Radomir (EDT)/ Kabanov, Yury (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 218pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫
Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Margaria, Tiziana (EDT)/ Graf, Susanne (EDT)/ Larsen, Kim G. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫
Agile Processes in Software Engineering and Extreme Programming : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings (Lecture Notes in Business Information Processing) (2020)
  • 洋書
  • ポイントキャンペーン

Agile Processes in Software Engineering and Extreme Programming : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings (Lecture Notes in Business Information Processing) (2020)  Paperback,  言語:ENG

Stray, Viktoria (EDT)/ Hoda, Rashina (EDT)/ Paasivaara, Maria (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 198pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Pervasive Computing and the Networked World : Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書
  • ポイントキャンペーン

Pervasive Computing and the Networked World : Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback

Zu, Qiaohong (EDT)/ Vargas-Vera, Maria (EDT)/ Hu, Bo (EDT)

  • Springer International Publishing AG(2014/07発売)
  • ご注文いただけません
Algorithms and Complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Algorithms and Complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Spirakis, Paul G. (EDT)/ Serna, Maria (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 218pt
  • 海外取次在庫
Algorithmic Game Theory : 5th International Symposium, SAGT 2011, Barcelona, Spain, October 22-23, 2012. Proceedings (Lecture Notes in Computer Science .7615) (2012. 2012. X, 263 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Algorithmic Game Theory : 5th International Symposium, SAGT 2011, Barcelona, Spain, October 22-23, 2012. Proceedings (Lecture Notes in Computer Science .7615) (2012. 2012. X, 263 S. 235 mm)  Paperback

Herausgegeben von Serna, Maria J.

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Hybrid Metaheuristics : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Hybrid Metaheuristics : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Blesa, Maria J. (EDT)/ Blum, Christian (EDT)/ Festa, Paola (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 198pt
  • 海外取次在庫
Machine Vision Beyond Visible Spectrum (Augmented Vision and Reality) (2011)
  • 洋書
  • ポイントキャンペーン

Machine Vision Beyond Visible Spectrum (Augmented Vision and Reality) (2011)  Paperback

Hammoud, Riad (EDT)/ Fan, Guoliang (EDT)/ McMillan, Robert W. (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 678pt
  • 海外取次在庫
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6302) (2010. XIII, 782 S.)
  • 洋書
  • ポイントキャンペーン

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6302) (2010. XIII, 782 S.)  Paperback

Herausgegeben von Serna, Maria J.

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 508pt
  • 海外取次在庫
Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7218) (2012. XII, 482 S.)
  • 洋書
  • ポイントキャンペーン

Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7218) (2012. XII, 482 S.)  Paperback

Herausgegeben von Aloni, Maria/ Kimmelman, Vadim/ Roelofsen, Floris/ Sassoon, Galit/ Schulz, Katrin

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫