1.

図書
図書
1. 7th IEEE International Symposium on High Assurance Systems Engineering : proceedings : 23-25 October 2002, Tokyo, Japan
sponsored by the IEEE Computer Society, IEICE Technical Group on DC
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: loading…
2.

雑誌
雑誌
2. IEEE intelligent systems & their applications
IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Los Alamitos, Calif. : IEEE Computer Society. Institute of Electrical and Electronics Engineers, c1998-c2000
巻次年月次: Vol. 13, no. 1 (Jan./Feb. 1998)-v. 15, no. 6 (Nov./Dec. 2000)
所蔵情報: loading…
3.

図書
図書
3. 2009 50th Annual IEEE Symposium on Foundations of Computer Science : (FOCS 2009) : Atlanta, Georgia, USA 25-27 October 2009
Symposium on Foundations of Computer Science ; IEEE Computer Society
出版情報: Piscataway, N.J. : IEEE, c2009
所蔵情報: loading…
4.

図書
図書
4. 2010 IEEE 51st annual symposium on foundations of computer science : (FOCS 2010) : Las Vegas, Nevada, USA 23-26 October 2010
Symposium on Foundations of Computer Science ; IEEE Computer Society
出版情報: Los Alamitos, California : IEEE, c2010
所蔵情報: loading…
5.

図書
図書
5. 2011 IEEE 52nd annual symposium on foundations of computer science : (FOCS 2011) : Palm Springs, California, USA 22-25 October 2011
editors, Rafail Ostrovsky
出版情報: Piscataway, NJ : IEEE, c2011
所蔵情報: loading…
6.

図書
図書
6. Proceedings : International Test Conference 2000, [October 3-5, 2000, New Atlantic City Convention Center, Atlantic City, NJ, USA] (: soft ; : case ; : microfiche)
[sponsored by IEEE Computer Society, Test Technology Technical Council and IEEE Philadelphia Section]
出版情報: Washington, D.C. : International Test Conference, c2000
所蔵情報: loading…
7.

図書
図書
7. SPLC (2006 (10th) - 2008 (12th))
sponsored by Software Engineering Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2006-
所蔵情報: loading…
8.

図書
図書
8. IEEE/ACM International Conference on Computer Aided Design, ICCAD-2001, a conference for the EE CAD professional, November 4-8, 2001, Doubletree Hotel, San Jose, CA (: softbound ; : microfiche)
Sponsored by IEEE Circuits & Systems Society, IEEE Computer Society, ACM/SIGDA
出版情報: Piscataway, NJ : IEEE , New York : Association for Computing Machinery, c2001
所蔵情報: loading…
9.

図書
図書
9. Proceedings, 5th International Symposium on Autonomous Decentralized Systems, 26-28 March 2001, Dallas, Texas
sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…