Results for Etaps 200

ISBN.nu

search for books and compare prices

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

Fundamental Approaches to Software Engineering: 8th International Conference, Fase 2005 Edinburgh, Uk, April 4-8, 2005, Proceedings

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)

See complete details on each edition (1 edition listed)

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.

Tools And Algorithms for the Construction And Analysis of Systems: 11th International Conference, TACAS, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, ETAPS 2005, Edinburgh, UK, Ap

By Etaps 200 (other contributor), Nicolas Halbwachs (editor) and Lenore D. Zuck (editor)

See complete details on each edition (1 edition listed)

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.

Fundamental Approaches to Software Engineering: 7th International Conference, Fase 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona

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

See complete details on each edition (1 edition listed)

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.

Programming Languages And Systems: 13th European Symposium on Programming, ESOP 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcel

By Etaps 200 (other contributor), European Symposium on Programming 2004 and David A. Schmidt (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540213130 | Springer-Verlag New York Inc, April 28, 2004, cover price $129.00

Foundations of Software Science and Computation Structures: 7th International Conference, Fossacs 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona,

By Etaps 200 (other contributor), FOSSACS 2004 (other contributor) and Igor Walukiewicz

See complete details on each edition (1 edition listed)

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.

Compiler Construction: 13th International Conference, Cc 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona

By Cc 200 (other contributor), Evelyn Duesterwald and Etaps 200 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

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

Compiler Construction: 12th International Conference, Cc 2003 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland,

By Etaps 200 (other contributor) and Gorel Hedin

See complete details on each edition (1 edition listed)

Paperback:

9783540009047 | Springer Verlag, April 1, 2003, cover price $99.00

Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw

Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003. The 26 revised full papers presented together with an invited paper were carefully reviewed and selected from 96 submissions...read more

By Etaps 200 (other contributor), FOSSACS 2003 (other contributor) and Andrew D. Gordon

See complete details on each edition (1 edition listed)

Paperback:

9783540008972 | Springer Verlag, March 1, 2003, cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003.

Programming Languages and Systems: 12th European Symposium on Programming, Esop 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003

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)

See complete details on each edition (1 edition listed)

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.

Programming Languages and Systems: 10th European Symposium on Programming, Esop 2001, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2001

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

See complete details on each edition (1 edition listed)

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.

Foundations of Software Science and Computation Structures: 4th International Conference, Fossacs 2001, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2001, Genova

By Etaps 200 (other contributor), FOSSACS 2001 (other contributor), Furio Honsell and Marion Miculan

See complete details on each edition (1 edition listed)

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.

Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001, Genova, Italy,

Product Description: ETAPS 2001 is 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 comprises 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

By Etaps 200 (other contributor), Fase 200 (other contributor) and Heinrich Hussmann

See complete details on each edition (1 edition listed)

Paperback:

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

Programming Languages and Systems: 9th European Symposium on Programming, Esop 2000, Held As Part of the Joint European Conferences on Theory and Practice of Sopftware, Etaps 2000 berli

Product Description: ETAPS 2000 was the third 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), 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), European Symposium on Programming 2000 (other contributor) and Gert Smolka (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540672623 | Springer Verlag, April 1, 2000, cover price $119.00 | About this edition: ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software.

Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin

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)

See complete details on each edition (1 edition listed)

Paperback:

9783540672616 | Springer Verlag, April 1, 2000, cover price $109.00 | About this edition: ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software.

Compiler Construction: 9th International Conference, Cc 2000, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin, Germany

(view table of contents)

By Etaps 200 (other contributor) and David A. Watt (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540672630 | Springer-Verlag New York Inc, April 1, 2000, cover price $99.00

displaying 1 to 15 | at end