Rezultati - "Àustria"

1

Slika na naslovnici

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /

Izdano 2006

eKnjiga

2

Slika na naslovnici

Fundamental Approaches to Software Engineering : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria...

od Baresi, Luciano.
Izdano 2006

eKnjiga

3

Slika na naslovnici

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Izdano 2006

eKnjiga

4

Slika na naslovnici

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /

Izdano 2007

eKnjiga

5

Slika na naslovnici

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings /

Izdano 2007

eKnjiga

6

Slika na naslovnici

Natural Language Processing and Information Systems : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedi.

od Kop, Christian.
Izdano 2006

eKnjiga

7

Slika na naslovnici

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Izdano 2005

eKnjiga

8

Slika na naslovnici

Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings.

od Mycroft, Alan.
Izdano 2006

eKnjiga

9

Slika na naslovnici

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /

Izdano 2007

eKnjiga

10

Slika na naslovnici

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /

Izdano 2006

eKnjiga

11

Slika na naslovnici

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings /

Izdano 2007

eKnjiga