Programming languages and software engineering

Wolfram Schulte

31st International Conference on Software Engineering, ICSE 2009 | January 2008

31st International Conference on Software Engineering, ICSE 2009

Project

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

Proc. International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008 | January 2008

Project Project

Andreas Blass, Yuri Gurevich

33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008). Springer Lecture Notes in Computer Science. | January 2008

Ariel D. Procaccia, Aviv Zohar, Jeffrey S. Rosenschein

AAMAS ’08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | January 2008

AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems

ISBN: 978-0-9817381-1-6

Zhengdong Lu, Miguel A. Carreira-Perpinan, Cristian Sminchisescu

Advances in Neural Information Processing Systems (NIPS 20) | January 2008

Advances in Neural Information Processing Systems (NIPS 20)

Andrew Begel

Proceedings of the 2008 International Workshop on Cooperative and Human Aspects of Software Engineering | January 2008

Proceedings of the 2008 International Workshop on Cooperative and Human Aspects of Software Engineering

ISBN: 978-1-60558-039-5

Mo Becker

10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008

10th International Symposium on Practical Aspects of Declarative Languages (PADL)

Manuel MT Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller

Proc ACM Workshop on Declarative Aspects of Multicore Programming | January 2008

Proc ACM Workshop on Declarative Aspects of Multicore Programming

Charles Bordenave, David McDonald, Alexandre Proutiere

ACM Sigmetrics | January 2008

Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, Karthik Bhargavan, James Leifer

Journal of Computer Security (Special issue for CSF’07) | January 2008