Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM

資料種別:

図書

出版情報:

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

形態:

xiii, 477 p. ; 28 cm

著者名:

ISBN:

9780769522661 [0769522661]

書誌ID:

BA73227565

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Proceedings : twentieth Annual IEEE Symposium on Logic in Computer Science
注記:	IEEE Computer Society Order Number: P2266 Includes bibliographical references and index
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California (:softbound ; :casebound) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	7 図書 Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
2 図書 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004 Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	8 図書 Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
3 図書 Proceedings, 15th Annual IEEE Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California (: case ; : pbk) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society	9 図書 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
4 図書 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	10 図書 20th Annual Symposium on Foundations of Computer Science, Oct. 29-31, 1979, San Juan, Puerto Rico Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
5 電子ブック 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) IEEE Electronic Library (IEL) Conference Proceedings, IEEE	11 図書 Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
6 図書 29th Annual Symposium on Foundations of Computer Science, October 24-26, 1988 (: pbk. ; : microfiche ; : case) Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press	12 図書 Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA (: paper ; : case ; : microfiche) Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society Press

1

2

3

4

5

6

7

8

9

10

11

12