Limit Search Results
Author
SpringerLink (Online service)
(689)
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.
(109)
Mathematical optimization.
(70)
Numerical analysis.
(64)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
701 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theoretical Computer Science
Theoretical Computer Science
Author 
Preparata, F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11120-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer science mathematics
Computer science mathematics
Author 
Spencer, Donald D.
Preferred Shelf Number 
QA 39.2 S6 1976
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Fete of Combinatorics and Computer Science
Fete of Combinatorics and Computer Science
Author 
Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13580-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Building Bridges Between Mathematics and Computer Science
Building Bridges Between Mathematics and Computer Science
Author 
Grötschel, Martin. editor. Katona, Gyula O. H. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85221-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Geometric Methods and Applications For Computer Science and Engineering
Geometric Methods and Applications For Computer Science and Engineering
Author 
Gallier, Jean. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9961-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31262-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Select an Action