Limit Search Results
Author
SpringerLink (Online service)
(82)
Pichler, Franz. editor.
(7)
Moreno-Díaz, Roberto. editor.
(5)
Quesada-Arencibia, Alexis. editor.
(5)
Wojtkowski, Wita. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(29)
Systems theory.
(25)
Logic design.
(24)
Artificial intelligence.
(22)
Mathematics.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Verification and Control of Hybrid Systems A Symbolic Approach
Verification and Control of Hybrid Systems A Symbolic Approach
Author 
Tabuada, Paulo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0224-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Model Order Reduction: Theory, Research Aspects and Applications
Model Order Reduction: Theory, Research Aspects and Applications
Author 
Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Optimierungsmethoden Eine Einführung
Optimierungsmethoden Eine Einführung
Author 
Jungnickel, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76790-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Sense of Touch and its Rendering Progress in Haptics Research
The Sense of Touch and its Rendering Progress in Haptics Research
Author 
Bicchi, Antonio. editor. Buss, Martin. editor. Ernst, Marc O. editor. Peer, Angelika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79035-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Théorie élémentaire et pratique de la commande par les régimes glissants
Théorie élémentaire et pratique de la commande par les régimes glissants
Author 
Lopez, Pierre. author. Nouri, Ahmed Saïd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34480-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Fuzzy Modeling and Fuzzy Control
Fuzzy Modeling and Fuzzy Control
Author 
Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions
Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions
Author 
Nejat Ince, A. editor. Topuz, Ercan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34167-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Linear Systems
Linear Systems
Author 
Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4435-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach
Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach
Author 
Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4465-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Numerical Methods for General and Structured Eigenvalue Problems
Numerical Methods for General and Structured Eigenvalue Problems
Author 
Kressner, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28502-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Author 
David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138130
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Handbook of Combinatorial Optimization Supplement Volume B
Handbook of Combinatorial Optimization Supplement Volume B
Author 
Du, Ding-Zhu. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102533
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action