Login to ask the library to add a book.
|
|
Active Filter Settings
No Active Filters
|
|
|
|
first record
| previous record
| next record
| last record
|
full | marc
|
|
Record 1 of 1
|
You searched IISERK - Title: [Widescreen].
Tag |
In 1 |
In 2 |
Data |
001 | | | vtls000016154 |
003 | | | IISER-K |
005 | | | 20140514154900.0 |
007 | | | cr nn 008mamaa |
008 | | | 111213s2009 xx s j eng d |
020 | | | \a 9781441902245 |
039 | | 9 | \a 201405141549 \b VLOAD \y 201112131605 \z VLOAD |
100 | 1 | | \a Tabuada, Paulo. |
245 | 1 | 0 | \a Verification and Control of Hybrid Systems \h [electronic resource] : \b A Symbolic Approach / \c by Paulo Tabuada. |
260 | | | \a Boston, MA : \b Springer-Verlag US, \c 2009. |
300 | | | \b v.: digital |
650 | | 0 | \a Mathematics |
650 | | 0 | \a Computer science |
650 | | 0 | \a Systems theory |
650 | 1 | 4 | \a Mathematics |
650 | 2 | 4 | \a Mathematical Logic and Formal Languages |
650 | 2 | 4 | \a Models and Principles |
650 | 2 | 4 | \a Control |
650 | 2 | 4 | \a Systems Theory, Control |
710 | 2 | | \a SpringerLink (Online service) |
773 | 0 | | \t Springer eBooks |
856 | 4 | 0 | \u http://dx.doi.org/10.1007/978-1-4419-0224-5 \y Click here to view the Springer eBook |
912 | | | \a ZDB-2-SMA |
950 | | | \a Mathematics and Statistics (Springer-11649) |
|
|
|
|