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

[1]
zurück
1
2
3
4
5
6
7
8
9
10
11
weiter
[12]

Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Ruhe, Günther (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

A primer on scientific programming with Python

Langtangen, Hans Petter (Verfasser)

2. edition

Berlin : Springer, 2011

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

Proceedings of the 2000 International Conference on Software Engineering, ICSE 2000 : the new Millenium ; June 4 - 11, 2000, Limerick, Ireland

International Conference on Software Engineering (22 : 2000 : Limerick)

New York : Assoc. for Computing, 2000

Buch

Proceedings of the 1997 International Conference on Software Engineering, ICSE 97 : May 17 - 23, 1997, Boston, Massachusetts, USA

International Conference on Software Engineering (19 : 1997 : Boston, Mass.)

New York : Assoc. for Computing, 1997

Buch

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

E-Book

Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings

Miguel, Ian (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Proceedings / Seventeenth National Conference on Artificial Intelligence (AAAI-2000), Twelfth Innovative Applications of Artificial Intelligence Conference (IAAI-2000) : [July 30 - August 3, 2000, Austin, Texas, USA]

National Conference on Artificial Intelligence (17 : 2000 : Austin, Tex.)

Menlo Park, Calif. : AAAI Press, 2000

Buch

Digital libraries : technology and management of indigenous knowledge for global access : 6. International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8 - 12, 2003 ; proceedings

Sembok, Tengku Mohd Tengku (Herausgeber)

Berlin : Springer, 2003

Buch

Proceedings of the 1999 International Conference on Software Engineering : May 16 -22, 1999, Los Angeles, California, USA

International Conference on Software Engineering (21 : 1999 : Los Angeles, Calif.)

New York, NY : Association for Computing Machinery, 1999

Buch

Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing : Philadelphia, Pennsylvania, May 22 - 24, 1996

Symposium on Theory of Computing (28 : 1996 : Philadelphia, Pa.)

New York, NY : ACM Pr., 1996

Buch

Proceedings of the Twelfth National Conference on Artificial Intelligence : [July 31 - August 4, 1994, Seattle, Washington]
2.

National Conference on Artificial Intelligence (12 : 1994 : Seattle, Wash.)

Menlo Park [u.a.] : AAAI Press [u.a.], 1994

Buch

Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Oriol, Manuel (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Third International Conference on Tools for Artificial Intelligence : TAI '91 ; November 5 - 8, 1991, San Jose, California

International Conference on Tools for Artificial Intelligence (3 : 1991 : San José, Calif.)

Los Alamitos, Calif. [u.a.] : IEEE Computer Society Press, 1991

Buch

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Suzuki, Kenji (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Digest of technical papers / 1998 IEEE/ACM International Conference on Computer-Aided Design, November 8 - 12, 1998, San Jose, California

Yasuura, Hiroto

New York, NY : Association for Computing Machinery, 1998

Buch

Proceedings / Nineteenth National Conference on Artificial Intelligence (AAAI-04), Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-04) : [July 25 - 29, 2004, San Jose, California]

National Conference on Artificial Intelligence (19 : 2004 : San José, Calif.)

Menlo Park, Calif. : AAAI Press, 2004

Buch

Text, speech and dialogue : 8th international conference ; proceedings

Matoušek, Václav (Herausgeber)

Berlin : Springer, 2005

Buch

Software engineering - ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6 - 10, 1999 ; proceedings

Nierstrasz, Oscar (Hrsg)

[New York] : ACM, 1999

Buch

Information security applications : 4th international workshop ; revised papers

Chae, Kijoon (Herausgeber)

Berlin : Springer, 2004

Buch

[1]
zurück
1
2
3
4
5
6
7
8
9
10
11
weiter
[12]

Treffer 41 - 60 von 228

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken