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
13. 
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:
14. 
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:
15. 
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:
16. 
Cover image for Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Author 
Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059 Brady, Edwin. editor. (orcid)0000-0002-9734-367X Kohlhase, Andrea. editor. Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23250-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.3)
World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.3)
Author 
Lhotska, Lenka. editor. Sukupova, Lucie. editor. Lacković, Igor. editor. Ibbott, Geoffrey S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-9023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
Author 
Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14984-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
Cover image for Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers
Agents and Artificial Intelligence 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers
Author 
van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Steels, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37494-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.1)
World Congress on Medical Physics and Biomedical Engineering 2018 June 3-8, 2018, Prague, Czech Republic (Vol.1)
Author 
Lhotska, Lenka. editor. Sukupova, Lucie. editor. Lacković, Igor. editor. Ibbott, Geoffrey S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-9035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 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
Programming Languages and Systems 28th European Symposium on Programming, ESOP 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 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action