Suche
Kategorie
105743 Treffer
- Ariño, Joaquín; Aydar, Ebru; Drulhe, Samuel et al.
- Systems Biology of Monovalent Cation Homeostasis in Yeast: the Translucent Contribution
- Robert K. Poole (Hrsg). Advances in Microbial Physiology: Advances in Microbial Physiology; Volume 64. Amsterdam: Elsevier 2014 S. 1 - 63
- Jürjens, Jan; Schneider, Kurt
- The SecReq Approach: From Security Requirements to Secure Design while Managing Software Evolution
- Wilhelm Hasselbring;Nils Christian Ehmke (Hrsg). Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014 in Kiel, Deutschland. Bonn: Gesellschaft für Informatik 2014 S. 89 - 90 (Lecture Notes in Informatics)
- Witte, Matthias D.
- Von der Welt lernen : Begegnungen erleben in einer globalisierten Gegenwart
- Erleben und lernen. Bd. 20. H. 5. Augsburg: ZIEL 2012 S. 4 - 15
- Bürger, Jens; Jürjens, Jan; Ruhroth, Thomas et al.
- Model-based Security Engineering: Managed Co-Evolution of Security Knowledge and Software Models
- Alessandro Aldini;Javier Lopez;Fabio Martinelli (Hrsg). Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 34 - 53 (Lecture Notes in Computer Science)
- Wechselberger, Ulrich
- Genuine Guitars and Game Enjoyment in Music Games
- Willy Christian Kriz (Hrsg). The Shift from Teaching to Learning: Individual, Collective and Organizational Learning through Gaming Simulation. Bielefeld: wbv 2014 S. 198 - 211
- Thomé, Ulrich; von Kortzfleisch, Harald F. O.; Haltner, Eleonore
- Kooperationsprozesse bei Across Barriers
- Harald F. O. von Kortzfleisch (Hrsg). Wissensorientierte Prozessvirtualisierung in der Biotechnologiebranche: Eine Materialsammlung zu den Forschungsaktivitäten und -ergebnissen des VirtOweB-Projektes. Siegburg: Josef Eul 2005 S. 223 - 240
- Williams, Susan P.; Lawton, Fides Datu
- eScholarship as socio‐technical change: theory, practice and praxis
- Evidence Based Library and Information Practice. Bd. 1. H. 1. Edmonton, Alberta: University of Alberta 2005 S. 127 - 128
- Jürjens, Jan
- Formal Development of Critical Systems with UML: Methods and Tools
- International Symposium on Formal Methods for Components and Objects (FMCO 2005). 2005
- Lantsberg, Anna; Troitzsch, Klaus G.
- Requirements for Health Care Related Websites in Russia: results from an Analysis of American British and German Examples
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2011 S. 13
- Jürjens, Jan
- Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.
- ACSAC. 2005 S. 138 - 149