Proving Inequational Propositions about Haskell Programs in Coq
Christiansen, J. ., & Dylus, S. . (2019). Proving Inequational Propositions about Haskell Programs in Coq.
Publikationen
2019
WPF in C# für Anfänger
Cordts, S. ., & Nasutta, M. . (2019). WPF in C# für Anfänger. mana-Buch Verlag.Exportformate
Weiterführende Links
Filter Tags
Detecting and Exploiting Generalized Nonlinear Static Feedback Structures in DAE Systems for MPC
Frey, J. ., Ouirynen, R. ., Kouzoupis, D. ., Frison, G. ., Geisler, J. ., Schild, A. ., & Diehl, M. . (2019). Detecting and Exploiting Generalized Nonlinear Static Feedback Structures in DAE Systems for MPC. In 18th European Control Conference (ECC) (S. 2756–2762). http://doi.org/10.23919/ECC.2019.8795732Exportformate
Weiterführende Links
Filter Tags
Adapting Gameplay to Eye Movements - An Exploration with TETRIS
Spiel, K. ., Bertel, S. ., & Kayali, F. . (2019). Adapting Gameplay to Eye Movements - An Exploration with TETRIS. In Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (S. 687–695). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3341215.3356267Abstract
Exportformate
Weiterführende Links
Filter Tags
New work - wie die Digitalisierung die Arbeitswelt verändert : Potenzial- und Risikoanalyse für produzierende Unternehmen
Sextro, H. kleine, Sauer, D. ., & Albert, T. . (2019). New work - wie die Digitalisierung die Arbeitswelt verändert : Potenzial- und Risikoanalyse für produzierende Unternehmen. Berlin : LIT.Exportformate
Weiterführende Links
Filter Tags
Aus-und Weiterbildung für die Energiewende Qualifizierungsstudie mit Angebots-und Bedarfsanalyse für den Energiesektor
von Düsterlho, D. J.-E., & Faber, P. D.-I. T. . (2019). Aus-und Weiterbildung für die Energiewende Qualifizierungsstudie mit Angebots-und Bedarfsanalyse für den Energiesektor. Abgerufen von https://www.new4-0.de/wp-content/uploads/2019/07/NEW-4.0-AP-7-Aus-und-Weiterbildung_Qualifizierungsstudie.pdfExportformate
Weiterführende Links
Filter Tags
Determination of biogas process efficiency - a practice-oriented alternative to the biomethane potential test.
Casaretto, R. ., Thomsen, F. ., Born, J. ., & Holm-Nielsen, J. B. (2019). Determination of biogas process efficiency - a practice-oriented alternative to the biomethane potential test. Bioresource Technology Reports, 7. http://doi.org/10.1016/j.biteb.2019.100201Exportformate
Weiterführende Links
Filter Tags
Elektrizitätsnetzgekoppelte Fernwärmeversorgung 2020 - Untersuchung von Flexibilitätsoptionen in der Wärmeversorgung.
Boysen, C. ., Kaldemeyer, C. ., & Tuschy, I. . (2019). Elektrizitätsnetzgekoppelte Fernwärmeversorgung 2020 - Untersuchung von Flexibilitätsoptionen in der Wärmeversorgung. Forschungsergebnisse, 9.Exportformate
Weiterführende Links
Filter Tags
Understanding the order of agile practice introduction: Comparing agile maturity models and practitioners’ experience
Nurdiani, I. ., Börstler, J. ., Fricker, S. ., Petersen, K. ., & Chatzipetrou, P. . (2019). Understanding the order of agile practice introduction: Comparing agile maturity models and practitioners’ experience. Journal of Systems and Software, 156, 1–20.Exportformate
Weiterführende Links
Filter Tags
Verifying Effectful Haskell Programs in Coq
Christiansen, J. ., Dylus, S. ., & Bunkenburg, N. . (2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125–138). ACM Press. http://doi.org/10.1145/3331545.3342592Abstract
Exportformate
Weiterführende Links
Filter Tags