Limit Search Results
Author
SpringerLink (Online service)
(45)
Qing, Sihan. editor.
(2)
Sung, Wing-Kin. editor.
(2)
Alistarh, Dan. editor.
(1)
Alonso, Sergio. editor. (orcid)0000-0001-6620-328X
(1)
Language
Publication Date
-
2018
(45)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
45 Results Found Subscribe to search results
000000000DEFAULT
Print
37. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Author 
Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77449-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77553-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
Author 
Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78455-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Author 
Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings
Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings
Author 
Chakraborty, Debrup. editor. (orcid)0000-0001-5179-1971 Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05378-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
Author 
Meiklejohn, Sarah. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58387-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings
Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings
Author 
Herrera, Francisco. editor. (orcid)0000-0002-7283-312X Damas, Sergio. editor. (orcid)0000-0002-8377-8349 Montes, Rosana. editor. (orcid)0000-0002-0183-044X Alonso, Sergio. editor. (orcid)0000-0001-6620-328X Cordón, Óscar. editor. (orcid)0000-0001-5112-5629
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action