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 9783540212973 Cover for 9783540418627 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
cover image for 9783540212973
Product Description: The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler te- nology, programming language implementation, and language design...read more
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 | About this edition: The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004).

10
cover image for 9783540418627
Product Description: ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials...read more (view table of contents, read Amazon.com's description)
By Etaps 200 (other contributor), European Symposium on Programming 2001 (other contributor) and David Sands
Edition summary (click for prices and details):

Paperback:

9783540418627 | Springer Verlag, April 1, 2001, cover price $129.00 | About this edition: ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software.

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: ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials...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: ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software.

displaying 1 to 15 | at end