Výsledky hledání pro autora

1

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 : Lisbon, Portugal, March 28-April 4, 1998 : proceedings /

Vydáno 1998

“...ETAPS (konference)...”

Kniha

2

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings /

Vydáno 2001

“...ETAPS (konference)...”

Kniha

3

Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings /

Vydáno 2001

“...ETAPS (konference)...”

Kniha

4

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings /

Vydáno 2003

“...ETAPS (konference)...”

Kniha

5

Tools and algorithms for the construction and analysis of systems : Fifth International Workshop, TACAS '99, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99 : Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /

Vydáno 1999

“...ETAPS (konference)...”

Kniha

6

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, March 27-28, 2006 : proceedings /

Vydáno 2006

“...ETAPS (konference)...”

Kniha

7

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 /

Vydáno 2006

“...ETAPS (konference)...”

Kniha

8

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings /

Vydáno 2006

“...ETAPS (konference)...”

Kniha

9

Compiler construction : 16th International Conference, CC 2007 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 26-30, 2007 : proceedings /

Vydáno 2007

“...ETAPS (konference)...”

Kniha

10

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings /

Vydáno 2007

“...ETAPS (konference)...”

Kniha

11

Fundamental approaches to software engineering : 10th International Conference, FASE 2007 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings /

Vydáno 2007

“...ETAPS (konference)...”

Kniha

12

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 11, 2004 : proceedings /

Vydáno 2004

“...ETAPS (konference)...”

Kniha

13

Foundations of software science and computation structures : 7th International Conference, FoSSaCS 2004 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Vydáno 2004

“...ETAPS (konference)...”

Kniha

14

Fundamental approaches to software engineering : 7th International Conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Vydáno 2004

“...ETAPS (konference)...”

Kniha

15

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings /

Vydáno 2004

“...ETAPS (konference)...”

Kniha

16

Compiler construction : 14th International Conference, CC 2005 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings /

Vydáno 2005

“...ETAPS (konference)...”

Kniha

17

Compiler construction : 10th International Conference, CC 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings /

Vydáno 2001

“...ETAPS (konference)...”

Kniha

18

Compiler construction : 11th International Conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings /

Vydáno 2002

“...ETAPS (konference)...”

Kniha

19

Compiler construction : 12th International Conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings /

Vydáno 2003

“...ETAPS (konference)...”

Kniha

20

Foundations of software science and computation structures : 4th International Conference, FoSSaCS 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Vydáno 2001

“...ETAPS (konference)...”

Kniha

Související témata