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

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

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Meyer, Bertrand (Herausgeber)

1st edition 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

The teaching and learning of mathematics at university level : an ICMI study

Holton, Derek Allan

Dordrecht [u.a.] : Springer Science +Business Media, 2001

Buch

Statistics and data analysis for financial engineering

Ruppert, David (Verfasser)

New York : Springer, 2011

Buch

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Pfenning, Frank (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Component-Based Software Engineering : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Gorton, Ian (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

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

Precision livestock farming : [papers that were presented at the 1. European Conference on Precision Livestock Farming ; Berlin 15. - 19. Juni 2003]

Cox, Sidney W. R. (Herausgeber)

Wageningen : Wageningen Acad. Publ., 2003

Buch

Precision livestock farming

Cox, Sidney W. R. (Herausgeber)

Wageningen : Wageningen Academic Publishers, 2003

E-Book

Handbook of tunnel engineering
2. Basics and additional services for design and construction

Maidl, Bernhard (Verfasser)

revised and adapted version of the third German edition

Berlin : Ernst & Sohn, 2014

Buch

Logic for learning : learning comprehensible theories from structured data

Lloyd, John Wylie

Berlin [u.a.] : Springer, 2003

Buch

Handbook of electrical power system dynamics : modeling, stability, and control

Eremia, Mircea (Hrsg.)

Piscataway, , NJ : IEEE Press, 2013

Buch

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Dershowitz, Nachum (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Hermann, Miki (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Sutcliffe, Geoff (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings

van Leeuwen, Jan (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Springer handbook of speech processing : with 113 tables

Benesty, Jacob (Herausgeber)

Berlin : Springer, 2008

Buch

Tecnomatix plant simulation : modeling and programming by means of examples

Bangsow, Steffen (Verfasser)

Cham ; Heidelberg : Springer, [2015]

Buch

International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Arbab, Farhad (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Creating New Learning Experiences on a Global Scale : Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings

Duval, Erik (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Contact lines for electric railways : planning, design, implementation, maintenance

Kießling, Friedrich

2. rev. and enl. edition

Erlangen : Publicis Publ., 2009

Buch

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

Treffer 41 - 60 von 137

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken