Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology
  • PDF
  • English
  • Year: 2013
  • Author: Jean Goubault-Larrecq
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint ... Ireland, April 25–30, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Jean Goubault-Larrecq (editor), Barbara König (editor)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Information Systems Security: 7th International Conference, ICISS 2011, Kolkata, India, December 15-19, 2011, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia (auth.), Sushil Jajodia, Chandan Mazumdar (eds.)
Information Systems Security: 7th International Conference, ICISS 2011, Kolkata, India, December 15-19, 2011, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia (auth.), Sushil Jajodia, Chandan Mazumdar (eds.)
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.)
Mobile Data Management and Applications
  • PDF
  • English
  • Year: 1999
  • Author: Jin Jing, Anupam Joshi (auth.), Jin Jing, Anupam Joshi (eds.)
search