„Code-Check“

Suchergebnisse

614 Treffer

• Multi-Value Plaintext-Checking and Full-Decryption Oracle-Based Attacks on HQC from Offline Templates
  Dong, Haiyue ; Guo, Qian
• From Basic Survival Analytic Theory to a Non-Standard Application
  Zimmermann, Georg 2017 Springer Fachmedien Wiesbaden
• Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
  Herdt, Vladimir 2016 Springer Fachmedien Wiesbaden
• Construction and Evolution of Code Generators – A Model-Driven and Service-Oriented Approach
  Jörges, Sven 2013 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2012 Springer Berlin Heidelberg
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Formal Aspects of Component Software – 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
  Bae, Kyungmin 2018 Springer International Publishing
• Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
  Lahiri, Shuvendu K. 2018 Springer International Publishing
• Mathematical Software – ICMS 2018 – 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
  Davenport, James Harold ; Kauers, Manuel ; Labahn, George ; Urban, Josef 2018 Springer International Publishing
• Model Checking Software – 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
  Gallardo, Maria del Mar ; Merino, Pedro 2018 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
  Dillig, Isil ; Palsberg, Jens 2018 Springer International Publishing
• Computer Performance Engineering – 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
  Reinecke, Philipp ; Di Marco, Antinisca 2017 Springer International Publishing
• Software Engineering for Self-Adaptive Systems III. Assurances – International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
  Lemos, Rogério ˜deœ ; Garlan, David ; Ghezzi, Carlo ; Giese, Holger 2017 Springer International Publishing
• Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
  Strichman, Ofer ; Tzoref-Brill, Rachel 2017 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XII
  Koutny, Maciej ; Kleijn, Jetty ; Penczek, Wojciech 2017 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
  Bouajjani, Ahmed ; Monniaux, David 2017 Springer Berlin Heidelberg
• Nachhaltige Führung von Organisationen (Governance) nach DIN ISO 37000 – Erfolgreich umsetzen, auditieren und reporten Mit Musterformularen, Checklisten und weiteren Tools und Arbeitshilfen
  Scherer, Josef 2025 DIN Media GmbH
• Die erfolgreichsten Geschäftsbriefe – Tipps, Checklisten und mehr als 250 Musterbriefe
  Wurm, Christiane 2002 Gabler Verlag
• Der Businessplan – Geschäftspläne professionell erstellen Mit Checklisten und Fallbeispielen
  Nagl, Anna 2020 Springer Fachmedien Wiesbaden
• Der Direktvertrieb in Mehrkanalstrategien – Eine Einführung mit Beispielen für die Umsetzung
  Friege, Christian 2016 Springer Fachmedien Wiesbaden