Limit Search Results
Author
Language
Publication Date
-
Subject
Software engineering.
(4)
Computer science.
(3)
Artificial intelligence.
(2)
Computer Communication Networks.
(2)
Computer system performance.
(2)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
Print
13. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Handbook of digital human modeling : research for applied ergonomics and human factors engineering
Handbook of digital human modeling : research for applied ergonomics and human factors engineering
Author 
Duffy, Vincent G.
Preferred Shelf Number 
TA166 .H2735 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Reconfigurable system design and verification
Reconfigurable system design and verification
Author 
Hsiung, Pao-Ann, author. Huang, Chun-Hsian. Santambrogio, Marco D. (Marco Domenico)
Preferred Shelf Number 
TK7895 .E42 H79 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Pharmaceutical process validation
Pharmaceutical process validation
Author 
Berry, Ira R., 1942- Nash, Robert A., 1930-
Preferred Shelf Number 
RS189 .P46 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: