LIBRARY Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008 · ENGLISH · PDF View details →
LIBRARY Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers 2012 · ENGLISH · PDF View details →
LIBRARY Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers 2011 · ENGLISH · PDF View details →
LIBRARY Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers 2015 · ENGLISH · PDF View details →
LIBRARY Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Semantics of Probabilistic Processes: An Operational Approach 2014 · ENGLISH · PDF View details →
LIBRARY Logic, Algebra, and Computation: International Summer School 1991 · ENGLISH · DJVU View details →
LIBRARY ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday 2014 · ENGLISH · PDF View details →
LIBRARY Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi 2014 · ENGLISH · PDF View details →
LIBRARY Algebraic and Algorithmic Aspects of Differential and Integral Operators: 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers 2014 · ENGLISH · PDF View details →
LIBRARY Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers 2008 · ENGLISH · PDF View details →
LIBRARY Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings 1999 · ENGLISH · PDF View details →
LIBRARY Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings 2002 · ENGLISH · PDF View details →
LIBRARY Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings 2002 · ENGLISH · PDF View details →