„Code-Check“

Suchergebnisse

614 Treffer

• Model checking and code generation for UML state machines and collaborations
  Knapp, Alexander ; Merz, Stephan 2002 Universität Augsburg
• Ladungssicherung im Container
  Freek, Joachim ; Kraft, Uwe ; Süselbeck, Gerhard 2022 ecomed SICHERHEIT
• Ladungssicherung im Container – [Ausbilden - Anleiten - Nachschlagen]
  Freek, Joachim ; Kraft, Uwe ; Süselbeck, Gerhard 2015 ecomed Sicherheit
• Hsp90 chaperone code and the tumor suppressor VHL cooperatively regulate the mitotic checkpoint
  Woodford, Mark R. ; Backe, Sarah J. ; Wengert, Laura A. ; Dunn, Diana M. ; Bourboulia, Dimitra ; Mollapour, Mehdi
• Erfolgreich systemisch verhandeln – ganzheitliche Verhandlungsstrategien - Checklisten - Anwendungsbeispiele
  Kreggenfeld, Udo 2021 Springer Gabler
• Immuntherapie in der Uroonkologie – Checklisten, Therapiepläne und Patienteninformationen
  Retz, Margitta ; Gschwend, Jürgen E. 2021 Springer
• Immuntherapie in der Uroonkologie – Checklisten, Therapiepläne und Patienteninformationen
  Retz, Margitta ; Gschwend, Jürgen E. 2021 Springer Berlin Heidelberg
• Infokarte Ladungssicherung bei Überseecontainern
  Huber, W. 2017 ecomed SICHERHEIT
• The Use of Cyclic Redundancy Check (CRC-32) and Adler-32 Checksums for Source Code Verification
  Glaser, Allan
• Generalization of low rank parity-check (LRPC) codes over the ring of integers modulo a positive integer
  Kamwa Djomou, Franck Rivel ; Talé Kalachi, Hervé ; Fouotsa, Emmanuel
• Programmierte Diagnostik in der Allgemeinmedizin – 92 Checklisten nach Braun für Anamnese, Untersuchung und Dokumentation
  Mader, Frank H. ; Brückner, Torben ; Scherer, Martin 2019 Springer
• Der SEO Planer – Suchmaschinenoptimierung in Unternehmen richtig organisieren und umsetzen (mit Checklisten)
  Raaf, Udo 2021 Springer Gabler
• Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models
  Mahdi, Ahmed ; Fränzle, Martin ; Becker, Bernd ; Theel, Oliver 2017 BIS der Universität Oldenburg
• Innovation of Diagnosis and Treatment for Pancreatic Cancer
  Yamaue, Hiroki 2017 Springer Singapore
• Projektmanagement für die Praxis – ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte
  Alam, M. Daud ; Gühl, Uwe F. 2020 Springer Vieweg
• Fehlerkorrektur von Speicherfehlern mit Low-Density-Parity-Check-Codes
  Nordmann, Paul-Patrick ; Gössel, Michael ; Kreitz, Christoph ; Staiger, Ludwig 2020 Universität Potsdam
• Guide to Digital Forensics – A Concise and Practical Introduction
  Kävrestad, Joakim 2017 Springer International Publishing
• Grammatical Inference – Algorithms, Routines and Applications
  Wieczorek, Wojciech 2017 Springer International Publishing
• On the minimum distance of low-density parity-check codes with parity-check matrices constructed from permutation matrices
  Sridharan, A. ; Lentmaier, M. ; Truhachev, D. V. ; Costello, D. J. ; Zigangirov, K. Sh
• Performance analysis of short length low density parity check codes
  Anbalagan, Anand ; Subramani, Sivakanann ; Kamalanathan, C. ; Panda, Sunita