Top 479 somogyi va PDF Book Page 19

book image

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
·357 Pages
·2002
·2.49 MB

book image

Mo Molybdenum: Hydrous Molybdates of Groups VA to VIB Metals (System Nos. 18 to 52)

Karl-Heinz Tytko, Wolf-Dietrich Fleischmann, Dieter Gras, Eberhard Warkentin (auth.), Hartmut Katscher, Friedrich Schröder (eds.)
·384 Pages
·1985
·7.498 MB

book image

Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Peter Henderson, Matthew J. Henderson (auth.), Stephen H. Edwards, Gregory Kulczycki (eds.)
·308 Pages
·2009
·6.637 MB

book image

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)
·472 Pages
·2003
·9.143 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.