Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Czech Republic, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6247〉
  • 洋書

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Czech Republic, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6247〉  Paperback

Dawar, Anuj (EDT)/ Veith, H. (EDT)

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • Springer(2010/09発売)
  • ポイント 120pt
  • 海外取次在庫
Logic, Language, Information and Computation : 17th International Workshop, Wollic 2010 Brasilia, Brazil, July 6-9, 2010 Proceedings (Lecture Notes in
  • 洋書

Logic, Language, Information and Computation : 17th International Workshop, Wollic 2010 Brasilia, Brazil, July 6-9, 2010 Proceedings (Lecture Notes in  Paperback,  言語:ENG

Dawar, Anuj (EDT)/ De Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag New York Inc(2010/07発売)
  • ポイント 103pt
  • 海外取次在庫
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
  • 海外取次在庫