„Programmsynthese“

Suchergebnisse

81 Treffer

• Nutzen und Risiken der Freisetzung gentechnisch veränderter Pflanzen – Programmsynthese NFP 59 ; Chancen nutzen, Risiken vermeiden, Kompetenzen erhalten
  2012 vdf, Hochsch.-Verl. an der ETH
• Synthesizing program generators for embedded software
  Jung, Michael 2007 Shaker
• Logic based program synthesis and transformation – 14th international workshop ; revised selected papers
  Etalle, Sandro 2005 Springer
• Methoden zur rechnergestützten zeitbezogenen Analyse und Optimierung von Testabläufen beim Test integrierter Schaltungen
  Beyer, Heiko 2004 VDI-Verl.
• Program development in computational logic – a decade of research advances in logic based program development
  Bruynooghe, Maurice 2004 Springer
• Logic based program synthesis and transformation – 13th international workshop ; revised selected papers
  Bruynooghe, Maurice 2004 Springer
• Perspectives of system informatics – revised papers
  Broy, Manfred 2003 Springer
• Logic based program synthesis and transformation – 11th international workshop ; selected papers
  Pettorossi, Alberto 2002 Springer
• Logic based program synthesis and transformation – 10th international workshop ; selected papers
  Lau, Kung-Kiu 2001 Springer
• Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
  Albert, Elvira 2013 Springer
• Logic-based program synthesis and transformation – 21st international symposium ; revised selected papers
  Vidal, Germán 2012 Springer
• Plan generation using a method of deductive program synthesis
  Biundo-Stephan, Susanne 1990 DFKI
• Nachhaltige Siedlungs- und Infrastrukturentwicklung – von der Verwaltung zur aktiven Entwicklung ; Programmsynthese des Nationalen Forschungsprogramms 54
  2011 vdf, Hochsch.-Verl. an der ETH
• Logic-based program synthesis and transformation – 20th international symposium ; revised selected papers
  Alpuente, María 2011 Springer
• Program Development in Computational Logic – A Decade of Research Advances in Logic-Based Program Development
  Bruynooghe, Maurice 2004 Springer Berlin Heidelberg
• Case studies for the derivation of pointer algorithms
  Ehm, Thorsten 2005 Universität Augsburg
• Logic based program synthesis and transformation – 19th international symposium ; revised selected papers
  De Schreye, Danny 2010 Springer
• Approaches and applications of inductive programming – third international workshop ; revised papers
  Schmid, Ute 2010 Springer
• Logic based program synthesis and transformation – 17th international symposium ; revised selected papers
  King, Andrew Malcolm 2008 Springer
• Logic based program synthesis and transformation – 16th international symposium ; revised selected papers
  Puebla, Germán 2007 Springer