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

INFORMATIONEN

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "formal methods and theory of security" wurden 30 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (6)
Springer International Publishing (22)
Springer Singapore (2)

Gebunden (1)
Kartoniert / Broschiert (29)

Biere, Armin Bloem, Roderick (1)
Blazy, Sandrine Jensen, Thomas (1)
Bogdanov, Andrey (1)
Dunkelman, Orr Sanadhya, Somitra Kumar (1)
El Mrabet, Nadia De Feo, Luca Duquesne, Sylvain (1)
Felber, Pascal Garg, Vijay (1)
Feng, Lu Fisman, Dana (1)
Ganapathy, Vinod Jaeger, Trent Shyamasundar, R.K. (1)
Garay, Juan A. Gennaro, Rosario (2)
Ge, Chunpeng Yung, Moti (2)
Guo, Fuchun Huang, Xinyi Yung, Moti (1)
Jang-Jaccard, Julian Guo, Fuchun (1)
Kotulski, Zbigniew Ksiezopolski, Bogdan Mazur, Katarzyna (1)
Kutylowski, Miroslaw Vaidya, Jaideep (2)
Merz, Stephan Pang, Jun (1)
Nascimento, Anderson C.A. Barreto, Paulo (1)
Ranise, Silvio Swarup, Vipin (1)
Riis Nielson, Hanne Tuosto, Emilio (1)
Roman, Rodrigo Zhou, Jianying (1)
Sekerinski, Emil Moreira, Nelma Oliveira, José N. Ratiu, Daniel Guidotti, Riccardo Farrell, Marie Luckcuck, Matt Marmsoler, Diego Campos, José Astarte, Troy Gonnord, Laure Cerone, Antonio Couto, Luis Dongol, Brijesh Kutrib, Martin Monteiro, Pedro Delmas, David (1)
Susilo, Willy Mu, Yi (1)
Vaudenay, Serge Petit, Christophe (1)
Yoshida, Maki Mouri, Koichi (1)
You, Ilsun (1)
Zhou, Jianying Gal-Oz, Nurit Zhang, Jie Gudes, Ehud (2)
Zikas, Vassilis De Prisco, Roberto (1)

abstract interpretation (1)
access control (3)
adaptive security (1)
algorithm analysis and problem complexity (1)
anomaly detection (2)
application security (1)
architecting (1)
artificial intelligence (2)
authenticated encryption (1)
authentication (4)
block and stream ciphers (2)
cloud computing (4)
computation concurrency (1)
computation verification (1)
computer architecture (1)
Computer Science (1)
computer science (1)
computer security (2)
computing methodologies (1)
concurrency (1)
concurrent programming languages (1)
concurrernt systems (1)
cryptanalysis and other attacks (4)
cryptographic applications (1)
cryptographic primitives (2)
cryptographic protocols (3)
cryptographic theory (1)
cryptography (16)
cybercrime (1)
data communication systems (1)
data encryption (1)
data privacy (1)
data protection (1)
data security (2)
database and storage security (10)
database security (1)
dependable and fault-tolerant systems and networks (1)
design and analysis of algorithms (2)
differential attack (1)
Diffie-Hellman key exchange (2)
digital signatures (1)
distributed computer systems (1)
distributed programming languages (1)
distributed storage (1)
distributed systems (3)
distributed systems security (1)
DoS attacks (1)
dynamic networks (1)
education (1)
elliptic curve cryptography (1)
elliptic curves (2)
embedded and cyber-physical systems (1)
encryption (1)
fault tolerance (1)
formal approaches to software testing (1)
formal language definitions (1)
formal languages and automata theory (2)
formal methods (2)
formal methods and theory of security (30)
formal methods in biology and healthcare (1)
formal software verification (2)
FPGA (1)
fuzzy search (1)
general programming languages (1)
hardware attacks and countermeasures (1)
hardware reverse engineering (1)
hardware security implementation (1)
hardware verification and validation (1)
hash functions and message authentication codes (2)
homomorphic encryption (3)
human and societal aspects of security and privacy (7)
information-theoretic techniques (2)
interaction design (1)
internet (3)
intrusion detection (2)
intrusion/anomaly detection and malware mitigation (7)
key management (2)
logic (3)
logic and verification (2)
malware mitigation (2)
mathematical foundations of cryptography (2)
mobile devices (2)
model checking (4)
network security (14)
privacy (2)
reputation models (2)
reputation systems (2)
RSA (1)
security (2)
security and privacy (5)
security in hardware (7)
security services (9)
semantics and reasoning (2)
social computing (2)
software and application security (8)
symbolic and algebraic manipulation (2)
systems security (8)
Theory of computation (1)
trust (2)
trust frameworks (2)

2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2023 (1)
2024 (1)

Englisch (30)

HOME

1
2

Advances in Cryptology -- CRYPTO 2014

Advances in Cryptology -- CRYPTO 2014

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Coordination Models and Languages

Coordination Models and Languages

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Progress in Cryptology - AFRICACRYPT 2023

Progress in Cryptology - AFRICACRYPT 2023

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Security Applications

Information Security Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Advances in Cryptology -- CRYPTO 2014

Advances in Cryptology -- CRYPTO 2014

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Security and Trust Management

Security and Trust Management

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Security - ESORICS 2014

Computer Security - ESORICS 2014

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Theoretic Security

Information Theoretic Security

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Security and Cryptology

Information Security and Cryptology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Data and Applications Security and Privacy XXX

Data and Applications Security and Privacy XXX

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Security and Privacy

Information Security and Privacy

96,29 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods and Software Engineering

Formal Methods and Software Engineering

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Security and Cryptology

Information Security and Cryptology

85,59 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Security and Privacy

Information Security and Privacy

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Cryptography and Security Systems

Cryptography and Security Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Security - ESORICS 2014

Computer Security - ESORICS 2014

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Security and Cryptography for Networks

Security and Cryptography for Networks

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Lightweight Cryptography for Security and Privacy

Lightweight Cryptography for Security and Privacy

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Trust Management VIII

Trust Management VIII

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Security and Cryptology

Information Security and Cryptology

80,24 €*

Preise inkl. MwSt. zzgl. Versandkosten

Information Systems Security

Information Systems Security

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2

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

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

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