to main content
to side bar (if existing)
to footer with external links
KATALOGPORTAL
KARLA
Toggle navigation
News from the University Library
Requesting items
Your Account
Log Out
Log in
DE/EN
English
Deutsch
Warning! JavaScript is disabled in your browser. Therefore this website has limited usability.
/Search/Results?lookfor=Automatic+Program+Development&type=AllFields
Books & More
/EDS/Search?lookfor=Automatic+Program+Development&type=AllFields&view=
Articles & More
/Combined/Results?lookfor=Automatic+Program+Development
Combined results
(0)
Find
Search History
KATALOGPORTAL
KARLA
Search: Automatic Program Development
Not found what you are looking for? Check in
Onleihe
or make a
Purchase Request
Filter options
Books & More
Books, Journals, Online-Media and more from your Library
Showing
1
-
20
of
307
for search:
'Automatic Program Development'
, query time: 0.19s
1
Automatic Program Development : A Tribute to Robert Paige
Danvy, Olivier (Herausgeber)
1st ed. 2008
Dordrecht : Springer Netherlands, 2008
E-Book
Save to List
Saved in:
2
Development of automatic program verification for continuous function chart based on model checking
Wardana, Awang Noor Indra (Verfasser)
Kassel : Kassel University Press, 2009
Book
Save to List
Saved in:
3
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
Save to List
Saved in:
4
Traces, interpolants, and automata : a new approach to automatic software verification
Heizmann, Matthias (Verfasser)
Freiburg : Universität, 2015
E-Book
Save to List
Saved in:
5
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
Save to List
Saved in:
6
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
Save to List
Saved in:
7
MATLAB : advanced GUI development
Smith, Scott T.
Indianapolis, Ind. : Dog-Ear-Publ., 2006
Book
Save to List
Saved in:
8
Development of advanced analysis and simulation programs for EPR spectroscopy
Rein, Stephan (Verfasser)
Freiburg : Universität, 2019
E-Book
Save to List
Saved in:
9
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
Save to List
Saved in:
10
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
Save to List
Saved in:
11
Information Systems Development : Towards a Service Provision Society
Papadopoulos, George A. (Herausgeber)
1st ed. 2010
New York, NY : Springer US, 2010
E-Book
Save to List
Saved in:
12
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
Save to List
Saved in:
13
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
Save to List
Saved in:
14
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
Save to List
Saved in:
15
Handbook of research on digital libraries : design, development, and impact
Theng, Yin-Leng
Hershey : Information Science Reference, 2009
Book
Save to List
Saved in:
16
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
Save to List
Saved in:
17
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
Save to List
Saved in:
18
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
Save to List
Saved in:
19
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
Save to List
Saved in:
20
Practical workflow for SAP : effective business processes using SAP's webflow engine
Rickayzen, Alan
Bonn : Galileo Press, 2002
Book
Save to List
Saved in:
More results in Books & more
Not found what you are looking for?
Purchase Request
/
Onleihe
/
Interlibrary Loan
Articles & more
Loading...
Please enable JavaScript.
×
Loading...