„Code-Check“

Suchergebnisse

614 Treffer

• CSS secrets – typische Webdesign-Probleme klug gelöst
  Verou, Lea 2016 O'Reilly
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• 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
  Huisman, Marieke ; Rubin, Julia 2017 Springer
• Außenabdichtungen
  Brundiers, Andreas ; Herr, Nicole ; Hebeisen, Gero ; Hunstock, Ralf ; Meyer, Arnt ; Spirgatis, Rainer 2015 Fraunhofer-IRB-Verl.
• Handbuch der Strategien – 240 Konzepte der weltbesten Vordenker : mit Strategie-Check
  Scheuss, Ralph 2016 Campus Verlag
• Software Reading Techniques – Twenty Techniques for More Effective Software Review and Inspection
  2016 Apress
• The European Union's Common Agricultural Policy Reforms – Towards a Critical Realist Approach
  Lovec, Marko 2016 Palgrave Macmillan UK
• Data and Information Quality – Dimensions, Principles and Techniques
  Batini, Carlo ; Scannapieco, Monica 2016 Springer International Publishing
• Immunotherapy of Cancer – An Innovative Treatment Comes of Age
  Yamaguchi, Yoshiyuki 2016 Springer Japan
• Transactions on Petri Nets and Other Models of Concurrency X
  Koutny, Maciej ; Desel, Jörg ; Haddad, Serge 2015 Springer Berlin Heidelberg
• Transactions on Petri Nets and Other Models of Concurrency IX
  Koutny, Maciej ; Haddad, Serge ; Yakovlev, Alex 2014 Springer International Publishing
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Transactions on Petri Nets and Other Models of Concurrency VIII
  2013 Springer Berlin Heidelberg
• Using Event-B for Critical Device Software Systems
  2013 Springer London
• Transactions on Petri Nets and Other Models of Concurrency VII
  2013 Springer Berlin Heidelberg
• Oracle SQL Tuning with Oracle SQLTXPLAIN
  2013 Apress
• Office Management Basiswissen – 4000 Begriffe · Checklisten · Techniken
  Zens, Rolf Dieter 1993 Gabler Verlag
• Checkbuch für Führungskräfte – TaschenGuide
  Haller, Reinhold 2012 Haufe Lexware
• Checkbuch für Führungskräfte
  Haller, Reinhold 2012 Haufe