Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Author 
Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Numerical Approximation of Exact Controls for Waves
Numerical Approximation of Exact Controls for Waves
Author 
Ervedoza, Sylvain. author. Zuazua, Enrique. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331869.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5808-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The BOXES Methodology Black Box Dynamic Control
The BOXES Methodology Black Box Dynamic Control
Author 
Russell, David W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-528-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Game Theory for Control of Optical Networks
Game Theory for Control of Optical Networks
Author 
Pavel, Lacra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8322-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms
Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms
Author 
Fomichov A., Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for System Identification with Quantized Observations
System Identification with Quantized Observations
Author 
Wang, Le Yi. author. Yin, G. George. author. Zhang, Ji-Feng. author. Zhao, Yanlong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4956-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Randomized Algorithms for Analysis and Control of Uncertain Systems
Randomized Algorithms for Analysis and Control of Uncertain Systems
Author 
Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137802
Format: 
Availability 
Online Library~1
Available:
Copies: