„program analysis“

Suchergebnisse

7.892 Treffer

• The impact of climatic variations on agriculture
  1988 Kluwer
• The impact of climatic variations on agriculture
  1988 Kluwer
• Investigating Reasons for Underestimated Costs and Time in Public Works Projects – Critical Analysis of the NHS National Programme for IT
  Yu, Echo 2013 GRIN Verlag GmbH
• Employers' Perception of Graduates with Entry-Level Technical Skills – A Comparative Analysis of Construction Industries and Programs in Ghana and Nigeria
  Acheampong, Philip 2013 Scholars' Press
• The essence of computation – complexity, analysis, transformation ; essays dedicated to Neil D. Jones
  Mogensen, Torben Æ. ; Jones, Neil D. 2002 Springer
• The Deductive Spreadsheet
  Cervesato, Iliano 2013 Springer Berlin Heidelberg
• Vorkurs Informatik – Der Einstieg ins Informatikstudium
  Müller, Heinrich ; Weichert, Frank 2017 Springer Fachmedien Wiesbaden
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Selection of Main Mechanical Ventilators for Underground Coal Mines – A Case Study
  Jha, Ajay Kumar 2017 Springer International Publishing
• Sensitivity analysis of vector unconstrained binary quadratic programming problems
  Emeličev, Vladimir A. ; Girlich, Eberhard ; Nikulin, Jurij V. 2001 Univ., Fak. für Mathematik
• A Programmer-Friendly and Portable Framework for High Performance Image Analysis and Processing
  2013 Prior Art Publishing GmbH
• Discrete event simulation – modeling, programming, and analysis
  Fishman, George S. 2001 Springer
• 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
  Maiza, Claire 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis
  Höfig, Kai Bodo ; Rombach, Dieter ; Liggesmeyer, Peter ; Bomarius, Frank 2013 Fraunhofer-Verl.
• Understanding Petri Nets – Modeling Techniques, Analysis Methods, Case Studies
  Reisig, Wolfgang 2013 Springer Berlin Heidelberg
• A Computational Non-commutative Geometry Program for Disordered Topological Insulators
  Prodan, Emil 2017 Springer International Publishing
• Challenges and potentials of channeling local philanthrophy towards development and social justice and the role of Waqf (Islamic and Arabic-civic endowments) in building community foundations – the case of Egypt
  Daly, Marwa ˜el-œ
• Analysis of the German EXIST-II-Program and its transferability to Mexico
  Gutiérrez-Díaz, Claudia Erika 2013 Eul
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• From data analysis to healthy work design – documentation of the conference
  Bödeker, Wilfried 1999 Wirtschaftsverl. NW, Verl. für Neue Wiss.