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
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 Performance modeling and design of computer systems : queueing theory in action
Performance modeling and design of computer systems : queueing theory in action
Author 
Harchol-Balter, Mor, 1966- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508924
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Invisible in the storm : the role of mathematics in understanding weather
Invisible in the storm : the role of mathematics in understanding weather
Author 
Roulstone, Ian. Norbury, John, 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1r2dvw
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The golden ticket : P, NP, and the search for the impossible
The golden ticket : P, NP, and the search for the impossible
Author 
Fortnow, Lance, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hpm0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Preventive Biomechanics Optimizing Support Systems for the Human Body in the Lying and Sitting Position
Preventive Biomechanics Optimizing Support Systems for the Human Body in the Lying and Sitting Position
Author 
Silber, Gerhard. author. Then, Christophe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29003-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Green's Functions and Finite Elements
Green's Functions and Finite Elements
Author 
Hartmann, Friedel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333244.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29523-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Encyclopedia of Distances
Encyclopedia of Distances
Author 
Deza, Michel Marie. author. Deza, Elena. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333375.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30958-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Combinatorics Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011
Advances in Combinatorics Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011
Author 
Kotsireas, Ilias S. editor. Zima, Eugene V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333378.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30979-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Finite Element Method: Theory, Implementation, and Applications
The Finite Element Method: Theory, Implementation, and Applications
Author 
Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33287-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets