Erscheinungsjahr
Medientyp
Datenquelle
Fach
Synonyme wurden verwendet für: mathematischer Beweis
Suche ohne Synonyme: keywords:("mathematischer Beweis")
Verwendete Synonyme:
- mathematical justification
- mathematical proof
- mathematische rechtfertigung
1–20 von 2.466 Ergebnissen
Sortieren:
Sortieren:
-
Unifying Leakage Models: From Probing Attacks to Noisy Leakage
Tema Archiv | 2014|Schlagwörter: mathematischer Beweis -
Replacing a Random Oracle: Full Domain Hash from Indistinguishability Obfuscation
Tema Archiv | 2014|Schlagwörter: mathematischer Beweis -
Oracle-dependent properties of the lattice of NP sets
Tema Archiv | 1983|Schlagwörter: MATHEMATISCHER BEWEIS -
Tight Security Bounds for Key-Alternating Ciphers
Tema Archiv | 2014|Schlagwörter: mathematischer Beweis -
Non-malleability from Malleability: Simulation-Sound Quasi-Adaptive NIZK Proofs and CCA2-Secure Encryption from Homomorphic Signatures
Tema Archiv | 2014|Schlagwörter: mathematischer Beweis -
Salvaging Indifferentiability in a Multi-stage Setting
Tema Archiv | 2014|Schlagwörter: mathematischer Beweis -
Computing argumentation semantics in answer set programming
Tema Archiv | 2009|Schlagwörter: mathematischer Beweis -
An axiomatic basis for computer programming
Tema Archiv | 1983|Schlagwörter: MATHEMATISCHER BEWEIS -
The capacity of average and peak-power-limited quadrature Gaussian channels
Tema Archiv | 1995|Schlagwörter: mathematischer Beweis -
Deja Q: Using Dual Systems to Revisit q-Type Assumptions
Tema Archiv | 2014|Schlagwörter: mathematischer Beweis -
A strong version of the redundancy-capacity theorem of universal coding
Tema Archiv | 1995|Schlagwörter: mathematischer Beweis -
Deadlock absence proofs for networks of communicating processes
Tema Archiv | 1979|Schlagwörter: MATHEMATISCHER BEWEIS -
Universal coding for the Slepian-Wolf data compression system and the strong converse theorem
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
On relaxation algorithms in computation of noncooperative equilibria
Tema Archiv | 1994|Schlagwörter: mathematischer Beweis -
Neural network for solving linear programming problems with bounded variables
Tema Archiv | 1995|Schlagwörter: mathematischer Beweis