Bladeren door 'Compilers' (941 - 960 van 1911 resultaten weergeven)

First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

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

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Dynamic Web Design Made Easy

A Formal Approach to Real-Time Systems

15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

25th European Symposium on Programming, ESOP 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

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Test Smarter, Not Harder

How to Build and Maintain Clean Code

A Problem-Solution Approach

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings