-
Problematische Mitarbeiter erfolgreich führen – Hintergründe, Leitfäden, Lösungsvorschläge
Laufer, Hartmut 2018 Springer Fachmedien Wiesbaden
-
Erfolgreiches Energiemanagement nach DIN EN ISO 50001 – Lösungen zur praktischen Umsetzung Textbeispiele, Musterformulare, Checklisten
Reimann, Grit 2013 Beuth Verlag GmbH
-
Introduction to Compiler Design
Mogensen, Torben Æ. 2011 Springer London
-
Betrieblicher Datenschutz Schritt für Schritt - gemäß EU-Datenschutz-Grundverordnung – Lösungen zur praktischen Umsetzung Textbeispiele, Musterformulare, Checklisten
Reimann, Grit 2018 Beuth Verlag GmbH
-
Conformance Checking and Diagnosis in Process Mining – Comparing Observed and Modeled Processes
Munoz-Gama, Jorge 2016 Springer International Publishing
-
Transactions on Petri Nets and Other Models of Concurrency VI
2012 Springer Berlin Heidelberg
-
Betrieblicher Datenschutz Schritt für Schritt – Lösungen zur praktischen Umsetzung DSGVO, Textbeispiele, Musterformulare, Checklisten
Reimann, Grit 2023 Beuth Verlag GmbH
-
Computational Methods in Systems Biology – 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
Češka, Milan ; Šafránek, David 2018 Springer International Publishing
-
Fitness auf dem Prüfstand – Testen Sie Ihre sportliche Leistungsfähigkeit
Bös, Klaus ; Krell-Rösch, Janina 2022 Springer Berlin Heidelberg
-
A Guide to Systems Research – Philosophy, Processes and Practice
Edson, Mary ; Henning, Pamela Buckle ; Sankaran, Shankar 2017 Springer Singapore
-
Transactions on Petri Nets and Other Models of Concurrency XV
Koutny, Maciej 2021 Springer International Publishing
-
Tools and Algorithms for the Construction and Analysis of Systems – 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Chechik, Marsha ; Raskin, Jean-François 2016 Springer International Publishing
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
-
Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
-
Model Checking Software – 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Bošnački, Dragan ; Wijs, Anton 2016 Springer International Publishing
-
A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
-
Engineering Secure Software and Systems – 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Caballero, Juan ; Bodden, Eric ; Athanasopoulos, Elias 2016 Springer Berlin Heidelberg
-
DNA Replication, Recombination, and Repair – Molecular Mechanisms and Pathology
Hanaoka, Fumio ; Sugasawa, Kaoru 2016 Springer Japan
-
Erfolgreiches Umweltmanagement nach DIN EN ISO 14001:2015 – Lösungen zur praktischen Umsetzung Textbeispiele, Musterformulare, Checklisten
Janson-Mundel, Ortrun ; Reimann, Grit 2017 Beuth Verlag GmbH