Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings

Inhaltsverzeichnis

Proceedings of Sheffield SIGIR 2004 July 25th - 29th ; the Twenty-Seventh Annual International ACM SIGIR Conference on Research and Development in Information Retrieval

Inhaltsverzeichnis

Proceedings 1996 Las Vegas Convention Center, Las Vegas, NV. ; June 3 - 7, 1996

Inhaltsverzeichnis

Digest of technical papers November 8 - 12, 1992, Santa Clara, California ; [ICCAD-92, a Conference for the EE CAD Professional]

Inhaltsverzeichnis