Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Search Results

Your Search for PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC returned 17 Items

The titles shown in BOLD have items available, non bold titles do not have any items in stock
Display results in table format.

-


- Mathematics for the analysis of algorithms Greene, Daniel H. 1955- Mathematics for the analysis of algorithms005.1 GRE 1 -
Title: Mathematics for the analysis of algorithms
Author: Greene, Daniel H. 1955-
Year: 1990
Collections: General.
- Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Schultz, Patrick Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Online Resource: Birkhäuser 2 -
Title: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Author: Schultz, Patrick
Year: 2019
- Number Theoretic Methods in Cryptography: Complexity lower bounds Shparlinski, Igor E. Number Theoretic Methods in Cryptography: Complexity lower bounds Online resource:  Birkhäuser 3 -
Title: Number Theoretic Methods in Cryptography: Complexity lower bounds
Author: Shparlinski, Igor E.
Year: 1999
- A Proof Theory for General Unification Snyder, Wayne A Proof Theory for General UnificationOnline resource: Springer 5 -
Title: A Proof Theory for General Unification
Author: Snyder, Wayne
Year: 1991


-


Quick Search