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
Modify 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
14 results found.
sorted by date
.
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Keywords (1-14 of 14)
1
2008
Numerical geometry of non-rigid shapes
Bronstein, Alexander M.
Rating:
Electronic Resources
More...
2
2006
Software configuration management using Vesta
Rating:
Electronic Resources
More...
3
2005
Geometric fundamentals of robotics
Selig, J. M.
Second edition
New York : Springer, 2005
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
629.892 Sel/Gfo 2005
AVAILABLE
4
2005
Abstraction, refinement and proof for probabilistic systems
McIver, Annabelle.
New York : Springer, [2005]
Rating:
Request It
Location
Call no.
Vol.
Availability
W'BOOL
005.1 Mci/Ara
AVAILABLE
5
2005
Reverse engineering of object oriented code
Tonella, Paolo.
New York, NY ; [Great Britain] : Springer, [2005]
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
005.117 Ton/Reo
AVAILABLE
6
2005
Adapting proofs-as-programs : the Curry-Howard protocol
Poernomo, Iman Hafiz, 1976-
Rating:
Electronic Resources
More...
7
2005
Abstraction, refinement and proof for probabilistic systems
McIver, Annabelle.
Rating:
Electronic Resources
More...
8
2005
Evolutionary synthesis of pattern recognition systems
Bhanu, Bir
Rating:
Electronic Resources
More...
9
2005
Geometric fundamentals of robotics
Selig, J. M
2nd ed
Rating:
Electronic Resources
More...
10
2005
Parsing techniques : a practical guide
Grune, Dick, 1939-
2nd ed
Rating:
Electronic Resources
More...
11
2005
Super-recursive algorithms
Burgin, M. S. (Mark Semenovich)
Rating:
Electronic Resources
More...
12
2005
Reverse engineering of object oriented code
Tonella, Paolo.
Rating:
Electronic Resources
More...
13
2004
High performance discovery in time series : techniques and case studies
Shasha, Dennis Elliott.
New York : Springer, [2004]
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
519.55 Sha/Hpd
AVAILABLE
14
2003
Programming methodology
New York : Springer, 2003
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
005.1 Mci/Pme
AVAILABLE
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Modify Search