Suche
Kategorie
40557 Treffer
- Jürjens, Jan
- Secrecy-preserving Refinement
- José Nuno Oliveira;Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152 (Lecture Notes in Computer Science)
- Jürjens, Jan
- Secrecy-Preserving Refinement.
- FME. 2001 S. 135 - 152
- Krampen, Günter
- Psychologisches Gesundheitstraining : ein Programm zur systematischen Selbstbeobachtung und Reflexion des Gesundheitsverhaltens; das SySeRe-Programm
- Tübingen: DGVT-Verl. 2011
- Sofronie-Stokkermans, Viorica
- Representation Theorems and the Semantics of (Semi)Lattice-Based Logics
- Beata Konikowska;Bogusław Martyniak;Ewa Gąsiorowska-Wirpszo;Andrzej Szałas (Hrsg). Proceedings of the 31st IEEE International Symposium on Muliple-Valued Logic ISMVL 2001; 22-24 May 2001; Warsaw, Poland. Los Alamitos, CA: IEEE Computer Society 2001 S. 125 - 134
- Krampen, Günter
- Psychologie - Experten als Zeitzeugen
- Göttingen [u.a.]: Hogrefe 2009 342 S.
- Meyer, M.
- Theatrical Spectacles and the Spectators´ Positions in Wordsworth´s London
- Literary London: Interdisciplinary Studies in the Representation of London (www.literaylondon.org). 2003
- Meyer, Michael
- The Fictions of Diaspora and Caryl Phillips's Diasporic Fiction
- Proceedings of the conference of the German Association of University Teachers of English. Bd. 24. Tübingen: Niemeyer 2003 S. 259 - 270
- Krampen, Günter
- Konzepte, empirische Befunde und Erfahrungsberichte zur psychologischen Aus-, Fort- und Weiterbildung
- Bonn: Dt. Psychologen-Verl. 2001
- Wimmer, Maria A.
- E-Government im Trend der Verwaltungsinformatik
- Erich Schweighofer;Thomas Menzel;Günther Kreuzbauer (Hrsg). Auf dem Weg zur ePerson. Wien: Verlag Österreich 2001 S. 249 - 255
- Traunmüller, Roland; Wimmer, Maria A.
- Directions in E-Government: Processes, Portals, Knowledge
- A. Min Tjoa;Roland R. Wagner (Hrsg). Proceedings of the 12th International Workshop on Database and Expert Systems Applications DEXA 2001: September 3-7 2001 Munich, Germany. Los Alamitos, CA: IEEE Computer Society 2001 S. 313 - 317