Home Advanced Search

Advanced Search - Page 1

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Jens Palsberg (auth.), Jens Palsberg (eds.)
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Isil Dillig,Jens Palsberg (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Object-Oriented Type Systems
  • DJVU
  • English
  • Year: 1994
  • Author: Jens Palsberg, Michael I. Schwartzbach
Modern Compiler Implementation in Java
  • CHM
  • English
  • Year: 2002
  • Author: Andrew W. Appel, Jens Palsberg
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
A Combined Data and Power Management Infrastructure: For Small Satellites
  • PDF
  • English
  • Year: 2013
  • Author: Jens Eickhoff (auth.), Jens Eickhoff (eds.)
search