Home Advanced Search

Advanced Search - Page 1

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Eric Goubault (auth.), Francesco Logozzo, Manuel Fähndrich (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jean Goubault-Larrecq (auth.), Anupam Datta (eds.)
Directed Algebraic Topology and Concurrency
  • PDF
  • English
  • Year: 2016
  • Author: Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen (auth.)
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)
Assessment of Depression
  • PDF
  • English
  • Year: 1986
  • Author: E. Fähndrich, H. Helmchen, M. Linden (auth.), Dr. Norman Sartorius, Dr. Thomas A. Ban (eds.)
Advances on Practical Applications of Agents and Multi-Agent Systems: 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Sebastian Ahrndt, Johannes Fähndrich, Sahin Albayrak (auth.), Yves Demazeau, Toru Ishida, Juan M. Corchado, Javier Bajo (eds.)
Directed Algebraic Topology and Concurrency
  • PDF
  • English
  • Year: 2016
  • Author: Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Simulationstechnik: 1. Symposium Simulationstechnik Erlangen, 26. – 28. April 1982 Proceedings
  • PDF
  • German
  • Year: 1982
  • Author: Manuel Goller (auth.), Manuel Goller (eds.)
search