Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Notes in Theoretical Computer Science, Volume 153

> Home > Series > Electronic Notes in Theoretical Computer Science

Volume 153, Number 1, March 2006

- view
- export record
  dblp key:
  - conf/clase/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clase/2005
Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo:
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(1), Elsevier 2006 [contents]

Volume 153, Number 2, May 2006

- view
- export record
  dblp key:
  - conf/qapl/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qapl/2005
Antonio Cerone, Herbert Wiklicky:
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005. Electronic Notes in Theoretical Computer Science 153(2), Elsevier 2006 [contents]

Volume 153, Number 3, June 2006

- view
- export record
  dblp key:
  - conf/fac/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fac/2005
Oded Maler:
Proceedings of the First Workshop on Formal Verification of Analog Circuits, FAC 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(3), Elsevier 2006 [contents]

Volume 153, Number 4, June 2006

- view
- export record
  dblp key:
  - conf/slap/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slap/2004
Florence Maraninchi, Alain Girault, Marc Pouzet:
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004. Electronic Notes in Theoretical Computer Science 153(4), Elsevier 2006 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.