A calculus for higher order procedures with global variables von Stephan, Werner, Wolpers, Andreas

Volltext

Deduction in the Verification Support Environment (VSE) von Hutter, Dieter, Langenstein, Bruno, Sengler, Claus, Siekmann, Jörg H., Stephan, Werner, Wolpers, AndreasWolpers

Volltext

VSE: formal methods meet industrial needs von Autexier, Serge, Hutter, Dieter, Langenstein, Bruno, Mantel, Heiko, Rock, Georg, Schairer, Axel, Stephan, Werner, Vogt, Roland, Wolpers, Andreas

Volltext

The KIV system a tool for formal program development von Drexler, Rainer, Reif, Wolfgang, Schellhorn, Gerhard, Stenzel, Kurt, Stephan, Werner, Wolpers, Andreas

Volltext

VSE: Controlling the Complexity in Formal Software Developments von Hutter, Dieter, Mantel, Heiko, Rock, Georg, Stephan, Werner, Wolpers, Andreas, Balser, Michael, Reif, Wolfgang, Schellhorn, Gerhard, Stenzel, Kurt

Volltext

Modular Verification of Programmable Logic Controllers with TLA von Wolpers, Andreas, Stephan, Werner

Volltext

Usage Context-Boosted Filtering for Recommender Systems in TEL von Niemann, Katja, Wolpers, Martin

Volltext

Intravascular ultrasound and stent implantation: Intraobserver and interobserver variability von Blessing, Erwin, Hausmann, Dirk, Sturm, Matthias, Wolpers, Hans-Georg, Amende, Ivo, Mügge, Andreas

Volltext

Knowledge Maturing Activities and Practices Fostering Organisational Learning: Results of an Empirical Study von Kaschig, Andreas, Maier, Ronald, Sandow, Alexander, Lazoi, Mariangela, Barnes, Sally-Anne, Bimrose, Jenny, Bradley, Claire, Brown, Alan, Kunzmann, Christine, Mazarakis, Athanasios, Schmidt, Andreas

Volltext

Studying the Factors Influencing Automatic User Task Detection on the Computer Desktop von Rath, Andreas S., Devaurs, Didier, Lindstaedt, Stefanie N.

Volltext

Exploring LogiAssist – The Mobile Learning and Assistance Platform for Truck Drivers von Scheffel, Maren, Kirschenmann, Uwe, Taske, Andreas, Adloff, Katja, Kiesel, Maik, Klemke, Roland, Wolpers, Martin

Volltext

Incomplete Expansion of Palmaz-Schatz Stents despite High-Pressure Implantation Technique: Impact on Target Lesion Revascularization von Blessing, Erwin, Hausmann, Dirk, Sturm, Matthias, Wolpers, Hans-Georg, Amende, Ivo, Mügge, Andreas

Volltext

Deep Learning Design for Sustainable Innovation within Shifting Learning Landscapes von Ravenscroft, Andrew, Boyle, Tom, Cook, John, Schmidt, Andreas

Volltext

METHOD FOR ELECTROLYTIC DEPOSITION OF A PHOSPHATE LAYER ON ZINC SURFACES von WOLPERS, Michael, ARNOLD, Andreas, POSNER, Ralf

Volltext bestellen

METHOD FOR ELECTROLYTIC DEPOSITION OF A PHOSPHATE LAYER ON ZINC SURFACES von Arnold, Andreas, Wolpers, Michael, Posner, Ralf

Volltext bestellen

PRETREATING ZINC SURFACES PRIOR TO A PASSIVATING PROCESS von SUNDERMEIER, UTA, ROTH, MARCEL, ARNOLD, ANDREAS, WOLPERS, MICHAEL

Volltext bestellen

Exploiting Context Information for Identification of Relevant Experts in Collaborative Workplace-Embedded E-Learning Environments von Lokaiczyk, Robert, Godehardt, Eicke, Faatz, Andreas, Goertz, Manuel, Kienle, Andrea, Wessner, Martin, Ulbrich, Armin

Volltext

ELECTROLYTIC PLATING OF IRON ON ZINC SURFACES von ROTH, MARCEL, ARNOLD, ANDREAS, WOLPERS, MICHAEL, STODT, JURGEN

Volltext bestellen

Posttraumatic myocardial infarction with severe coronary intimal dissection documented by intravascular ultrasound von Blessing, Erwin, Wolpers, Hans G., Hausmann, Dirk, Mügge, Andreas, Amende, Ivo

Volltext

Pretreating zinc surfaces prior to a passivating process von Arnold, Andreas, Wolpers, Michael, Roth, Marcel, Sundermeier, Uta

Volltext bestellen