1
Relational Methods in Computer Science [E-Book] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers /

Full text 
Favorites
Saved in:
2
Algebraic Informatics [E-Book] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
3
Recent Trends in Algebraic Development Techniques [E-Book] : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers /

Full text 
Favorites
Saved in:
4
Identity-Based Encryption [E-Book] /

Full text 
Favorites
Saved in:
5
Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /

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

Full text 
Favorites
Saved in:
7
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /

Full text 
Favorites
Saved in:
8
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:
9
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:
10
Algebraic Methodology and Software Technology [E-Book] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Full text 
Favorites
Saved in:
11
Formal Concept Analysis [E-Book] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. 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
Recent Trends in Algebraic Development Techniques [E-Book] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Algebraic Biology [E-Book] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /

Full text 
Favorites
Saved in:
15
Algebra and Coalgebra in Computer Science [E-Book] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /

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

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

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

Full text 
Favorites
Saved in:
19
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:
20
Principles of Distributed Systems [E-Book] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results