Limit Search Results
Author
SpringerLink (Online service)
(116)
Baumeister, Joerg. author. (orcid)0000-0002-7916-1004
(2)
Joshi, Amit. editor.
(2)
Liu, Honghai. editor.
(2)
Liu, Lianqing. editor. (orcid)
(2)
Language
English
(116)
Subject
Control engineering.
(35)
System theory.
(33)
Control and Systems Theory.
(27)
Computational intelligence.
(23)
Control theory.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
116 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Author 
Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Author 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Author 
Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32808-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Pattern Recognition Applications and Methods 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers
Pattern Recognition Applications and Methods 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers
Author 
De Marsico, Maria. editor. Sanniti di Baja, Gabriella. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24538-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part II
Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part II
Author 
Holloway-Attaway, Lissa. editor. Murray, John T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47658-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Author 
Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33469-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action