Shortcuts
SISSA Library . Default .
PageMenu- Home-
Page content

Ricerca Risultati

La tua ricerca per PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC restituito 17 Documenti

SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'
Display results in table format.

-


- Mathematics for the analysis of algorithms Greene, Daniel H. 1955- Mathematics for the analysis of algorithms005.1 GRE 1 -
Titolo: Mathematics for the analysis of algorithms
Autore: Greene, Daniel H. 1955-
Anno: 1990
Sezioni: 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 -
Titolo: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Autore: Schultz, Patrick
Anno: 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 -
Titolo: Number Theoretic Methods in Cryptography: Complexity lower bounds
Autore: Shparlinski, Igor E.
Anno: 1999
- A Proof Theory for General Unification Snyder, Wayne A Proof Theory for General UnificationOnline resource: Springer 5 -
Titolo: A Proof Theory for General Unification
Autore: Snyder, Wayne
Anno: 1991


-


Quick Search