Ergebnisse zu
Compilerbau

Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

A Practical, Case-Study Approach

Twenty Techniques for More Effective Software Review and Inspection

Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,..

Harnessing the Power of Machine Learning and Deep Learning

Essays in Memory of Ole-Johan Dahl

18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings