Author Search Results

1

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings /

Published 1996
“...TACAS (Conference) Passau, Germany)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
2

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /

Published 1997
“...TACAS (Conference) Enschede, Netherlands)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
3

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice...

Published 2002
“...TACAS (Conference) Grenoble, France)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
4

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice...

Published 2004
“...TACAS (Conference) Barcelona, Spain)...”

Call Number: Loading...
Located:
Loading...

Get full text

Conference Proceeding eBook
5

Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings /

Published 1996
“...TACAS...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
6

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice o...

Published 1998
“...TACAS (Conference) Lisbon, Portugal)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
7

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of...

Published 1999
“...TACAS (Conference) Amsterdam, Netherlands)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
8

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice...

Published 2000
“...TACAS 2000 Berlin, Germany...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
9

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice...

Published 2001
“...TACAS (Conference) Genoa, Italy)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding eBook Loading...
10

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

Published 2003
“...TACAS (Conference) Warsaw, Poland)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
11

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice...

Published 2005
“...TACAS (Conference) Edinburgh, Scotland)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
12

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice...

Published 2006
“...TACAS (Conference) Vienna, Austria)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
13

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice...

Published 2007
“...TACAS (Conference) Braga, Portugal)...”

Call Number: Loading...
Located:
Loading...

Conference Proceeding Book Loading...
14

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /

Published 1995
“...TACAS (Conference) Århus, Denmark)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
15

Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice...

Published 2010
“...TACAS (Conference) Paphos, Cyprus)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
16

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings /

Published 1997
“...TACAS (Conference) Enschede, Netherlands)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
17

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice...

Published 2007
“...TACAS (Conference) Braga, Portugal)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
18

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice...

Published 2009
“...TACAS (Conference) York, England)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
19

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice...

Published 2008
“...TACAS (Conference) Budapest, Hungary)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook
20

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice...

Published 2006
“...TACAS (Conference) Vienna, Austria)...”

Call Number: Loading...
Located:
Loading...

Connect to the full text of this electronic book

Conference Proceeding eBook