„Program Analysis“

Suchergebnisse

7.892 Treffer

• FANAC – a shape analysis program for resonance parameter extraction from neutron capture data for light and medium-weight nuclei
  Fröhner, Fritz H. 1978 Ges. für Kernforschung mbH
• Further development of the LMFBR accident analysis codes HOPE and KADIS, automatic data transfer, new equation of state
  Fischer, Erhard A. ; Arnecke, Gerhard 1978 Kernforschungszentrum Karlsruhe GmbH
• Systems analysis applications to complex programs – proceedings of the IFAC-IFORS-IIASA workshop, Bielsko Biała, Poland, 1 - 6 June 1977
  Cichocki, K. 1978 Pergamon Press
• Linking automated data analysis and visualization with applications in developmental biology and high energy physics
  Rübel, Oliver 2009 Techn. Univ., Fachbereich Informatik
• Enumerative inequalities in integer programming
  Burdet, Claude-Alain
• Arrays in pure functional programming languages
  Grue, Klaus E.
• Integer programming and convex analysis: Intersection cuts from outer polars
  Balas, Egon
• A language for nonlinear programming problems
  Pugh, Robert E.
• Characterization theorems for stochastic programs
  Wets, Roger
• Relative specification and transformational re-use of functional programs
  Runciman, Colin ; Jagger, Nigel
• A “Functional + Logic” programming language in interpretation-compilation implementation
  Cheng, Gang ; Yun-Zheng, Zhang
• Integrating logic and functional programming
  Ait-Kaci, Hassan ; Nasr, Roger
• Compiling lisp programs for parallel execution
  Larus, James R.
• Reliable interactive programming with modules
  Tung, Sho-Huan Simon ; Dybvig, R. Kent
• Analysis of the behaviour of advanced reactor pressure vessel steels under neutron irradiation – final report of IAEA co-ordinated research programme 1977 - 1983
  1986 IAEA
• BASIC-Programme zur höheren Mathematik – Utilities zur Analysis mit e. Farbanh.
  Bergmann, Peter Gabriel 1986 Vieweg
• How effective is the BNT162b2 mRNA vaccine against SARS-CoV-2 transmission and infection? A national programme analysis in Monaco, July 2021 to September 2022
  Althaus, Thomas ; Overton, Christopher E. ; Devaux, Isabelle ; House, Thomas ; Lapouze, Arnaud ; Troel, Alexa ; Vanzo, Bertrand ; Laroche, Margaux ; Bordero, Alexandre ; Jorgensen, Pernille ; Pebody, Richard ; Voiglio, Eric J.
• A Long-step barrier method for convex quadratic programming
  Anstreicher, K. M. ; Hertog, D. den ; Roos, C. ; Terlaky, T.
• Summary report on technology characterizations IEA, energy technology systems analysis project
  Müller, Michael ; Rath-Nagel, Stefan ; Tosato, Gian C. 1982 Zentralbibliothek d. Kernforschungsanlage
• Performance and cost analysis of pressurized and non-pressurized domestic solar water heating systems with thermosyphonic flow
  Uhlemann, Reinhard 1983 Zentralbibliothek d. Kernforschungsanlage