Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004 | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004 / sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]

資料種別:

図書

出版情報:

Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004

形態:

xiii, 467 p. ; 28 cm

著者名:

ISBN:

9780769521923 [0769521924]

書誌ID:

BA6868636X

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Proceedings, nineteenth Annual IEEE Symposium on Logic in Computer Science, 13-17 July 2004, Turku, Finland
注記:	Other supporter: City of Turku, Finnish Academy of Sciences and Letters, Finnish Cultural Foundation, University of Turku, Finnair, Fujitsu-Siemens Computers, IBM, MasterPlanet, Nokia, Nordea, Sampo, OKO Bank IEEE Computer Society Order Number: P2192 Includes bibliographical references and index
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	7 図書 Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
2 図書 Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	8 図書 40th Annual Symposium on Foundations of Computer Science, October 17-19, 1999, New York City, New York (: case ; : pbk ; : microfiche) Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
3 図書 Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994 (: paper ; : microfiche ; : case) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	9 図書 Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic … Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
4 図書 Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	10 電子ブック Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004 IEEE Electronic Library (IEL) Conference Proceedings, IEEE
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 … ACM Digital Library Proceedings, IEEE	11 図書 Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press
6 電子ブック 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	12 図書 Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002 Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society

1

2

3

4

5

6

7

8

9

10

11

12