Refine Your Search
Book List
7
-
Categorical logic and type theory [electronic resource] / Bart Jacobs.
- 511.3
- Jacobs, Bart.
- Elsevier Science,
- c1999.
- Amsterdam ; New York :
-
Cognitive technology [electronic resource] : in search of a humane interface / edited by Barbara Gorayska, Jacob L. Mey.
- 153
- Elsevier,
- 1996.
- Amsterdam ; New York :
-
Humane interfaces : questions of method and practice in cognitive technology / edited by Jonathon P. Marsh, Barbara Gorayska, Jacob L. Mey.
- 004.019
- Elsevier,
- 1999.
- Amsterdam ; New York :
-
Analytical determination of nicotine and related compounds and their metabolites [electronic resource] / edited by John W. Gorrod and Peyton Jacob, III.
- 615.785
- Elsevier,
- 1999.
- Amsterdam ; New York :
-
Composition, deep structure, and evolution of continents [electronic resource] / edited by R.D. van der Hilst, W.F. McDonough.
- 551.13
- Elsevier Science,
- 1999.
- Amsterdam ; New York :
-
Functional neuroanatomy of the nitric oxide system [electronic resource] / editors, H.W.M. Steinbusch and J. de Vente, S.R. Vincent.
- 612.8042
- Elsevier,
- 2000.
- Amsterdam ; New York :
-
From fragments to objects [electronic resource] : segmentation and grouping in vision / edited by Thomas F. Shipley, Philip J. Kellman.
- 152.14
- Elsevier,
- 2001.
- Amsterdam ; New York :