This page contains enriched content visible when JavaScript is enabled.
My Account
Library Home
Your session will expire automatically in
0
seconds.
Continue session
End session now
Return to Browse
Limit/Sort Search
SearchType
Keyword
Title
Author (Last name first)
Subject
ISBN/ISSN
Call Number
Unit Code
Libraries Australia No.
Library of Congress No.
Search
Search Scope
Entire Collection
Print Books
E-books
All books
E-journals
All journals
Databases
All e-resources
Streaming Video
DVDs
Curriculum Resources
Deakin Theses
Special Collections
Melbourne Burwood
Warrnambool
Geelong Waterfront
Geelong Waurn Ponds
Limit search to available items
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Subjects (1-13 of 13)
Electronic digital computers -- Evaluation.
1
2010
Analysis and synthesis of computer systems
Gelenbe, Erol, 1945-
Second edition
London : Imperial College Press, 2010
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
004.24 Gel/Aas 2010
AVAILABLE
2
2010
Analysis and synthesis of computer systems
Gelenbe, Erol, 1945-
2nd ed
Rating:
Electronic Resources
More...
3
1992
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
CAV (Conference) (3rd : 1991 : Ålborg, Denmark)
Rating:
Electronic Resources
4
1994
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
CAV (Conference) (6th : 1994 : Stanford, Calif.)
Rating:
Electronic Resources
5
2005
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
CAV (Conference) (17th : 2005 : Edinburgh, Scotland)
Rating:
Electronic Resources
More...
6
2008
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
CAV (Conference) (20th : 2008 : Princeton, N.J.)
Rating:
Electronic Resources
More...
7
2009
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
CAV (Conference) (21st : 2009 : Grenoble, France)
Rating:
Electronic Resources
More...
8
2010
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)
Rating:
Electronic Resources
More...
9
2011
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings
CAV (Conference) (23rd : 2011 : Snowbird, Utah)
Rating:
Electronic Resources
More...
10
1993
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV (Conference) (4th : 1992 : Montréal, Québec)
Berlin ; New York : Springer-Verlag, ©1993
Rating:
Electronic Resources
11
1993
Computer benchmarks
Symposium on Coastal and Ocean Management (7th : 1991 : Long Beach, Calif.)
Amsterdam ; New York : North-Holland, 1993
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
004.0297 Don/Cbe
AVAILABLE
12
2009
Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings
SPEC Benchmark Workshop (2009 : Austin, Tex.)
Rating:
Electronic Resources
More...
13
1994
Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings
Rating:
Electronic Resources
Add Marked to Bag
Add All On Page
Locate in results
Return to Browse
Limit/Sort Search