Shortcuts
SISSA Library . Default .
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Ihre Suche nach PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC ergibt 17 Einträge

Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien
Suchergebnisse in Tabellenform anzeigen.

-


- Mathematics for the analysis of algorithms Greene, Daniel H. 1955- Mathematics for the analysis of algorithms005.1 GRE 1 -
Titel: Mathematics for the analysis of algorithms
Verfasser: Greene, Daniel H. 1955-
Jahr: 1990
Literaturabteilungen: 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 -
Titel: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Verfasser: Schultz, Patrick
Jahr: 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 -
Titel: Number Theoretic Methods in Cryptography: Complexity lower bounds
Verfasser: Shparlinski, Igor E.
Jahr: 1999
- An Introduction to Quantum Computing Algorithms Pittenger, Arthur O. An Introduction to Quantum Computing AlgorithmsOnline resource: Birkhäuser 4 -
Titel: An Introduction to Quantum Computing Algorithms
Verfasser: Pittenger, Arthur O.
Jahr: 2000
- A Proof Theory for General Unification Snyder, Wayne A Proof Theory for General UnificationOnline resource: Springer 5 -
Titel: A Proof Theory for General Unification
Verfasser: Snyder, Wayne
Jahr: 1991


-


Schnellsuche