Limit Search Results
Author
SpringerLink (Online service)
(851)
Quarteroni, Alfio. author.
(19)
Resch, Michael. editor.
(11)
Saleri, Fausto. author.
(11)
Nagel, Wolfgang E. editor.
(10)
Language
Publication Date
-
Subject
Computer science.
(458)
Computer science -- Mathematics.
(288)
Engineering mathematics.
(135)
Engineering.
(95)
Mathematical optimization.
(91)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
870 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Discrete mathematics : A bridge to computer science and advanced mathematics
Discrete mathematics : A bridge to computer science and advanced mathematics
Author 
Nicodemi, Olympia.
Preferred Shelf Number 
QA 39.2 N55 1987
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
38. 
Cover image for Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Author 
Steimle, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20276-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Geometric Fundamentals of Robotics
Geometric Fundamentals of Robotics
Author 
Selig, J. M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138859
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for An Introduction to Distance Geometry applied to Molecular Geometry
An Introduction to Distance Geometry applied to Molecular Geometry
Author 
Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57183-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for 3000 Jahre Analysis Geschichte, Kulturen, Menschen
3000 Jahre Analysis Geschichte, Kulturen, Menschen
Author 
Sonar, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17204-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for 5000 Jahre Geometrie Geschichte, Kulturen, Menschen
5000 Jahre Geometrie Geschichte, Kulturen, Menschen
Author 
Scriba, Christoph J. author. Schreiber, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02362-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for 5000 Jahre Geometrie Geschichte Kulturen Menschen
5000 Jahre Geometrie Geschichte Kulturen Menschen
Author 
Scriba, Christoph J. author. Schreiber, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138729
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Author 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action