Limit Search Results
Author
SpringerLink (Online service)
(61)
Li, Jin. editor.
(4)
Vaidya, Jaideep. editor.
(4)
Hammer, Barbara. editor.
(3)
Iliadis, Lazaros. editor.
(3)
Language
Publication Date
-
2018
(61)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
61 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Author 
Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00256-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Author 
Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04618-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99253-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
Author 
Biedl, Therese. editor. (orcid)0000-0002-9003-3783 Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04414-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
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:
32. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99259-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Author 
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77313-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Author 
van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Author 
Chellappan, Sriram. editor. Cheng, Wei. editor. Li, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94268-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action