Catalog

See 2 catalog results
Physical and digital books, media, journals, archives, and databases.
Results include

  1. Executable formal specifications in game development : design, validation and evolution

    Nummenmaa, Timo
    Tampere : Tampere University Press, 2013.

  2. Knowledge engineering and management : proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012)

    Heidelberg ; New York : Springer, ©2014.

    Presents selected papers from the 2013 International Conference on Intelligent Systems and Knowledge Engineering (ISKE2013) covering new findings and perspectives on future developments in the fields of artificial intelligence, machine learning, pattern recognition, data mining, knowledge engineering, information retrieval, information theory, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, and natural-language processing.

    Online SpringerLink

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.