Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Computational Optimization of Internal Combustion Engines
Computational Optimization of Internal Combustion Engines
Author 
Shi, Yu. author. Ge, Hai-Wen. author. Reitz, Rolf D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-619-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Introduction to Video Search Engines
Introduction to Video Search Engines
Author 
Gibbon, David C. author. Liu, Zhu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79337-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Author 
Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332858.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Author 
Herde, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9949-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information Access through Search Engines and Digital Libraries
Information Access through Search Engines and Digital Libraries
Author 
Agosti, Maristella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75134-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Author 
Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42019-6
Format: 
Availability 
Online Library~1
Available:
Copies: