Limit Search Results
Author
SpringerLink (Online service)
(293)
Wiley InterScience (Online service)
(14)
Barlotti, A. (Adriano), 1923-
(5)
Coron, Jean-Sébastien. editor.
(5)
Johnsonbaugh, Richard.
(5)
Language
Publication Date
-
Subject
Discrete Mathematics in Computer Science.
(250)
Computer science -- Mathematics.
(191)
Discrete mathematics.
(176)
Computer science.
(147)
Algorithms.
(138)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
503 Results Found Subscribe to search results
000000000000DEFAULT
Print
313. 
Cover image for Privately and Publicly Verifiable Computing Techniques A Survey
Privately and Publicly Verifiable Computing Techniques A Survey
Author 
Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
Author 
Wu, Guorong. editor. Laurienti, Paul. editor. Bonilha, Leonardo. editor. Munsell, Brent C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67159-8
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Author 
Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers
Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers
Author 
Phan, Raphaël C.-W. editor. Yung, Moti. editor. (orcid)0000-0003-0848-0873 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61273-7
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Author 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Author 
Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55665-8
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
Author 
Guilley, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64647-3
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Basic Graph Theory
Basic Graph Theory
Author 
Rahman, Md. Saidur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49475-3
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
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:
322. 
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:
323. 
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:
324. 
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:
Select an Action