1
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /

Full text 
Favorites
Saved in:
2
Principles of Distributed Systems [E-Book] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /

Full text 
Favorites
Saved in:
3
Semantics and Algebraic Specification [E-Book] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
4
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
5
Automated Deduction in Geometry [E-Book] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Formal Concept Analysis [E-Book] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /

Full text 
Favorites
Saved in:
7
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

Full text 
Favorites
Saved in:
8
Principles of Distributed Systems [E-Book] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /

Full text 
Favorites
Saved in:
9
Formal Concept Analysis (vol. # 3874) [E-Book] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings

Full text 
Favorites
Saved in:
10
Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin

Full text 
Favorites
Saved in:
11
Algebraic Methodology and Software Technology [E-Book] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Full text 
Favorites
Saved in:
12
Relations and Kleene Algebra in Computer Science [E-Book] / 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK,

Full text 
Favorites
Saved in:
13
Types for Proofs and Programs [E-Book] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Principles of Data Mining and Knowledge Discovery [E-Book] : 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings /

Full text 
Favorites
Saved in:
15
Algebraic Methodology and Software Technology [E-Book] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings /

Full text 
Favorites
Saved in:
16
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /

Full text 
Favorites
Saved in:
17
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Full text 
Favorites
Saved in:
18
Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Formal Concept Analysis [E-Book] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings /

Full text 
Favorites
Saved in:
20
Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

Full text  Full text 
Favorites
Saved in:

Narrow Search Results