Mathematics

Leonardo de Moura, Ruzica Piskac, Nikolaj Bjørner

MSR-TR-2008-104 | August 2008

M. J. Fairman, A. R. Price, G. Xue, M. Molinari, D. A. Nicole, T. M. Lenton, R. Marsh, K. Takeda, S. J. Cox, Kenji Takeda

Future Generation Computer Systems | Published by Elsevier | 2008 | Future Generation Computer Systems edition

Vipul Goyal, Abhishek Jain, Omkant Pandey, Amit Sahai

35th International Colloquium, ICALP 2008 | July 2008

Denny Zhou, Christopher J.C. Burges

MLG-2008: 6th International Workshop on Mining and Learning with Graphs, Helsinki, Finland | July 2008

David Wipf, Srikantan Nagarajan

Advances in Neural Information Processing Systems 20, MIT Press, 2008 | July 2008

, Yogesh Simmhan

16148 | July 2008

Omer Angel, Alexander E. Holroyd, Dan Romik

The Annals of Probability | June 2008, Vol 37: pp. 1970-1998

Martin Abadi

Concurrency, Graphs and Models | June 2008

Concurrency, Graphs and Models

ISBN: 978-3-540-68676-7

Adam Tauman Kalai, Yishay Mansour, Elad Verbin

STOC ’08 Proceedings of the fortieth annual ACM symposium on Theory of computing | May 2008

ISBN: 978-1-60558-047-0

Reid Andersen, Christian Borgs, Jennifer Chayes, John Hopcroft, Kamal Jain, Vahab Mirrokni, Shanghua Teng

April 2008