Limit Search Results
Author
SpringerLink (Online service)
(166)
Project Muse.
(77)
Platon.
(12)
Wiley InterScience (Online service)
(9)
Pala, Karel. editor.
(7)
Language
Publication Date
-
Subject
Computer science.
(87)
Artificial intelligence.
(65)
Software engineering.
(43)
Computer Communication Networks.
(29)
Information systems.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
719 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Author 
Sattler, Uli. editor. Suda, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521141.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43369-6
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Modelling and Simulation for Autonomous Systems 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers
Modelling and Simulation for Autonomous Systems 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers
Author 
Mazal, Jan. editor. (orcid) Fagiolini, Adriano. editor. (orcid) Vašík, Petr. editor. (orcid) Bruzzone, Agostino. editor. Pickl, Stefan. editor. (orcid)
Preferred Shelf Number 
XX(521292.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31268-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Applications of Evolutionary Computation 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Applications of Evolutionary Computation 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Correia, João. editor. Smith, Stephen. editor. Qaddoura, Raneem. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520932.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30229-9
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Pérez Cáceres, Leslie. editor. Stützle, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520921.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part III
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part III
Author 
Mikyška, Jiří. editor. de Mulatier, Clélia. editor. (orcid) Paszynski, Maciej. editor. (orcid) Krzhizhanovskaya, Valeria V. editor. Dongarra, Jack J. editor.
Preferred Shelf Number 
XX(521005.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36024-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V
Author 
Mikyška, Jiří. editor. de Mulatier, Clélia. editor. (orcid) Paszynski, Maciej. editor. (orcid) Krzhizhanovskaya, Valeria V. editor. Dongarra, Jack J. editor.
Preferred Shelf Number 
XX(521008.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36030-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Text, Speech, and Dialogue 26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4-6, 2023, Proceedings
Text, Speech, and Dialogue 26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4-6, 2023, Proceedings
Author 
Ekštein, Kamil. editor. Pártl, František. editor. Konopík, Miloslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521113.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Research and Practical Issues of Enterprise Information Systems 13th IFIP WG 8.9 International Conference, CONFENIS 2019, Prague, Czech Republic, December 16–17, 2019, Proceedings
Research and Practical Issues of Enterprise Information Systems 13th IFIP WG 8.9 International Conference, CONFENIS 2019, Prague, Czech Republic, December 16–17, 2019, Proceedings
Author 
Doucek, Petr. editor. (orcid)0000-0002-5647-661X Basl, Josef. editor. Tjoa, A Min. editor. Raffai, Maria. editor. (orcid)0000-0001-6934-6366 Pavlicek, Antonin. editor. (orcid)0000-0002-1230-5982
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37632-1
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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 II
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 II
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-17465-1
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Principles of Security and Trust 8th International Conference, POST 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
Principles of Security and Trust 8th International Conference, POST 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
Author 
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17138-4
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Mobile Internet Security Second International Symposium, MobiSec 2017, Jeju Island, Republic of Korea, October 19–22, 2017, Revised Selected Papers
Mobile Internet Security Second International Symposium, MobiSec 2017, Jeju Island, Republic of Korea, October 19–22, 2017, Revised Selected Papers
Author 
You, Ilsun. editor. (orcid)0000-0002-0604-3445 Chen, Hsing-Chung. editor. Sharma, Vishal. editor. Kotenko, Igor. editor. (orcid)0000-0001-6859-7120 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3732-1
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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
Author 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action