Home Advanced Search

Advanced Search - Page 1

Analysis Techniques for Information Security
  • PDF
  • English
  • Year: 2010
  • Author: Somesh Jha, Anupam Datta, Ninghui Li, David Melski, Thomas Reps
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)
Generating Language-based Environments
  • DJVU
  • English
  • Year: 1984
  • Author: Thomas W. Reps
Generating Language-Based Environments
  • PDF
  • English
  • Year: 2004
  • Author: Thomas W. Reps
Shifting Horizons of Public International Law: A South Asian Perspective
  • PDF
  • English
  • Year: 2018
  • Author: J.L. Kaul,Anupam Jha (eds.)
Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)
Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)
Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (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.)
The Synthesizer Generator: A System for Constructing Language-Based Editors
  • PDF
  • English
  • Year: 1989
  • Author: Thomas W. Reps, Tim Teitelbaum
search