论文与出版物 Digitaltechnik – eine praxisnahe Einführung Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger Published by Springer Verlag Berlin Heidelberg | January 2008
论文与出版物 Incentive Compatible Regression Learning Ofer Dekel, Felix Fischer, Ariel Procaccia Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2008
论文与出版物 A Programming Model for Concurrent Object-Oriented Programs Bart Jacobs, Frank Piessens, Jan Smans, Rustan Leino, Wolfram Schulte ACM Trans. Program. Lang. Syst. | January 2008, 第 31 卷 项目 项目
论文与出版物 An Automatic Verifier for Java-Like Programs Based on Dynamic Frames Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte FASE | January 2008 ISBN: 978-3-540-78742-6
论文与出版物 The Role of Abduction in Declarative Authorization Policies Mo Becker 10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008 10th International Symposium on Practical Aspects of Declarative Languages (PADL)
论文与出版物 On the Approximability of Combinatorial Exchange Problems Moshe Babaioff, Patrick Briest, Piotr Krysta International Symposium on Algorithmic Game Theory (SAGT’08) | January 2008
论文与出版物 Model-Based Software Testing and Analysis with C# Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Published by Cambridge University Press | January 2008 ISBN: 9780521687614
论文与出版物 Serving Comparative Shopping Links Non-invasively Renan Cattelan, Darko Kirovski, Deepak Vijaywargi MSR-TR-2008-14 | January 2008
论文与出版物 Constraint-Based Approach for Analysis of Hybrid Systems Sumit Gulwani, Ashish Tiwari Computer Aided Verification (CAV) | January 2008 项目