Limit Search Results
Author
SpringerLink (Online service)
(141)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Language
Subject
Computer science.
(95)
Computational complexity.
(84)
Discrete Mathematics in Computer Science.
(84)
Computer software.
(56)
Algorithm Analysis and Problem Complexity.
(55)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Modelling Computing Systems Mathematics for Computer Science
Modelling Computing Systems Mathematics for Computer Science
Author 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332574.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Concise Computer Mathematics Tutorials on Theory and Problems
Concise Computer Mathematics Tutorials on Theory and Problems
Author 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332887.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Derivative Securities and Difference Methods
Derivative Securities and Difference Methods
Author 
Zhu, You-lan. author. Wu, Xiaonan. author. Chern, I-Liang. author. Sun, Zhi-zhong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332257.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7306-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques
Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques
Author 
Constanda, Christian. editor. Bodmann, Bardo E.J. editor. Velho, Haroldo F. de Campos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7828-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Control and Optimization with PDE Constraints
Control and Optimization with PDE Constraints
Author 
Bredies, Kristian. editor. Clason, Christian. editor. Kunisch, Karl. editor. Winckel, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332643.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0631-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Numerical Simulation of Distributed Parameter Processes
Numerical Simulation of Distributed Parameter Processes
Author 
Colosi, Tiberiu. author. Abrudean, Mihail-Ioan. author. Unguresan, Mihaela-Ligia. author. Muresan, Vlad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00014-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Level Set and PDE Based Reconstruction Methods in Imaging Cetraro, Italy 2008, Editors: Martin Burger, Stanley Osher
Level Set and PDE Based Reconstruction Methods in Imaging Cetraro, Italy 2008, Editors: Martin Burger, Stanley Osher
Author 
Burger, Martin. author. Mennucci, Andrea C.G. author. Osher, Stanley. author. Rumpf, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332886.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01712-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Author 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Celestial Messengers Cosmic Rays: The Story of a Scientific Adventure
Celestial Messengers Cosmic Rays: The Story of a Scientific Adventure
Author 
Bertolotti, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28371-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action