„Code-Check“

Suchergebnisse

614 Treffer

• Verified Software: Theories, Tools, and Experiments – 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers
  Gurfinkel, Arie ; Sanjit, Seshia 2016 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XI
  2016 Springer International Publishing
• Rauschdrogen – Bekannte und Neue psychoaktive Substanzen
  Eckstein, Niels 2023 Wissenschaftliche Verlagsgesellschaft Stuttgart
• Lösungsorientierte Mitarbeitergewinnung – Praktisches Vorgehen und theoretische Grundlagen
  Rohrlack, Kirsten 2019 Springer Fachmedien Wiesbaden
• Mitarbeiter (ein)binden und gewinnen – Nachhaltige Strukturen für Seniorenheime zur Steigerung der Arbeitgeberattraktivität
  Rottmann, Lukas ; Witte, Daniel 2019 Springer Fachmedien Wiesbaden
• Judicial Review of Administrative Discretion in the Administrative State
  Poorter, Jurgen ˜deœ ; Hirsch Ballin, E. M. H. ; Lavrijssen, Saskia 2019 T.M.C. Asser Press
• Inbetriebnahme von Logistikzentren – Praxiserprobte Methoden, Hilfsmittel und Checklisten
  Schuchmann, Carsten 2018 Springer Fachmedien Wiesbaden
• Praxis-Check digitale Markenführung im Mittelstand – Leitfaden für die nachhaltige Transformation von analog zu digital
  Errichiello, Oliver Carlo ; Zschiesche, Arnd 2018 Springer Fachmedien Wiesbaden
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
  Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
• Project-Management in Practice – A Guideline and Toolbox for Successful Projects
  Alam, M. Daud ; Gühl, Uwe F. 2016 Springer Berlin Heidelberg
• Emerging Concepts Targeting Immune Checkpoints in Cancer and Autoimmunity
  Yoshimura, Akihiko 2017 Springer International Publishing
• Der Mauer um die Wette gedenken – Die Formation einer Heritage-Industrie am Berliner Checkpoint Charlie
  Frank, Sybille 2009 Campus Verlag
• Ernährung im Alter – Praxishandbuch mit Checklisten für Pflege und Betreuung
  Pleyer, Brigitte ; Raidl, Alexandra 2024 Springer Berlin Heidelberg, Imprint: Springer
• Ernährung im Alter – Praxishandbuch mit Checklisten für Pflege und Betreuung
  Pleyer, Brigitte ; Raidl, Alexandra 2018 Springer Berlin Heidelberg
• Handbook of Weighted Automata
  Droste, Manfred 2009 Springer Berlin Heidelberg
• Simulating Social Complexity – A Handbook
  Edmonds, Bruce ; Meyer, Ruth 2017 Springer International Publishing
• Infokarte Ladungssicherung bei Überseecontainern
  Huber, W. 2025 ecomed SICHERHEIT
• Projektmanagement für die Praxis – Ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte
  Alam, M. Daud ; Gühl, Uwe F. 2016 Springer Berlin Heidelberg
• Rechtsmedizin – Befunderhebung, Rekonstruktion, Begutachtung
  Madea, Burkhard 2015 Springer Berlin Heidelberg
• Project Management Basics – How to Manage Your Project with Checklists
  2016 Apress