Refine your search
Availability
-
Authors
- Alur, Rajeev (1)
- Ashenden, Peter J. (1)
- Friedland, Bernard (1)
- Laplante, Phillip A. (1)
- Larman, Craig (1)
- Mehta, Dinesh P. (1)
- Sahni, Sartaj (1)
- Senturia, Stephen D. (1)
- Wolf, Marilyn (1)
- Show more
- Show less
-
Collections
- Course Reserves (4)
-
Holding libraries
-
Item types
- Book (3)
- Course Reserves (4)
- TextBook (5)
-
Locations
- Course Reserve (4)
-
Series
-
Topics
- Automatic control (2)
- Control theory (1)
- Data structures (Com... (1)
- Embedded computer sy... (2)
- Embedded internet de... (1)
- Formal methods (Comp... (1)
- Internet of things (1)
- Microelectromechanic... (1)
- Microelectronics (1)
- Object-oriented meth... (1)
- Real-time data proce... (1)
- State-space methods (1)
- System analysis (1)
- System design (7)
- System Design (1)
- UML (Computer scienc... (1)
- Verilog (Computer ha... (1)
- Show more
- Show less