1
Algebra, Meaning, and Computation [E-Book] / Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Full text 
Favorites
Saved in:
2
Algorithms and Computation [E-Book] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
3
Computing in Object-Oriented Parallel Environments [E-Book] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings /

Full text 
Favorites
Saved in:
4
Efficient Algorithms [E-Book] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
5
Global Optimization and Constraint Satisfaction [E-Book] / Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

Full text 
Favorites
Saved in:
6
LATIN 2004: Theoretical Informatics [E-Book] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings /

Full text 
Favorites
Saved in:
7
LATIN 2006: Theoretical Informatics [E-Book] / 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings

Full text 
Favorites
Saved in:
8
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /

Full text 
Favorites
Saved in:
9
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers [E-Book] /

Full text 
Favorites
Saved in:
10
Recent Advances in Constraints (vol. # 3419) [E-Book] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and

Full text 
Favorites
Saved in:
11
Recent Advances in Constraints (vol. # 3978) [E-Book] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite

Full text 
Favorites
Saved in:
12
Theory Is Forever [E-Book] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

Full text 
Favorites
Saved in:
13
Typed Lambda Calculi and Applications [E-Book] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Ong, Luke.
2011

Full text 
Favorites
Saved in:
14
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
15
Value-Range Analysis of C Programs [E-Book] : Towards Proving the Absence of Buffer Overflow Vulnerabilities /

Full text 
Favorites
Saved in:

Narrow Search Results