Suchergebnisse - Automatic Program Development

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

1
2
3
4
5
6
7
8
9
10
11
Nächster
[15]

Automatic Program Development : A Tribute to Robert Paige

Danvy, Olivier (Herausgeber)

1st ed. 2008

Dordrecht : Springer Netherlands, 2008

E-Book

Development of automatic program verification for continuous function chart based on model checking

Wardana, Awang Noor Indra (Verfasser)

Kassel : Kassel University Press, 2009

Buch

Development of automatic program verification for continuous function chart based on model checking

Wardana, Awang Noor Indra (Verfasser)

Kassel : Kassel University Press, 2009

E-Book

Traces, interpolants, and automata : a new approach to automatic software verification

Heizmann, Matthias (Verfasser)

Freiburg : Universität, 2015

E-Book

Entwicklung und Demonstration eines automatischen Betriebsprogrammgenerators (DV-Lösung) für den europäischen Schienengüterverkehr : Schlussbericht ; [Vorhaben zur Leitvision "Europäischer Schiengüterverkehr 2010"]

Henkel, Andreas

Hannover : RMCon, 2004

E-Book

Abschlussbericht des BMBF-Förderprojekts "Automatische seismische Vorauserkundung in Tunnelbohrmaschinen (AUTOSEIS)", Sonderprogramm "Geotechnologien", Teilvorhaben: Experimentelle Untersuchungen zur Geschwindigkeit und Bodendämpfung seismisch induzierter Wellen : Laufzeit: 01.08.2006 - 31.07.2009

Stahlmann, Joachim

Braunschweig : Techn. Univ., 2010

E-Book

MATLAB : advanced GUI development

Smith, Scott T.

Indianapolis, Ind. : Dog-Ear-Publ., 2006

Buch

Development of advanced analysis and simulation programs for EPR spectroscopy

Rein, Stephan (Verfasser)

Freiburg : Universität, 2019

E-Book

Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Hanus, Michael (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Puebla, Germán (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Information Systems Development : Towards a Service Provision Society

Papadopoulos, George A. (Herausgeber)

1st ed. 2010

New York, NY : Springer US, 2010

E-Book

Information Systems Development : Challenges in Practice, Theory, and Education Volume 2

Barry, Chris (Herausgeber)

1st ed. 2009

New York, NY : Springer US, 2009

E-Book

Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Hill, Patricia M (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Etalle, Sandro (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Handbook of research on digital libraries : design, development, and impact

Theng, Yin-Leng

Hershey : Information Science Reference, 2009

Buch

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Probing Experience : From Assessment of User Emotions and Behaviour to Development of Products

Westerink, Joyce (Herausgeber)

1st ed. 2008

Dordrecht : Springer Netherlands, 2008

E-Book

Progress in WWW Research and Development : 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008, Proceedings

Zhang, Yanchun (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Praktische Regeltechnik : Anwendungsorientierte Einführung für Maschinenbauer und Elektrotechniker

Orlowski, Peter F. (Verfasser)

9th ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

E-Book

Practical workflow for SAP : effective business processes using SAP's webflow engine

Rickayzen, Alan

Bonn : Galileo Press, 2002

Buch

1
2
3
4
5
6
7
8
9
10
11
Nächster
[15]

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 292

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken