1
A 25-Year Perspective on Logic Programming [E-Book] : Achievements of the Italian Association for Logic Programming, GULP /

Full text 
Favorites
Saved in:
2
Algebra, Meaning, and Computation [E-Book] / Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Full text 
Favorites
Saved in:
3
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

Full text 
Favorites
Saved in:
4
The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /

Full text 
Favorites
Saved in:
5
Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
6
Computable Models [E-Book] /

Full text 
Favorites
Saved in:
7
Computational Logic in Multi-Agent Systems [E-Book] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
8
Computer Science - Theory and Applications [E-Book] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Frid, Anna
2009

Full text 
Favorites
Saved in:
9
CONCUR 2009 - Concurrency Theory [E-Book] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /

Full text 
Favorites
Saved in:
10
Decision Procedures [E-Book] : An Algorithmic Point of View /

Full text 
Favorites
Saved in:
11
Formal Modeling and Analysis of Timed Systems [E-Book] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /

Full text 
Favorites
Saved in:
12
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
13
Frontiers in Algorithmics [E-Book] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /

Full text 
Favorites
Saved in:
14
Fundamentals of Algebraic Graph Transformation [E-Book] /

Full text 
Favorites
Saved in:
15
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [E-Book] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings /
Luo, Qi.
2010

Full text 
Favorites
Saved in:
16
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

Full text 
Favorites
Saved in:
17
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

Full text 
Favorites
Saved in:
18
Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Logic, Rationality, and Interaction [E-Book] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /

Full text 
Favorites
Saved in:
20
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results