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
4 Results
Sort
Selected
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Filter
Only Show Available
Narrowed by:
Clear all
Included
Zavattaro, Gianluigi. editor.
Included
Computer Communication Networks.
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
0000
DEFAULT
Title
Select a list
Temporary List
Always add to this list
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
by
Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-68894-5
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
by
Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11841197
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
View Other Search Results
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
by
Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11549970
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
by
Steffen, Martin. editor.
http://dx.doi.org/10.1007/b136996
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Go to:
Search Results
|
Top of Page