Limit Search Results
Author
SpringerLink (Online service)
(460)
Ozawa, Seiichi. editor.
(11)
Cheng, Long. editor. (orcid)0000-0001-7565-8788
(7)
Leung, Andrew Chi Sing. editor.
(7)
Doya, Kenji. editor.
(4)
Language
Publication Date
-
Subject
Computer Science, general.
(199)
Artificial intelligence.
(146)
Software engineering.
(134)
Theory of Computation.
(91)
Algorithms.
(81)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
461 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III
Author 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04182-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Author 
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02508-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Author 
Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73721-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Author 
Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Author 
Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02149-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Author 
Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action