Limit Search Results
Author
SpringerLink (Online service)
(28)
Alpern, Steve. editor.
(1)
Amidror, Isaac. author.
(1)
Andrei, Neculai. author.
(1)
Ansorge, Rainer. editor.
(1)
Language
Publication Date
-
2013
(28)
Subject
Computer science.
(28)
Math Applications in Computer Science.
(28)
Mathematics.
(10)
Computational complexity.
(9)
Discrete Mathematics in Computer Science.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
Author 
Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Author 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Author 
Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334573.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38279-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
Author 
Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38294-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Author 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334549.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Graph Theory with Algorithms and its Applications In Applied Science and Technology
Graph Theory with Algorithms and its Applications In Applied Science and Technology
Author 
Saha Ray, Santanu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335456.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0750-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012
Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012
Author 
Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Nonlinear Optimization Applications Using the GAMS Technology
Nonlinear Optimization Applications Using the GAMS Technology
Author 
Andrei, Neculai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Search Theory A Game Theoretic Perspective
Search Theory A Game Theoretic Perspective
Author 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Preferred Shelf Number 
ONLINE(332129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
Cover image for Space-Filling Curves An Introduction with Applications in Scientific Computing
Space-Filling Curves An Introduction with Applications in Scientific Computing
Author 
Bader, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333387.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31046-1
Format: 
Availability 
Online Library~1
Available:
Copies: