Suche
Kategorie
104561 Treffer
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Hochschule Mainz
×
Theologische Fakultät Trier
- Orthofer, Gertraud; Wimmer, Maria A.
- An Ontology for eGovernment: Linking the Scientific Model with Concrete Projects
- Andreas Abecker;Amit Sheth;Gregoris Mentzas;Ljiljana Stojanovic (Hrsg). Semantic Web Meets eGovernment: Papers from the AAAI Spring Symposium; March 27 - 29, 2006; Stanford, California. Menlo Park, CA: AAAI Press 2006 S. 96 - 97
- Troitzsch, Klaus G.
- Agent-Based Modelling
- Behnke, Joachim ; Gschwend, Thomas ; Schindler, Delia ; Schnapp, Kai-Uwe (Hrsg). Methoden der Politikwissenschaft : neuere qualitative und quantitative Analyseverfahren. Baden-Baden: Nomos 2006 S. 37 - 46 (Forschungsstand Politikwissenschaft)
- Williams, Susan P.; Hardy, Catherine A.
- E-Procurement: Current Issues Future Challenges
- Hubert Österle;Joachim Schelp;Robert Winter (Hrsg). Proceedings of the 15th European Conference on Information Systems, ECIS 2007 - "Relevant rigour - rigorous relevance": St. Gallen, Switzerland; June 07 - 09, 2007. Atlanta, GA: Association for Information Systems/AIS eLibrary 2007 S. 131 - 142
- Von Kortzfleisch, Harald
- Direktiven für die Weiterbildung des Managements
- CHECK.point eLearning. Berlin: INFObases GmbH 2007
- EnTrust (Teilprojekt 3: Erklärbarkeit)
- Sofronie-Stokkermans, Viorica ; (ab 2019)
- Jürjens, Jan
- Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
- Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007
- Jacobs, Swen; Sofronie-Stokkermans, Viorica
- Applications of Hierarchical Reasoning in the Verification of Complex Systems 3
- Electronic Notes in Theoretical Computer Science. Bd. 174. H. 8. Amsterdam: Elsevier 2007 S. 39 - 54
- Harbusch, Karin; Rothkegel, Annely
- "PROLID": Ein Programmpaket zur Rollenidentifikation
- H. 8. Saarbrücken: Universität des Saarlandes 1984
- Bauks, Michaela
- Menschenopfer in den Mittelmeerkulturen
- Verkündigung und Forschung. Bd. 56. H. 2. Gütersloh: Kaiser 2011 S. 33 - 44
- Harbusch, Karin
- An Integrated Generation Approach with Tree Adjoining Grammars
- 1992 S. 19.1 - 19.3