Suche
Kategorie
aktiv (43)
HS Koblenz (5530)
5530 Treffer
×
Hochschule Koblenz
- Lebrenz, Christian
- Raus aus der Zwickmühle : 150+ Beispiele für den gelungenen Umgang mit schwierigen Führungssituationen
- 1. Aufl. Regensburg: Metropolitan 2021
- Lebrenz, Christian
- Management-Entscheidungen im Zeitalter der Digitalisierung
- Zeitschrift für Corporate Governance : ZCG ; Leitung und Überwachung in der Unternehmens- und Prüfungspraxis. Bd. 15. H. 5. Erich Schmidt Verl. 2020 S. 202 - 205
- Lebrenz, Christian
- Dilemmata in der Führung
- Rosenstiel, Lutz; Regnet, Erika; Domsch, Michel E. (Hrsg). Führung von Mitarbeitern : Handbuch für erfolgreiches Personalmanagement. 8. Aufl. Stuttgart: Schäffer-Poeschel 2020 S. 123 - 132
- Lorenz, Katja; Fiedler, Armin; Thaler, Tom
- Ein hybrider Projektmanagementansatz für das regulierte Umfeld
- Engstler, Martin; Fazal-Baqaie, Masud; Hanser, Eckhart; Linssen, Oliver; Mikusz, Martin; Volland, Alexander (Hrsg). Projektmanagement und Vorgehensmodelle 2016 : PVM 2016, Arbeiten in hybriden Projekten: das Sowohl-als-auch von Stabilität und Dynamik : gemeinsame Tagung der Fachgruppen Projektmanagement (WI-PM) und Vorgehensmodelle (WI-VM) im Fachgebiet Wirtschaftsinformatik der Gesellschaft für Informatik e.V., 6. und 7. Oktober 2016 in Paderborn. Bonn: Gesellschaft für Informatik e.V. 2016 S. 69 - 78 (Gesellschaft für Informatik: GI-Edition / Proceedings ; Volume 263)
- Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas et al.
- Ωmega
- Wiedijk, Freek (Hrsg). The seventeen provers of the world. Berlin: Springer 2006 S. 127 - 141 (Lecture notes in computer science ; Vol. 3600 : Lecture notes in artificial intelligence)
- Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
- Assertion-level Proof Representation with Under-Specification
- Electronic Notes in Theoretical Computer Science : ENTCS. Bd. 93. Amsterdam: Elsevier 2004 S. 5 - 23
- Autexier, Serge; Fiedler, Armin
- Textbook Proofs Meet Formal Logic : The Problem of Underspecification and Granularity
- Kohlhase, Michael (Hrsg). Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Berlin: Springer 2006 S. 96 - 110 (Lecture Notes in Computer Science (LNCS) ; 3863 / Lecture Notes in Artificial Intelligence (LNAI) ; 3863)
- Autexier, Serge; Fiedler, Armin; Neumann, Thomas et al.
- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
- Kauers, Manuel; Kerber, Manfred; Miner, Robert; Windsteiger, Wolfgang (Hrsg). Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Berlin: Springer 2007 S. 176 - 190 (Lecture Notes in Computer Science book series (LNCS) ; 4573)
- Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef et al.
- Ωmega: Towards a mathematical assistant
- McCune, William (Hrsg). Automated Deduction — CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Berlin: Springer 1997 S. 252 - 255 (Lecture Notes in Computer Science (LNCS) ; 1249)
- Wolska, Magdalena; Vo, Bao Quoc; Tsovaltzi, Dimitra et al.
- An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
- Lino, Maria Teresa; Xavier, Maria Francisca; Ferreira, Fátima; Costa, Rute; Silva, Raquel (Hrsg). Proceedings of the Fourth International Conference on Language Resources and Evaluation : LREC’04 ; 26 May - 28 May 2004, Lisbon, Portugal. Lisbon: European Language Resources Association (ELRA) 2004 S. 1007 - 1010