Limit Search Results
Author
SpringerLink (Online service)
(56)
Barneva, Reneta P. editor.
(3)
Blum, Christian. editor.
(2)
Brimkov, Valentin E. editor.
(2)
Dimov, Ivan. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(46)
Computer software.
(40)
Computational complexity.
(30)
Numeric Computing.
(29)
Algorithm Analysis and Problem Complexity.
(28)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
62 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Author 
Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02094-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
Author 
Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Author 
Simon, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
Author 
Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78275-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings
Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings
Author 
Reulke, Ralf. editor. Eckardt, Ulrich. editor. Flach, Boris. editor. Knauer, Uwe. editor. Polthier, Konrad. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11774938
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
Author 
Klette, Reinhard. editor. Žunić, Joviša. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103936
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers
Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers
Author 
Li, Zhilin. editor. Vulkov, Lubin. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106395
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Introduction to data technologies
Introduction to data technologies
Author 
Murrell, Paul., author.
Preferred Shelf Number 
QA76 .M894 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Handbook of computational sciences : a multi and interdisciplinary approach
Handbook of computational sciences : a multi and interdisciplinary approach
Author 
Elngar, Ahmed A., editor.
Preferred Shelf Number 
QA76 .H36 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Informatics and machine learning : from Martingales to metaheuristics
Informatics and machine learning : from Martingales to metaheuristics
Author 
Winters-Hilt, Stephen, author.
Preferred Shelf Number 
Q325.5 .W558 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for A general introduction to data analytics
A general introduction to data analytics
Author 
Moreira, João, 1969- author. Carvalho, André Carlos Ponce de Leon Ferreira, author. Horváth, Tomáš, 1976- author.
Preferred Shelf Number 
QA276.4 .M664 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119296294
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action