Logging in...
User ID
Password
Register
Forgot your PIN?
Forgot my PIN
Enter your username and a recovery link will be emailed to the email address on file at your library.
User ID
Skip to:
Search Results
|
Content
|
Bottom
Search Results for
Home
Log In
My Account
My Lists
Disable Accessibility Mode
Help
Rooms Restriction Values
All Fields
Title
Author
General Note
Keyword in Author headings
Subject
Keyword in Subject headings
ISBN
Preferred Shelf Number
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Search Options
Search Options
Home Room
Book Collection
E-Book Collection
Multimedia Collection
Thesis Collection
Transportation Engineering Collection
Periodicals Collections
Green Campus
2 Results
Sort
Selected
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Filter
Only Show Available
Narrowed by:
Clear all
Included
Namjoshi, Kedar S. editor.
Included
Springer Collection
Included
Logic design.
Author
Material Type
Language
Publication Date
Subject
Library
false
Sort By: A to Z
Sort By: Number of Results
{displayName}
{count}
{error}
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
00
DEFAULT
Title
Select a list
Temporary List
Always add to this list
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
by
Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
View Other Search Results
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
by
Emerson, E. Allen. editor.
http://dx.doi.org/10.1007/11609773
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
View Other Search Results
Go to:
Search Results
|
Top of Page