Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0

oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München

+++ Versandkostenfreie Lieferung innerhalb Deutschlands

Haben Sie Fragen? Tel. 089/210233-0

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

Mein Bibliothekar

INFORMATIONEN

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN

Zu "Interactive proof systems" wurden 5 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

Springer Berlin (2)
Springer International Publishing (4)

Gebunden (1)
Kartoniert / Broschiert (5)

Avigad, Jeremy Mahboubi, Assia (1)
Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A. (2)
Benzmüller, Christoph Heule, Marijn Schmidt, Renate A. (1)

Rothe, Jörg (2)

algorithms (2)
artificial intelligence (1)
Automated reasoning (3)
automated reasoning (1)
code generation (1)
Complexity classes (2)
Complexity classes and hierarchies (2)
Computational complexity (2)
Cryptography (2)
Description logics (2)
Description logics, (1)
Equational logic and rewriting (3)
First-order logic (3)
formal logic (1)
formal methods (1)
formal verifications (1)
graph theory (1)
Interactive proof systems (6)
Interactive proof systems and zero-knowledge (2)
isabelle/hol (1)
Logic (3)
Logic and verification (3)
Modal and temporal logics (3)
model checking (1)
One-way functions (2)
Open Access (3)
Proof theory (3)
Public-key cryptography (2)
Zero-knowledge proofs (2)

2005 (1)
2010 (1)
2018 (1)
2024 (2)

Englisch (6)

HOME

Vorderes Coverbild Complexity Theory and Cryptology

Complexity Theory and Cryptology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Complexity Theory and Cryptology

Complexity Theory and Cryptology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Interactive Theorem Proving

Interactive Theorem Proving

96,29 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Reasoning

70,61 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Reasoning

Automated Reasoning

79,17 €*

Preise inkl. MwSt. zzgl. Versandkosten

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...