Limit Search Results
Author
SpringerLink (Online service)
(601)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Wiley InterScience (Online service)
(7)
Apduhan, Bernady O. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(187)
Artificial intelligence.
(152)
Computer software.
(143)
Computational complexity.
(116)
Mathematics.
(102)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
696 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings
Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings
Author 
Feld, Sebastian. editor. Linnhoff-Popien, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14082-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Machine Learning, Optimization, and Data Science 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers
Machine Learning, Optimization, and Data Science 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. (orcid)0000-0001-5490-779X Umeton, Renato. editor. (orcid)0000-0002-5561-6932 Sciacca, Vincenzo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
Author 
Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 Goodman, Erik. editor. Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X Klamroth, Kathrin. editor. Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12598-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Author 
Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21733-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for An Introduction to Kolmogorov Complexity and Its Applications
An Introduction to Kolmogorov Complexity and Its Applications
Author 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11298-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Author 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27538-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Author 
Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Author 
Avrachenkov, Konstantin. editor. Prałat, Paweł. editor. Ye, Nan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25070-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Author 
Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action