Search
Lexile Level
AR Level
AR Level
Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-Beauport, Qc, Canada, June 23-25, 2010, Revised Selected 9783642177958 by
Johnson, Michael -
Springer,
-2011
Dewey: 005.1
N/A
Programs as Diagrams: From Categorical Computability to Computable Categories (2023) 9783031348266 by
Pavlovic, Dusko -
Springer,
-2023
N/A
Introduction to Security Science: Basic Concepts and Mathematical Foundations 9783032009487 by
Pavlovic, Dusko -
Springer,
-2026
N/A
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows (2019) 9783030190514 by
Guttman, Joshua D -
Springer,
-2019
Dewey: 004
N/A