BibSonomy ::
tag ::
order by
(
date
|
folkrank
)
The blue social bookmark and publication sharing system.
- Derek Sivers Home, Blog, About, Projects
- USB Köln Homepage
- Official Website
- Statistisches Amt der Europäischen Union (EU)
- new home
- Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, S...Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, Students & Co-authors) Projects Logosphere A Formal Digital Library Triple Type Refinement in Programming Languages ConCert Language Technology for Trustless Software Dissemination Twelf Logical and Meta-Logical Frameworks SeLF Distributed System Security via Logical Frameworks Manifest Security Logics and Languages for Manifestly Secure Systems Prospero Integrating Types and Specifications
- (2012)
- (2011)
- Edition BusinessInside BusinessVillage, Göttingen, (2008)
- Marketing & Kommunikation Rheintaler Dr. und Verl., Berneck, 2. überarb. Aufl. edition, (2007)
- Trierer Beiträge zum Diversity Management Hampp, München u.a., 1. Aufl edition, (2004)
- Dokumente / Kommission der Europäischen Gemeinschaften Amt für Amtliche Veröffentlichungen der Europ. Gemeinschaften, Luxemburg, (2002)
- Ibidem-Verl., Stuttgart, (2002)
- Dokumente / Kommission der Europäischen Gemeinschaften Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, (2001)
- IDW-Verl., Düsseldorf, (2001)
- (2002)
- (2008)
- (2002)
- (2002)
- (2002)
- (2002)
- Int. Sym. Wikis, page 99-118. ACM, (2007)
- (2006)


