Limit Search Results
Author
Pala, Karel. editor.
(7)
Kopeček, Ivan. editor.
(6)
Matoušek, Václav. editor.
(6)
Sojka, Petr. editor.
(6)
Dongarra, Jack J. editor.
(5)
Language
English
(148)
Publication Date
-
Subject
Computer science.
(87)
Artificial intelligence.
(63)
Software engineering.
(41)
Computer Communication Networks.
(29)
Information systems.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521095.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV
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(521015.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36027-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II
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(521019.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36021-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I
Computational Science - ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I
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(521399.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35995-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520836.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29956-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Genetic Programming 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Genetic Programming 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Pappa, Gisele. editor. Giacobini, Mario. editor. Vasicek, Zdenek. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520915.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29573-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action