ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Etaps 200 has written 15 work(s)
Search for other authors with the same name
displaying 1 to 15 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783540253334 Cover for 9783540418634 Cover for 9783540672616 Cover for 9783540672630
1
By Maura Cerioli, Etaps 200 (other contributor) and Fase 200 (other contributor)
Edition summary (click for prices and details):

Paperback:

9783540254201 | Springer Verlag, September 30, 2005, cover price $109.00

2
cover image for 9783540253334
Product Description: This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions...read more
By Etaps 200 (other contributor), Nicolas Halbwachs (editor) and Lenore D. Zuck (editor)
Edition summary (click for prices and details):

Paperback:

9783540253334 | Springer Verlag, September 30, 2005, cover price $169.00 | About this edition: This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.

6
By Cc 200 (other contributor), Evelyn Duesterwald and Etaps 200 (other contributor)
Edition summary (click for prices and details):

Paperback:

9783540212973 | Springer-Verlag New York Inc, April 28, 2004, cover price $109.00

12
cover image for 9783540418634
Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, held in Genova, Italy in April 2001.The 22 revised full papers presented were carefully reviewed and selected from a total of 74 submissions...read more
By Etaps 200 (other contributor), Fase 200 (other contributor) and Heinrich Hussmann
Edition summary (click for prices and details):

Paperback:

9783540418634 | Springer Verlag, April 1, 2001, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, held in Genova, Italy in April 2001.

14
cover image for 9783540672616
Product Description: This volume constitutes the refereed proceedings of the Third International Conference on Fundamental Approaches to Software Engineering, FASE 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 21 revised full papers presented together with three invited contributions and three system descriptions were carefully reviewed and selected from almost 60 submissions...read more (view table of contents, read Amazon.com's description)
By Etaps 200 (other contributor), Fase 200 (other contributor) and Thomas S. E. Maibaum (editor)
Edition summary (click for prices and details):

Paperback:

9783540672616 | Springer Verlag, April 1, 2000, cover price $109.00 | About this edition: This volume constitutes the refereed proceedings of the Third International Conference on Fundamental Approaches to Software Engineering, FASE 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.

15
cover image for 9783540672630
Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Compiler Construction, CC 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 46 submissions...read more (view table of contents, read Amazon.com's description)
By Etaps 200 (other contributor) and David A. Watt (editor)
Edition summary (click for prices and details):

Paperback:

9783540672630 | Springer-Verlag New York Inc, April 1, 2000, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 9th International Conference on Compiler Construction, CC 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000.

displaying 1 to 15 | at end