-
1Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on T... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on T...Texto bibliotecaCOLPOS
-
2Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on T... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on T...Texto bibliotecaCOLPOS
-
3Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings / Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /por Steffen, Bernhard. editor., Levi, Giorgio. editor., SpringerLink (Online service)
Publicado 2004Texto bibliotecaCOLPOS -
4Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings / Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /por Steffen, Bernhard. editor., Levi, Giorgio. editor., SpringerLink (Online service)
Publicado 2004Texto bibliotecaCOLPOS -
5Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /...por Margaria, Tiziana. editor., Steffen, Bernhard. editor., SpringerLink (Online service)
Publicado 1996Texto bibliotecaCOLPOS -
6Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings /...por Margaria, Tiziana. editor., Steffen, Bernhard. editor., SpringerLink (Online service)
Publicado 1996Texto bibliotecaCOLPOS -
7Challenges of a changing earth proceedings of the global change open science conference, Amsterdam, the Netherlands, 10-13 July 2001 Libro electrónico Challenges of a changing earth proceedings of the global change open science conference, Amsterdam, the Netherlands, 10-13 July 2001 Libro electrónicopor Steffen, Will editor, Jäger, Jill editor/a, Carson, David J. editor/a, Bradshaw, Clare editor/a
Publicado c200Texto bibliotecaECOSUR -
8Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers /por Margaria, Tiziana. editor., Steffen, Bernhard. editor., Rückert, Roland. editor., Posegga, Joachim. editor., SpringerLink (Online service)
Publicado 1998Texto bibliotecaCOLPOS -
9Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers /por Margaria, Tiziana. editor., Steffen, Bernhard. editor., Rückert, Roland. editor., Posegga, Joachim. editor., SpringerLink (Online service)
Publicado 1998Texto bibliotecaCOLPOS -
10Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /...por Brinksma, E. editor., Cleaveland, W. R. editor., Larsen, K. G. editor., Margaria, T. editor., Steffen, B. editor., SpringerLink (Online service)
Publicado 1995Texto bibliotecaCOLPOS -
11Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /... Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers /...por Brinksma, E. editor., Cleaveland, W. R. editor., Larsen, K. G. editor., Margaria, T. editor., Steffen, B. editor., SpringerLink (Online service)
Publicado 1995Texto bibliotecaCOLPOS -
12Global-regional linkages in the earth system Libro electrónico Global-regional linkages in the earth system Libro electrónicopor Tyson, Peter editor, Fu, Congbin editor/a, Fuchs, Roland editor/a, Lebel, Louis editor/a, Mitra, A. P. editor/a, Odada, Eric editor/a, Perry, John editor/a, Steffen, Will editor/a, Virji, Hassan editor/a
Publicado c200Texto bibliotecaECOSUR