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
149 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 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:
3. 
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:
4. 
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:
5. 
Cover image for The Soyuz Launch Vehicle The Two Lives of an Engineering Triumph
The Soyuz Launch Vehicle The Two Lives of an Engineering Triumph
Author 
Lardier, Christian. author. Barensky, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331778.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5459-5
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 A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis
A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis
Author 
Corless, Robert M. author. Fillion, Nicolas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332417.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8453-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Ramsey Theory for Discrete Structures
Ramsey Theory for Discrete Structures
Author 
Prömel, Hans Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332857.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01315-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Author 
Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03898-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action