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 9783540254201 Cover for 9783540253334 Cover for 9783540213055 Cover for 9783540213130 Cover for 9783540212980 Cover for 9783540212973 Cover for 9783540008972 Cover for 9783540008866 Cover for 9783540418627 Cover for 9783540418641 Cover for 9783540418634 Cover for 9783540672616 Cover for 9783540672630
1
cover image for 9783540254201
Product Description: ETAPS 2005 was the eighth 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 conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials...read more
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 | About this edition: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.

2
cover image for 9783540253334
Product Description: ETAPS 2005 was the eighth 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 conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials...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: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.

3
cover image for 9783540213055
Product Description: ETAPS 2004 was the seventh 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), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events)...read more
By Etaps 200 (other contributor), Fase 200 (other contributor), Tiziana Margaria-Steffen and Michel Wermelinger
Edition summary (click for prices and details):

Paperback:

9783540213055 | Springer-Verlag New York Inc, May 14, 2004, cover price $119.00 | About this edition: ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software.

4
cover image for 9783540213130
Product Description: This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the speci?cation, analysis, and implementation of programming languages and systems...read more
Edition summary (click for prices and details):

Paperback:

9783540213130 | Springer-Verlag New York Inc, April 28, 2004, cover price $129.00 | About this edition: This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004.

5
cover image for 9783540212980
Product Description: ETAPS 2004 was the seventh 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), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events)...read more
By Etaps 200 (other contributor), FOSSACS 2004 (other contributor) and Igor Walukiewicz
Edition summary (click for prices and details):

Paperback:

9783540212980 | Springer-Verlag New York Inc, April 28, 2004, cover price $139.00 | About this edition: ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software.

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).

8
cover image for 9783540008972
Product Description: The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7–9, 2003. FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS)...read more
By Etaps 200 (other contributor), FOSSACS 2003 (other contributor) and Andrew D. Gordon
Edition summary (click for prices and details):

Paperback:

9783540008972 | Springer Verlag, March 1, 2003, cover price $129.00 | About this edition: The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7–9, 2003.

9
cover image for 9783540008866
Product Description:   This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions...read more
By Pierpaolo Degano, Etaps 200 (other contributor) and European Symposium on Programming 2003 (other contributor)
Edition summary (click for prices and details):

Paperback:

9783540008866 | Springer Verlag, March 1, 2003, cover price $129.00 | About this edition:   This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.

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.

11
cover image for 9783540418641
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), FOSSACS 2001 (other contributor), Furio Honsell and Marion Miculan
Edition summary (click for prices and details):

Paperback:

9783540418641 | 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: ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson 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 v e 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), 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: ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software.

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