Limit Search Results
Author
SpringerLink (Online service)
(257)
Coron, Jean-Sébastien. editor.
(5)
Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670
(4)
Blockeel, Hendrik. editor.
(3)
Chen, Yong. editor.
(3)
Language
English
(262)
Publication Date
-
Subject
Discrete Mathematics in Computer Science.
(250)
Computer science -- Mathematics.
(169)
Discrete mathematics.
(168)
Computer science.
(141)
Algorithms.
(128)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
262 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithms for Computational Biology 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings
Algorithms for Computational Biology 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings
Author 
Figueiredo, Daniel. editor. Martín-Vide, Carlos. editor. Pratas, Diogo. editor. Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58163-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatorial Optimization and Graph Algorithms Communications of NII Shonan Meetings
Combinatorial Optimization and Graph Algorithms Communications of NII Shonan Meetings
Author 
Fukunaga, Takuro. editor. Kawarabayashi, Ken-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
Author 
Fernández Anta, Antonio. editor. Jurdzinski, Tomasz. editor. Mosteiro, Miguel A. editor. Zhang, Yanyong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72751-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
Author 
Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71649-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Description Logics in Multimedia Reasoning
Description Logics in Multimedia Reasoning
Author 
Sikos, Leslie F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54066-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
Author 
Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66799-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Author 
Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
Author 
Gaur, Daya. editor. Narayanaswamy, N.S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
Author 
Fotakis, Dimitris. editor. Pagourtzis, Aris. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57586-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Author 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action