Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
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 E-CARGO and role-based collaboration : modeling and solving problems in the complex world
E-CARGO and role-based collaboration : modeling and solving problems in the complex world
Author 
Zhu, Haibin, author.
Preferred Shelf Number 
HD30.29 .Z48 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119693123
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Optimal estimation of dynamic systems
Optimal estimation of dynamic systems
Author 
Crassidis, John L., author. Junkins, John L.
Preferred Shelf Number 
QA402 .C73 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Optimal estimation of dynamic systems
Optimal estimation of dynamic systems
Author 
Crassidis, John L., author. Junkins, John L.
Preferred Shelf Number 
QA402 .C73 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Power system analysis : short-circuit load flow and harmonics
Power system analysis : short-circuit load flow and harmonics
Author 
Das, J. C., 1934- author.
Preferred Shelf Number 
TK1005 .D374 2002 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429221477
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies: