Limit Search Results
Author
SpringerLink (Online service)
(1517)
Apduhan, Bernady O. editor.
(22)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(17)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(17)
Language
Publication Date
-
2013
(488)
2015
(155)
2019
(153)
2014
(148)
2018
(144)
Subject
Science (General).
(530)
Computer science.
(321)
Artificial intelligence.
(234)
Computer Science, general.
(199)
Software engineering.
(172)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1621 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Author 
Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16692-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Author 
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20981-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Author 
Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Author 
Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17953-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings
Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings
Author 
Archambault, Daniel. editor. (orcid)0000-0003-4978-8479 Tóth, Csaba D. editor. (orcid)0000-0002-8769-3190 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35802-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings
Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings
Author 
Colbourn, Charles J. editor. Grossi, Roberto. editor. Pisanti, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25005-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
Author 
Friggstad, Zachary. editor. Sack, Jörg-Rüdiger. editor. Salavatipour, Mohammad R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24766-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Author 
Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
Author 
Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-59620-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author 
Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30923-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10632-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action