


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


default search action
Electronic Notes in Theoretical Computer Science, Volume 176
Volume 176, Number 1, May 2007
- Ian Mackie:
Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006. Electronic Notes in Theoretical Computer Science 176(1), Elsevier 2007 [contents]
Volume 176, Number 2, May 2007
- Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Electronic Notes in Theoretical Computer Science 176(2), Elsevier 2007 [contents]
Volume 176, Number 3, July 2007
- Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006. Electronic Notes in Theoretical Computer Science 176(3), Elsevier 2007 [contents]
Volume 176, Number 4, July 2007
- Grit Denker, Carolyn L. Talcott:
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 176(4), Elsevier 2007 [contents]

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.