Limit Search Results
Author
SpringerLink (Online service)
(20)
Dhillon, B. S. (Balbir S.), 1947-
(2)
O'Regan, Gerard. author.
(2)
Takayama, Nobuki. editor.
(2)
Adler, Aaron. editor.
(1)
Language
Publication Date
-
Subject
Computer software.
(9)
Mathematical Software.
(7)
Computer science.
(6)
Mathematics.
(6)
Computational complexity.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for The Impact of Pen and Touch Technology on Education
The Impact of Pen and Touch Technology on Education
Author 
Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518440.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15594-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Bayesian networks for probabilistic inference and decision analysis in forensic science
Bayesian networks for probabilistic inference and decision analysis in forensic science
Author 
Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.
Preferred Shelf Number 
ONLINE(342015.1)
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/9781118914762
Wiley Online Library http://onlinelibrary.wiley.com/book/10.1002/9781118914762
Volltext http://proquest.tech.safaribooksonline.de/9781118914748
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Safety and human error in engineering systems
Safety and human error in engineering systems
Author 
Dhillon, B. S. (Balbir S.), 1947-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
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:
19. 
Cover image for Visual Mathematics and Cyberlearning
Visual Mathematics and Cyberlearning
Author 
Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2321-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Introduction to Global Optimization Exploiting Space-Filling Curves
Introduction to Global Optimization Exploiting Space-Filling Curves
Author 
Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332385.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8042-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Author 
Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332481.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
Author 
Hegedus, Stephen J. editor. Roschelle, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer system reliability safety and usability
Computer system reliability safety and usability
Author 
Dhillon, B. S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: