„program generation“

Suchergebnisse

1.146 Treffer

• Recent advances in constraints – revised selected papers
  Larrosa, Javier ; O'Sullivan, Barry 2011 Springer
• Hardware and software – verification and testing ; revised selected papers
  Namjoshi, Kedar S. ; Zeller, Andreas ; Ziv, Avi 2011 Springer
• Supercell program: a combinatorial structure-generation approach for the local-level modeling of atomic substitutions and partial occupancies in crystals
  Okhotnikov, Kirill ; Charpentier, Thibault ; Cadars, Sylvian
• Probabilistic verification and synthesis of the next generation airborne collision avoidance system
  Essen, Christian von ; Giannakopoulou, Dimitra
• Empowerment of Women in Nepal – Role of Income Generation Programme
  Basnet, Sita Ram 2010 VDM Verlag Dr. Müller
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• A detailed investigation of the effectiveness of whole test suite generation
  Rojas, José Miguel ; Vivanti, Mattia ; Arcuri, Andrea ; Fraser, Gordon
• Neue Brücken bauen ... zwischen Generationen, Kulturen und Institutionen – Programmdokumentation
  Vogelmann, Ulrike 2010 Baden-Württemberg-Stiftung
• The application of FeynArts - a computeralgebraic program for the generation of Feynman graphs - to the process e+e_346 → ZH
  Küblbeck, Josef
• Developing a strategy for incorporating activities for the generation of income and employment within human settlements programmes – report of an expert group meeting ; Nairobi, 13-17 Nov. 1989
  1990 [s.n.] @
• ADEPT, a dynamic next generation sequencing data error-detection program with trimming
  Feng, Shihai ; Lo, Chien-Chi ; Li, Po-E ; Chain, Patrick S. G.
• APAB/4 - Programmiersprache der SAP – „Advanced Business Application Programming, 4th generation language“
  Dreßler, Markus 2007 GRIN Verlag GmbH
• Flat knitting – the new generation
  Raz, Samuel 1991 Meisenbach
• Program synthesis from domain specific object models – An investigation of relational semantics, model completion and automatic code generation for object oriented systems
  Faitelson, David 2010 VDM Verlag Dr. Müller
• Answer Set Programming for the Semantic Web – Building the Next-Generation Internet
  Schindlauer, Roman 2008 VDM Verlag Dr. Müller
• Utility Run Behavior Programs – Save $BNs With Behavior Change Energy Efficiency Programs!
  Lumor, King Kwabla 2015 LAP LAMBERT Academic Publishing
• LP Optimisation for the Next Milestone of the German Energy Transition – Optimising the Electricity Generation Mix in Germany by using a Linear Programming Approach
  Ludwig, Florian 2015 AV Akademikerverlag
• Seniorenpolitik im Wandel – Verbände und Gewerkschaften als Interessenvertreter der älteren Generation
  Schroeder, Wolfgang ; Munimus, Bettina ; Rüdt, Diana 2010 Campus-Verl.
• Festigkeitsanalysen eines HPLWR-Brennelements – Eine Anwendung des Finite Elemente Programms ANSYS auf ein Reaktorkonzept der 4. Generation
  Himmel, Steffen Roman 2009 VDM Verlag Dr. Müller
• Eisvogelsommer
  De Leeuw, Jan ; Erdorf, Rolf 2016 Gerstenberg