Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    alan l. selman
    (2)
    dodis, yevgeniy
    (2)
    jörg rothe
    (2)
    nielsen, jesper buus
    (2)
    steven homer
    (2)
    avigad, jeremy
    (1)
    lawrence c. paulson
    (1)
    mahboubi, assia
    (1)
    markus wenzel
    (1)
    shahab razavi
    (1)
    tobias nipkow
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer berlin heidelberg
    (5)
    springer us
    (2)
    springer, berlin springer nature switzerland ijcar community springer
    (2)
    Verlag
    Verlag
    ijcar community
    (2)
    springer
    (2)
    springer berlin heidelberg
    (5)
    springer nature switzerland
    (2)
    springer us
    (2)
    springer, berlin
    (2)
    Genre
    Genre
    mathematik
    (7)
    medizin
    (7)
    naturwissenschaften
    (7)
    technik
    (7)
    Schlagwort
    Schlagwort
    informatik
    (11)
    interactive proof systems
    (11)
    edv
    (9)
    complexity classes
    (4)
    cryptography
    (4)
    automated reasoning
    (3)
    complexity
    (3)
    computationalcomplexity
    (3)
    datenverarbeitung
    (3)
    datenverschlüsselung, kryptografie
    (3)
    interactiveproofsystems
    (3)
    logic
    (3)
    mathematik
    (3)
    proof theory
    (3)
    adaptive security
    (2)
    adaptivesecurity
    (2)
    algorithms
    (2)
    algorithmus
    (2)
    coding theory
    (2)
    codingtheory
    (2)
    communication complexity
    (2)
    communicationcomplexity
    (2)
    complexity classes and hierarchies
    (2)
    complexityclasses
    (2)
    computability
    (2)
    computational complexity
    (2)
    computational complexity
    (2)
    concurrent algorithms
    (2)
    concurrentalgorithms
    (2)
    counting classes
    (2)
    countingclasses
    (2)
    cryptographic primitives
    (2)
    cryptographic protocols
    (2)
    cryptographicpr
    (2)
    cryptographicprimitives
    (2)
    datensicherheit
    (2)
    datensicherung
    (2)
    distributed algorithms
    (2)
    equational logic and rewriting
    (2)
    first-order logic
    (2)
    formal methods
    (2)
    higher order logic
    (2)
    informatik, computer
    (2)
    information theory
    (2)
    interactive computation
    (2)
    interactive proof systems and zero-knowledge
    (2)
    kod
    (2)
    logic and verification
    (2)
    modal and temporal logics
    (2)
    nondeterminism
    (2)
    nonuniform complexity
    (2)
    nonuniformcomplexity
    (2)
    np-completeness
    (2)
    one-way functions
    (2)
    open access
    (2)
    parallelism
    (2)
    probabilistic complexity classes
    (2)
    probabilisticcomplexityclasses
    (2)
    public-key cryptography
    (2)
    relative computability
    (2)
    relativecomputability
    (2)
    rsa
    (2)
    sicherheit
    (2)
    theory of computation
    (2)
    undecidability
    (2)
    zero-knowledge proofs
    (2)
    al
    (1)
    algorithm analysis and proble
    (1)
    algorithm analysis and problem complexity
    (1)
    algorithmanalysisandprobl
    (1)
    algorithmanalysisandproblemcomplexity
    (1)
    allgemeines
    (1)
    artificial intelligence
    (1)
    asses
    (1)
    assesandhierarchies
    (1)
    co
    (1)
    code generation
    (1)
    compiler
    (1)
    comple
    (1)
    complexitytheory
    (1)
    computer science
    (1)
    computers
    (1)
    description logics
    (1)
    description logics,
    (1)
    formal logic
    (1)
    formal reasoning
    (1)
    formal specification
    (1)
    formal verification
    (1)
    formal verifications
    (1)
    formalmethods
    (1)
    formalreasoning
    (1)
    formalspecification
    (1)
    formalverification
    (1)
    foundationsofc
    (1)
    functional programming
    (1)
    functionalprogramming
    (1)
    graph theory
    (1)
    higher-order logic
    (1)
    higher-orderinteractiveproofsystems
    (1)
    informationstheorie
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    2002
    (1)
    2005
    (1)
    2010
    (2)
    2011
    (1)
    2014
    (1)
    2015
    (2)
    2018
    (1)
    2024
    (2)

    Datenschutz-Einstellungen