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
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
Cover image for Magic Graphs
Magic Graphs
Author 
Marr, Alison M. author. Wallis, W.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330566.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8391-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Moon Bound Choosing and Preparing NASA's Lunar Astronauts
Moon Bound Choosing and Preparing NASA's Lunar Astronauts
Author 
Burgess, Colin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331385.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3855-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Electronics for Guitarists
Electronics for Guitarists
Author 
Dailey, Denton J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331425.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4087-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
Cover image for Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Author 
Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33789-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action