„program analysis“

Suchergebnisse

7.892 Treffer

• Effect analysis in higher-order languages
  Neirynck, Anne ; Panangaden, Prakash ; Demers, Alan J.
• Needs Analysis & Syllabus Design in Moroccan Tertiary Education – The Common Core Program A Mixed Methods Study
  El Messaoudi, Mohammed 2019 LAP LAMBERT Academic Publishing
• Toward a Model for Backtracking and Dynamic Programming
  Alekhnovich, Michael ; Borodin, Allan ; Buresh-Oppenheim, Joshua ; Impagliazzo, Russell ; Magen, Avner ; Pitassi, Toniann
• Semantics-based program analysis for logic-based languages using XSB
  Codish, Michael ; Demoen, Bart ; Sagonas, Konstantinos
• Development of Emerging Contractors – Impact of structured training programme on emerging contractors within the Western Cape Province, South Africa
  Ngqongisa, Musawenkosi 2019 LAP LAMBERT Academic Publishing
• Methodology of ECG Interpretation in the Lyon Program
  Arnaud, P. ; Rubel, P. ; Morlet, D. ; Fayn, J. ; Forlini, M.C.
• Methodology of ECG Interpretation in the Louvain Program
  Brohet, C. R. ; Derwael, C. ; Robert, A. ; Fesler, R.
• Methodology of ECG Interpretation in the Hannover Program
  Zywietz, Chr. ; Borovsky, D. ; Gotsch, G. ; Joseph, G.
• Methodology of ECG Interpretation in the Glasgow Program
  Macfarlane, P. W. ; Devine, B. ; Latif, S. ; McLaughlin, S. ; Shoat, D. B. ; Watts, M. P.
• Methodology of ECG Interpretation in the AVA Program
  Pipberger, H. V. ; McManus, C. D. ; Pipberger, H. A.
• Integrated Software Suite for Magnetocardio-graphic Data Analysis – A Proposal Based on an Interactive Programming Environment
  Comani, S. ; Mantini, D. ; Merlino, B. ; Reale, M. ; Di Luzio, S. ; Romani, G. L.
• Determination of Importance Weights in QFD using Fuzzy AHP – with extent analysis approach
  Kshetri, Rahul 2019 LAP LAMBERT Academic Publishing
• Getting the Job Done: Analysis of the Impact and Effectiveness of the SmileTrain Program in Alleviating the Global Burden of Cleft Disease
  Poenaru, D.
• Assessment of Mexico’s program to use ethanol as transportation fuel: impact of 6% ethanol-blended fuel on emissions of light-duty gasoline vehicles
  Schifter, Isaac ; Díaz, Luis ; Rodríguez, Rene ; Salazar, Lucia
• Neutron activation analysis: A simple versatile program for automated gamma spectrometry with a personal computer
  Delmas, R. ; Dulac, F. ; Lambert, C. E. ; Revel, G.
• Compiler construction – 20th international conference ; proceedings
  Knoop, Jens 2011 Springer
• Algorithmen und Datenstrukturen – Grundlagen und probabilistische Methoden für den Entwurf und die Analyse
  Knebl, Helmut 2019 Springer Vieweg
• Local model checking and protocol analysis
  Du, Xiaoqun ; Smolka, Scott A. ; Cleaveland, Rance
• Stochastic dynamic programming in life course analysis: basic concepts and a simple model
  Müller, Ulrich ; Sahner, Heinz ; Schwendtner, Stefan 1995 Westdt. Verl
• Occurrence of venlafaxine residues and its metabolites in marine mussels at trace levels: development of analytical method and a monitoring program
  Martínez Bueno, M. J. ; Boillot, C. ; Munaron, D. ; Fenet, H. ; Casellas, C. ; Gómez, E.