Limit Search Results
Author
SpringerLink (Online service)
(90)
Forst, Wilhelm. author.
(3)
Hoffmann, Dieter. author.
(3)
Schwenkert, Rainer. author.
(3)
Stry, Yvonne. author.
(3)
Language
Publication Date
-
Subject
Numerical analysis.
(43)
Computer science—Mathematics.
(25)
Artificial intelligence.
(21)
Computer science.
(17)
Mathematics.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
110 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Advances in Intelligent Data Analysis XIII 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings
Advances in Intelligent Data Analysis XIII 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings
Author 
Blockeel, Hendrik. editor. van Leeuwen, Matthijs. editor. Vinciotti, Veronica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Author 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10175-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Author 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings
Author 
Bayro-Corrochano, Eduardo. editor. Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12568-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Recent Advances in Harmonic Analysis and Applications In Honor of Konstantin Oskolkov
Recent Advances in Harmonic Analysis and Applications In Honor of Konstantin Oskolkov
Author 
Bilyk, Dmitriy. editor. De Carli, Laura. editor. Petukhov, Alexander. editor. Stokolos, Alexander M. editor. Wick, Brett D. editor.
Preferred Shelf Number 
ONLINE(331536.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4565-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Topological Methods in Data Analysis and Visualization II Theory, Algorithms, and Applications
Topological Methods in Data Analysis and Visualization II Theory, Algorithms, and Applications
Author 
Peikert, Ronald. editor. Hauser, Helwig. editor. Carr, Hamish. editor. Fuchs, Raphael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23175-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Convex Analysis and Monotone Operator Theory in Hilbert Spaces
Convex Analysis and Monotone Operator Theory in Hilbert Spaces
Author 
Bauschke, Heinz H. author. Combettes, Patrick L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9467-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Analysis and design of algorithms : A strategic approach
Analysis and design of algorithms : A strategic approach
Author 
Bikku, Thulasi Vijayakrishna
Preferred Shelf Number 
QA76.6 B55 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for Experimental Methods for the Analysis of Optimization Algorithms
Experimental Methods for the Analysis of Optimization Algorithms
Author 
Bartz-Beielstein, Thomas. editor. Chiarandini, Marco. editor. Paquete, Luís. editor. Preuss, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02538-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action