公開日 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
公開日 SpotWeb: detecting framework hotspots via mining open source repositories on the web Suresh Thummalapenta, Tao Xie MSR ’08: Proceedings of the 2008 international working conference on Mining software repositories | January 2008 ISBN: 978-1-60558-024-1