„Code-Check“

Suchergebnisse

614 Treffer

• DUBAI - Notizen zu einer Reise im Frühjahr 2022
  Füllenbach, Katharina 2021 tredition
• Fully programmable LDPC decoder hardware architectures
  Beuschel, Christiane Maja
• Erfolgreich Managementsysteme integrieren – Lösungen zur praktischen Umsetzung enthält: Textbeispiele, Musterformulare, Checklisten; berücksichtigt: ISO 9001, ISO 14001, ISO 50001, ISO 45001, ISO 22000, GMP+ R 1.0
  Reimann, Grit 2022 Beuth Verlag GmbH
• Der Team-Code – Erfolgsprinzipien für bessere Teamleistung und Zusammenarbeit
  Flesch, Christian 2026 Haufe
• Brückenbauer oder "code‐checker"?
  Morgen, K.
• Defending Checks and Balances in EU Member States – Taking Stock of Europe’s Actions
  Bogdandy, Armin ˜vonœ ; Bogdanowicz, Piotr ; Canor, Iris ; Grabenwarter, Christoph ; Taborowski, Maciej ; Schmidt, Matthias 2021 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
  2016 Springer International Publishing
• Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  2017 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Programming Languages and Systems – 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Yang, Hongseok 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Ensuring Compliance in Construction: A Deep Dive into BIM Model Checking and Automated Code Verification
  Ammar, Mohamed Helmy ; Emara, Merna 2024 Technische Universität Hamburg. Universitätsbibliothek
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
  Baier, Christel ; Daum, Marcus ; Engel, Benjamin ; Härtig, Hermann ; Klein, Joachim ; Klüppelholz, Sascha ; Märcker, Steffen ; Tews, Hendrik ; Völp, Marcus 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Bewegungssteuerungen auf Basis des Hybriden Funktionsplanes – Die steuerungstechnische Umsetzung des Arbeitsdiagramms mit dem Hybriden Funktionsplan
  Geitner, Gert-Helge 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Reduced Complexity Window Decoding Schedules for Coupled LDPC Codes
  Hassan, Najeeb ˜ulœ ; Pusane, Ali E. ; Lentmaier, Michael ; Fettweis, Gerhard ; Costello, Daniel J. 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Noise from plants systems and Building Information Modeling: The Code Checking.
  Mastino, Costantino Carlo ; Baccoli, Roberto ; Frattolillo, Andrea ; Marini, Martino 2019 Universitätsbibliothek der RWTH Aachen
• Erfolgreiches Management der Lebensmittelsicherheit und Betriebshygiene nach FSSC 22000 – Lösungen zur praktischen Umsetzung Textbeispiele, Musterformulare, Checklisten
  Reimann, Grit 2025 DIN Media
• Structural Design and Analysis of Low-Density Parity-Check Codes and Systematic Repeat-Accumulate Codes
  Gruner, Alexander ; Huber, Michael 2015 Universitätsbibliothek Tübingen
• Optimized Belief-Propagation Decoding for Low-Delay Applications in Digital Communications
  Hehn, Thorsten 2009 Shaker