Limit Search Results
Author
Publication Date
-
Subject
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Author 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Author 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
Author 
Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14322-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Author 
Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Author 
He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Author 
Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11269-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Author 
Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Author 
Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Modelling Distributed Systems
Modelling Distributed Systems
Author 
Fokkink, Wan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation
Author 
Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31188-2
Format: 
Availability 
Online Library~1
Available:
Copies: