Limit Search Results
Author
SpringerLink (Online service)
(23)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Heule, Marijn. editor. (orcid)0000-0002-5587-8801
(3)
Bryson, J. R., 1963-
(2)
Daniel, Florian. editor.
(2)
Language
Publication Date
-
Subject
Competition, International.
(26)
Software engineering.
(11)
Computer science.
(8)
Artificial intelligence.
(7)
Theory of Computation.
(7)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Techno-nationalism : how it's reshaping trade, geopolitics and society
Techno-nationalism : how it's reshaping trade, geopolitics and society
Author 
Capri, Alex, author.
Preferred Shelf Number 
HC79 .T4 C37 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119766193
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for RoboCup 2024: Robot World Cup XXVII
RoboCup 2024: Robot World Cup XXVII
Author 
Barros, Edna. editor. (orcid)0000-0001-6479-3052 Hanna, Josiah P. editor. (orcid)0000-0002-7411-0398 Okada, Hiroyuki. editor. (orcid)0000-0003-4217-1548 Torta, Elena. editor. (orcid)0000-0001-9198-1374 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85859-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Entertainment Computing - ICEC 2025 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings
Entertainment Computing - ICEC 2025 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings
Author 
Sugimoto, Maki. editor. Di Iorio, Angelo. editor. (orcid)0000-0002-6893-7452 Figueroa, Pablo. editor. (orcid)0000-0001-5412-8630 Yamanishi, Ryosuke. editor. (orcid)0009-0007-6798-279X Matsumura, Kohei. editor. (orcid)0000-0001-6397-7255
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-02555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The Routledge handbook of great power competition
The Routledge handbook of great power competition
Author 
Fong, Brian C. H., editor. Chong, Ja Ian, editor.
Preferred Shelf Number 
JZ1310
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003340997
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
Author 
Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7872-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Trade, competition and domestic regulatory policy : trade liberalisation, competitive markets and property rights protection
Trade, competition and domestic regulatory policy : trade liberalisation, competitive markets and property rights protection
Author 
Singham, Shanker, author. Abbott, Alden F., author.
Preferred Shelf Number 
HD3612
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429323331
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Robotics in Education Proceedings of the RiE 2023 Conference
Robotics in Education Proceedings of the RiE 2023 Conference
Author 
Balogh, Richard. editor. Obdržálek, David. editor. Christoforou, Eftychios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38454-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for China, the United States and the technological supremacy in Europe
China, the United States and the technological supremacy in Europe
Author 
Moldicz, Csaba, author.
Preferred Shelf Number 
T49.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003128625
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action