Top 87 nj PDF Book Page 3

book image

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)
·574 Pages
·2008
·5.97 MB

book image

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)
·340 Pages
·1997
·25.428 MB

book image

Business Process Management: 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

Phil Gilbert (auth.), Richard Hull, Jan Mendling, Stefan Tai (eds.)
·371 Pages
·2010
·6.82 MB

book image

Business Process Management Workshops: BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers

Sebastian Reinisch, Robert Mertens, Aliasghar Esteghlal, Frank Ruwolt, Martin Jähne (auth.), Michael zur Muehlen, Jianwen Su (eds.)
·826 Pages
·2011
·18.04 MB

book image

Algorithmic Decision Theory: Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings

Dorothea Baumeister, Gábor Erdélyi, Jörg Rothe (auth.), Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukià s (eds.)
·355 Pages
·2011
·4.039 MB

book image

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)
·483 Pages
·1996
·14.401 MB

book image

Document Analysis Systems V: 5th International Workshop, DAS 2002 Princeton, NJ, USA, August 19–21, 2002 Proceedings

Elisa Barney Smith, Xiaohui Qiu (auth.), Daniel Lopresti, Jianying Hu, Ramanujan Kashi (eds.)
·581 Pages
·2002
·14.467 MB