Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52113-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Author 
Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51963-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Real-life Applications with Membrane Computing
Real-life Applications with Membrane Computing
Author 
Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Current Trends on Knowledge-Based Systems
Current Trends on Knowledge-Based Systems
Author 
Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51905-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
Author 
Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56300-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
Author 
Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23338-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Introduction to Artificial Intelligence
Introduction to Artificial Intelligence
Author 
Flasiński, Mariusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40022-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Teamwork in multi-agent systems a formal approach
Teamwork in multi-agent systems a formal approach
Author 
Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470665237
http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: 
Availability 
Online Library~1
Available:
Copies: