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
3 Results
Sort
Selected
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Filter
Only Show Available
Narrowed by:
Clear all
Included
Palsberg, Jens. editor.
Included
Logics and Meanings of Programs.
Author
Material Type
Language
Publication Date
Subject
Shelf Location
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
000
DEFAULT
Title
Select a list
Temporary List
Always add to this list
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
by
Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
by
Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-85114-1
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
View Other Search Results
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
by
Hermanns, Holger. editor.
http://dx.doi.org/10.1007/11691372
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Go to:
Search Results
|
Top of Page