Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Author 
Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31570-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Author 
Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103476
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Property Testing Current Research and Surveys
Property Testing Current Research and Surveys
Author 
Goldreich, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Ludics, Dialogue and Interaction PRELUDE Project - 2006-2009. Revised Selected Papers
Ludics, Dialogue and Interaction PRELUDE Project - 2006-2009. Revised Selected Papers
Author 
Lecomte, Alain. editor. Tronçon, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19211-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Simulated Evolution and Learning 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010. Proceedings
Simulated Evolution and Learning 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010. Proceedings
Author 
Deb, Kalyanmoy. editor. Bhattacharya, Arnab. editor. Chakraborti, Nirupam. editor. Chakroborty, Partha. editor. Das, Swagatam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17298-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
Author 
López-Ortiz, Alejandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12200-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings
Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings
Author 
Rudolph, Sebastian. editor. Dau, Frithjof. editor. Kuznetsov, Sergei O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03079-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
Author 
Stapleton, Gem. editor. Howse, John. editor. Lee, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87730-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
Author 
Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70596-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings
Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings
Author 
Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73681-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
Author 
Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings
Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings
Author 
Barker-Plummer, Dave. editor. Cox, Richard. editor. Swoboda, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11783183
Format: 
Availability 
Online Library~1
Available:
Copies: