Home Advanced Search

Advanced Search - Page 1

Object-Oriented Type Systems
  • DJVU
  • English
  • Year: 1994
  • Author: Jens Palsberg, Michael I. Schwartzbach
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 Program Analysis
  • PDF
  • English
  • Year: 2018
  • Author: Anders Møller, Michael I. Schwartzbach
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.)
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael I. Schwartzbach (auth.), Laurie Hendren (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.)
Oh Sh*t, I Almost Killed You!: A Little Book of Big Things Nursing School Forgot to Teach You
  • EPUB
  • English
  • Year: 2017
  • Author: Sonja Schwartzbach
Traumakinder Warum der Krieg immer noch in unseren Seelen wirkt
  • EPUB
  • German
  • Year: 2017
  • Author: Wüstel, Jens-Michael
Die Zulassungsberufung im Verwaltungsprozeß
  • PDF
  • German
  • Year: 2004
  • Author: Buscher, Jens Michael
Die Beratungsfunktion des Bundesrechnungshofes und seines Präsidenten: Historische Entwicklungen, Rechtsgrundlagen und Praxis
  • PDF
  • German
  • Year: 2013
  • Author: Störring, Jens Michael
search