Limit Search Results
Author
Language
Publication Date
-
Subject
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Author 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Author 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Author 
Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30850-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
Author 
Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34611-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mobile Intention Recognition
Mobile Intention Recognition
Author 
Kiefer, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1854-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Author 
Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20662-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Argumentation in Artificial Intelligence
Argumentation in Artificial Intelligence
Author 
Simari, Guillermo. editor. Rahwan, Iyad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-98197-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Medial Representations Mathematics, Algorithms and Applications
Medial Representations Mathematics, Algorithms and Applications
Author 
Siddiqi, Kaleem. editor. Pizer, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8658-8
Format: 
Availability 
Online Library~1
Available:
Copies: