The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bonizzoni, Paola (EDT)/ Brattka, Vasco (EDT)/ Löwe, Benedikt (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 103pt
  • 海外取次在庫
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)
  • 洋書

Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6158) (2010. XIV, 450 S.)  Paperback,  言語:ENG

Herausgegeben von Ferreira, Fernando/ Loewe, Benedikt/ Mayordomo, Elvira/ Mendes Gomes, Lu

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7318) (2012. 2012. XVIII, 756 S. 42 SW-Abb. 235 mm)
  • 洋書

How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7318) (2012. 2012. XVIII, 756 S. 42 SW-Abb. 235 mm)  Paperback

Herausgegeben von Cooper, S. Barry/ Dawar, Anuj/ Loewe, Benedikt

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 (Trends in the History of Science)
  • 洋書

Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 (Trends in the History of Science)  Hardcover

Ju, Shier (EDT)/ Löwe, Benedikt (EDT)/ Müller, Thomas (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Birkhauser Verlag AG(2016/08発売)
  • ポイント 206pt
  • 海外取次在庫
Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6735) (2011. XIII, 319 S. 235 mm)
  • 洋書

Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6735) (2011. XIII, 319 S. 235 mm)  Paperback

Herausgegeben von Loewe, Benedikt/ Normann, Dag/ Soskov, Ivan/ Soskova, Alexandra

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫