Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Author 
Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780815513629
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Neural network learning and expert systems
Neural network learning and expert systems
Author 
Gallant, Stephen I.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267393
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Learning in embedded systems
Learning in embedded systems
Author 
Kaelbling, Leslie Pack.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267472
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Robotics, mechatronics and manufacturing systems transactions of the IMACS/SICE International Symposium on Robotics, Mechatronics, and Manufacturing Systems, Kobe, Japan, 16-20 September, 1992
Robotics, mechatronics and manufacturing systems transactions of the IMACS/SICE International Symposium on Robotics, Mechatronics, and Manufacturing Systems, Kobe, Japan, 16-20 September, 1992
Author 
IMACS/SICE International Symposium on Robotics, Mechatronics, and Manufacturing Systems (1992 : Kōbe-shi, Japan) Takamori, Toshi, 1940- Tsuchiya, Kazuo, 1943- International Association for Mathematics and Computers in Simulation. Keisoku Jidō Seigyo Gakkai (Japan)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444897008
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Intelligent software for chemical analysis
Intelligent software for chemical analysis
Author 
Buydens, L., 1955- Schoenmakers, Peter J.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444892072
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computers as theatre
Computers as theatre
Author 
Laurel, Brenda.
Preferred Shelf Number 
QA76.9.H85 L38 1993
Format: 
Availability 
Beytepe Library~1
Available:
Copies: