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
Algebra and Coalgebra in Computer Science [E-Book] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Full text 
Favorites
Saved in:
3
Modelling Distributed Systems [E-Book] /

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

Full text 
Favorites
Saved in:
5
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:
6
Recent Trends in Algebraic Development Techniques [E-Book] / 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
7
Algebraic Informatics [E-Book] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

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

Full text 
Favorites
Saved in:
10
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:
11
Generic Programming [E-Book] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers /

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

Full text 
Favorites
Saved in:
13
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:
14
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:
15
Algebraic Methodology and Software Technology [E-Book] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /

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

Full text 
Favorites
Saved in:
17
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:
18
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:
19
Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /

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

Full text 
Favorites
Saved in:

Narrow Search Results