Limit Search Results
Author
SpringerLink (Online service)
(115)
Barthès, Jean-Paul A. editor.
(4)
Lankhorst, Marc. author.
(4)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Language
Publication Date
-
Subject
Computer science.
(34)
Artificial intelligence.
(20)
Application software.
(17)
Computer and Information Systems Applications.
(16)
User Interfaces and Human Computer Interaction.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
121 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers
Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers
Author 
Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91328-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Author 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Author 
Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7752-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers
Author 
Kruchten, Philippe. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers
Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers
Author 
Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57982-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for ITNG 2024: 21st International Conference on Information Technology-New Generations
ITNG 2024: 21st International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56599-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Learn coding with Python and JavaScript A practical introduction for beginners
Learn coding with Python and JavaScript A practical introduction for beginners
Author 
Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-42912-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
Author 
Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69042-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I
Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I
Author 
Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II
Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II
Author 
Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action