Physical and digital books, media, journals, archives, and databases.
Results include
  1. Computer assisted manipulation of algebraic process specifications

    Groote, J. F. (Jan Friso), 1965-
    Amsterdam : Stichting Mathematisch Centrum, 2001.

  2. Linearization in parallel pCRL

    Groote, J. F. (Jan Friso), 1965-
    Amsterdam : Centrum voor Wiskunde en Informatica, 2000.

  3. Analysis of a distributed system for lifting trucks

    Groote, J. F. (Jan Friso), 1965-
    Amsterdam : Stichting Mathematisch Centrum, 2001.

Guides

Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search

Exhibits

Digital showcases for research and teaching.
No exhibits results found... Try a different search

EarthWorks

Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.