Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

Blank Cover Image

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science / Martin Grohe, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
New York NY : IEEE, 2016

著者名:

ISBN:

9781450343916 [1450343910]

書誌ID:

OB00403303

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science Grohe, Martin, Association for Computing Machinery-Digital Library. IEEE Electronic Library (IEL) Conference Proceedings, IEEE	7 電子ブック Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Algorithms and Computation Theory., … ACM Digital Library Proceedings, IEEE Computer Society
2 電子ブック Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	8 電子ブック Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Algorithms and Computation Theory., … ACM Digital Library Proceedings, IEEE Computer Society
3 電子ブック Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture Bondi, Jim, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, IEEE Computer Society Press	9 電子ブック Proceedings of the 31st Annual ACM Symposium on Applied Computing Ossowski, Sascha, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
4 電子ブック Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Logic and Computation., Association … ACM Digital Library Proceedings, IEEE	10 電子ブック Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology Baudisch, Patrick, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
5 電子ブック Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Logic and Computation., Association … IEEE Electronic Library (IEL) Conference Proceedings, IEEE	11 電子ブック Proceedings of the 41st ACM technical symposium on Computer science education Lewandowski, Gary, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
6 電子ブック Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on … Henzinger, Thomas, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	12 電子ブック Proceedings of the 31st Annual Computer Security Applications Conference Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM

1

2

3

4

5

6

7

8

9

10

11

12