CiNii Books Author - European Conferences on Theory and Practice of Software

41

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, April 7-11, 2003 : proceedings

Görel Hedin (ed.)

Springer c2003 Lecture notes in computer science 2622

Available at 24 libraries

43

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Andrew D. Gordon (ed.)

Springer c2003 Lecture notes in computer science 2620

Available at 23 libraries

45

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Hubert Garavel, John Hatcliff (eds.)

Springer c2003 Lecture notes in computer science 2619

Available at 24 libraries

47

Compiler Construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

R. Nigel Horspool (ed.)

Springer c2002 Lecture notes in computer science 2304

Available at 27 libraries

49

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Joost-Pieter Katoen, Perdita Stevens (eds.)

Springer c2002 Lecture notes in computer science 2280

Available at 25 libraries

51

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tiziana Margaria, Wang Yi (eds.)

Springer c2001 Lecture notes in computer science 2031

Available at 31 libraries

53

Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Reinhard Wilhelm (ed.)

Springer c2001 Lecture notes in computer science 2027

Available at 31 libraries

55

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

David Sands (ed.)

Springer c2001 Lecture notes in computer science 2028

Available at 31 libraries

57

Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Jerzy Tiuryn (ed.)

Springer c2000 Lecture notes in computer science 1784

Available at 39 libraries

59

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Gert Smolka (ed.)

Springer c2000 Lecture notes in computer science 1782

Available at 39 libraries

European Conferences on Theory and Practice of Software

Search Results41-60 of 66

Search this author

Related Authors