„Program Analysis“

Suchergebnisse

7.892 Treffer

• Formal methods and software engineering – proceedings
  Qin, Shengchao ; Qiu, Zongyan 2011 Springer
• Guide to ILDJIT
  Campanoni, Simone 2011 Springer London
• BASIC Microcomputing and Biostatistics – How to Program and Use Your Microcomputer for Data Analysis in the Physical and Life Science Including Medicine
  Rogers, Donald W. 1984 Humana Press
• Fractional-Order Nonlinear Systems – Modeling, Analysis and Simulation
  Petráš, Ivo 2011 Springer Berlin Heidelberg
• Fractional order nonlinear systems – modeling, analysis and simulation
  Petráš, Ivo 2011 Higher Education Press
• Computational Logic and Set Theory – Applying Formalized Logic to Analysis
  2011 Springer London
• Software Verification and Analysis – An Integrated, Hands-On Approach
  Laski, Janusz ; Stanley, William 2009 Springer London
• Tools and Algorithms for the Construction and Analysis of Systems – 17th International Conference, TACAS 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
  2011 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 17th international conference ; proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2011 Springer
• Abstract State Machines – A Method for High-Level System Design and Analysis
  2003 Springer Berlin Heidelberg
• Validation of Data Flow Results for Program Modules
  Klohs, Karsten 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
• Validation of data flow results for program modules
  Klohs, Karsten
• Approximation and online algorithms – 8th international workshop ; revised papers
  Jansen, Klaus ; Solis-Oba, Roberto 2011 Springer
• Positive trigonometric polynomials and signal processing applications
  Dumitrescu, Bogdan 2007 Springer
• The analysis of penetrometer data from a potato breeding programme
  Killick, R. J.
• Constrained derivatives and equilibrium conditions in generalized geometric programming
  Phillips, D. T. ; Reklaitis, G. V.
• Program for analysis of intermolecular contacts in organic crystals
  Zorkii, P. M. ; Stukalin, A. A.
• A program for 3D simulation of signals for ultrasonic testing of specimens
  Markov, A. A. ; Mosyagin, V. V. ; Keskinov, M. V.
• Comparative analysis of European residency programs: benchmarking and harmonizing ophthalmology training in Europe
  Anaya-Alaminos, Roberto ; Rassmussen, Marie Louise ; Fung, Simon S. M. ; Potic, Jelena ; González-Andrades, Miguel
• Early identification of adolescents with greater psychosocial needs: an evaluation of the Project P.A.T.H.S. in Hong Kong
  Shek, Daniel T.L. ; Ng, Catalina S.M.