1
Algebra and Coalgebra in Computer Science [E-Book] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings /
2
Algebra and Coalgebra in Computer Science [E-Book] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
3
Algebra and Coalgebra in Computer Science [E-Book] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
4
Algebra and Coalgebra in Computer Science [E-Book] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /
5
Algebraic Biology [E-Book] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
6
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
7
Algebraic Informatics [E-Book] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /
8
Algebraic Informatics [E-Book] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
9
Algebraic Informatics [E-Book] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /
10
Algebraic Methodology and Software Technology [E-Book] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
11
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /
12
Algebraic Methodology and Software Technology [E-Book] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /
13
Algebraic Methodology and Software Technology [E-Book] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings /
14
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
15
Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
16
Developments in Language Theory [E-Book] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
17
Developments in Language Theory (vol. # 4036) [E-Book] / 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
18
Formal Modeling and Analysis of Timed Systems [E-Book] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /
19
Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
20
Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /