Limit Search Results
Author
SpringerLink (Online service)
(33)
Resch, Michael M. editor.
(3)
Bez, Wolfgang. editor.
(2)
Focht, Erich. editor.
(2)
Kobayashi, Hiroaki. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(19)
Mathematical Applications in Computer Science.
(12)
Applications of Mathematics.
(11)
Math Applications in Computer Science.
(10)
Computational Science and Engineering.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra
Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra
Author 
Seiler, Werner M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01287-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Handbook of Computer Architecture
Handbook of Computer Architecture
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9314-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Foundations of Soft Logic
Foundations of Soft Logic
Author 
Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58233-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Graph-Based Modelling in Engineering
Graph-Based Modelling in Engineering
Author 
Zawiślak, Stanisław. editor. Rysiński, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39020-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Linear and Integer Programming Made Easy
Linear and Integer Programming Made Easy
Author 
Hu, T. C. author. Kahng, Andrew B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24001-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Riemannian Computing in Computer Vision
Riemannian Computing in Computer Vision
Author 
Turaga, Pavan K. editor. Srivastava, Anuj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22957-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computational Radiology for Orthopaedic Interventions
Computational Radiology for Orthopaedic Interventions
Author 
Zheng, Guoyan. editor. Li, Shuo. editor. (orcid)0000-0002-5184-3230 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23482-3
Format: 
Availability 
Online Library~1
Available:
Copies: