Limit Search Results
Author
SpringerLink (Online service)
(29)
Montano, Luis. editor.
(2)
Moreira, António Paulo. editor.
(2)
Obdržálek, David. editor.
(2)
Reis, Luís Paulo. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(7)
Automation.
(6)
Control engineering.
(6)
Control, Robotics, Automation.
(6)
Robotics.
(6)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Pattern Recognition. Competitions 27th International Conference, ICPR 2024, Kolkata, India, December 1-5, 2024, Proceedings, Part XXXIV
Pattern Recognition. Competitions 27th International Conference, ICPR 2024, Kolkata, India, December 1-5, 2024, Proceedings, Part XXXIV
Author 
Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Chaudhuri, Subhasis. editor. (orcid)0000-0002-1680-0016 Chellappa, Rama. editor. (orcid)0000-0002-7638-1650 Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Bhattacharya, Saumik. editor. (orcid)0000-0003-1273-7969
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80139-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings
Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings
Author 
Brodnik, Andrej. editor. Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25396-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers
Author 
Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334425.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37419-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Complex Automated Negotiations: Theories, Models, and Software Competitions
Complex Automated Negotiations: Theories, Models, and Software Competitions
Author 
Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings
Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings
Author 
Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Preferred Shelf Number 
ONLINE(335047.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for An Invitation to Mathematics From Competitions to Research
An Invitation to Mathematics From Competitions to Research
Author 
Schleicher, Dierk. editor. Lackmann, Malte. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19533-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Teaching Biology Photosynthetic Organisms
Teaching Biology Photosynthetic Organisms
Author 
Kriska, György. author. (orcid)0000-0003-4271-3167 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84085-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Puzzle and proof : a decade of problems from the Utah Math Olympiad
Puzzle and proof : a decade of problems from the Utah Math Olympiad
Author 
Dittmer, Samuel, author. Golze, Hiram, author. Molnar, Grant Steven, 1995- author. Stanford, Caleb, author.
Preferred Shelf Number 
QA43
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003477761
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Ophthalmology of Sports
Ophthalmology of Sports
Author 
Waisberg, Ethan. editor. Ong, Joshua. editor. Lee, Andrew G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88645-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Challenging Programming in Python: A Problem Solving Perspective
Challenging Programming in Python: A Problem Solving Perspective
Author 
Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39999-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action