Ihre Suche nach Theoretische Informatik

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Los Angeles, July 2013

The ASCENS Approach

8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

A Collection of Notes Based on Lectures by Gilles Pisier, K. R. Parthasarathy, Vern Paulsen and Andreas Winter

21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Engineering-Based Establishment of Security Standards

18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

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

12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

MATHEON Workshop 2013

21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

The Quantum Case