- Sprache
-
Englisch
- Identifier
-
1168237939
- Reihe
-
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik; 2007, 4
Thema
Kryptologie
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Ähnliche Objekte (12)
Deterministically and Sudoku-Deterministically Recognizable Picture Languages
The dot-depth hierarchy versus iterated block products of DA
Formal Language Characterizations of P, NP, and PSPACE
Exponential Multiplication Schemes
The atnext/atprevious hierarchy on the starfree languages
Searching paths of constant bandwidth
Parameterized maximization
On parameterized enumeration
RAVEN : real-time analyzing and verification environment
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis
The Tecton Concept Library
Effiziente Generierung von Zustandsautomaten mit integriertem Datenpfad aus taktgebundenen VHDL-Verhaltensbeschreibungen
Deterministically and Sudoku-Deterministically Recognizable Picture Languages
The dot-depth hierarchy versus iterated block products of DA
Formal Language Characterizations of P, NP, and PSPACE
Exponential Multiplication Schemes
The atnext/atprevious hierarchy on the starfree languages
Searching paths of constant bandwidth
Parameterized maximization
On parameterized enumeration
RAVEN : real-time analyzing and verification environment
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis
The Tecton Concept Library
Effiziente Generierung von Zustandsautomaten mit integriertem Datenpfad aus taktgebundenen VHDL-Verhaltensbeschreibungen
Deterministically and Sudoku-Deterministically Recognizable Picture Languages
The dot-depth hierarchy versus iterated block products of DA
Formal Language Characterizations of P, NP, and PSPACE
Exponential Multiplication Schemes
The atnext/atprevious hierarchy on the starfree languages
Searching paths of constant bandwidth
Parameterized maximization
On parameterized enumeration
RAVEN : real-time analyzing and verification environment
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis
The Tecton Concept Library