Logical analysis of hybrid systems : providing theorems for complex dynamics
By: Platzer, Andre.
Material type:
BookPublisher: Heidelberg Springer 2010Description: xxx, 426p.ISBN: 9783642145087.Subject(s): ProgrammingDDC classification: 005.39 | P698l
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 005.39 P698l (Browse shelf) | Available | A171569 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 005.369 M317w Working in microsoft office | 005.369 M852M2 MASTERING MICROSOFT OFFICE 97 | 005.37 So43 Programming computer vision with python | 005.39 P698l Logical analysis of hybrid systems | 005.4 M72 MODERN COMPILER DESIGN | 005.42 H194G GUIDE TO ELLIPTIC CURVE CRYPTOGRAPHY | 005.426 G347P PRACTICAL FILE SYSTEM DESIGN |
There are no comments for this item.