Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (22 Treffer)
Filter schließen (22 Treffer)
Stichwort auswählen
Alle Stichworte
Mathematicalfoundations (22)
Cryptography (8)
Cryptanalysis (7)
Programmingtheory (7)
Authentication (6)
Formalmethods (6)
Hashfunctions (6)
Keymanagement (6)
Publickeycryptography (6)
Publickeytechniques (6)
Softwareengineering (6)
Symmetriccryptography (6)
Algorithms (5)
Encryption (5)
Modelchecking (5)
Privacy (5)
Automata (4)
Complexity (4)
Computationalstructures (4)
Computerscience (4)
Formalverification (4)
Logic (4)
Programanalysis (4)
Verification (4)
Computersecurity (3)
Imageprocessing (3)
Logicalfoundations (3)
Networkprotocols (3)
Programlogics (3)
Signalprocessing (3)
Artificialintelligence (2)
Calculus (2)
Church-Turingthesis (2)
Ciphertexts (2)
Computationallogic (2)
Computationalphotography (2)
Computervision (2)
Datacommunicationsystems (2)
Datastructures (2)
Documentanalysis (2)
Embeddedsystemssecurity (2)
Essentialunification (2)
Formallanguage (2)
Hilbert'stenthproblem (2)
Hyperarithmeticalsets (2)
Machinelearning (2)
Mathematicallogic (2)
Matrixalgebra (2)
Monoid (2)
Motionestimation (2)
Non-Standardanalysis (2)
Patternrecognition (2)
Privacypreserving (2)
Prooftheory (2)
Quantumcomputing (2)
Reconstruction (2)
Rsa (2)
Securityandprivacy (2)
Softwarescience (2)
Statisticaldataanalysis (2)
Aes (1)
Algebraicfaultanalysis (1)
Algorithmics (1)
Automat (1)
Biodiversity (1)
Biometrics (1)
Bisimulation (1)
Blockciphers (1)
Booleanalgebra (1)
Categorytheory (1)
Code (1)
Codes (1)
Complexitytheory (1)
Computationalmathematics (1)
Computer (1)
Computercommunication (1)
Computergraphics (1)
Computernetworks (1)
Computersystems (1)
Concurrentsystems (1)
Constraintsatisfaction (1)
Countermeasures (1)
Database (1)
Databases (1)
Datasecurity (1)
Digitalsignature (1)
Discretemathematics (1)
Distributedsystems (1)
Electroniclearning (1)
Engineering (1)
Faultanalysis (1)
Faultattack (1)
Faultattacks (1)
Finitestatesystems (1)
Formallogic (1)
Fpga (1)
Fuzzysets (1)
Geometry (1)
Graphcomputations (1)
Graphtheory (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Compiler und Übersetzer (5)
Mathematik: Logik (4)
Expertensysteme (3)
Mathematik für Informatiker (3)
Wissensbasierte Systeme (3)
Informationstheorie (2)
Mustererkennung (2)
Algorithmen und Datenstrukturen (1)
Kodierungstheorie und Verschlüsselung (kryptologie) (1)
Numerische Mathematik (1)
Sprache auswählen
Sprachen
Englisch (22)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (21)
Gebunden (1)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2¿5, 2021, Proceedings
Springer International Publishing
2021
Taschenbuch
520 Seiten
79,17
€
in Kürze
eng
Advances in Cryptology ¿ EUROCRYPT 2021
40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17¿21, 2021, Proceedings, Part III
Springer International Publishing
2021
Taschenbuch
604 Seiten
96,29
€
in Kürze
The 3-volume-set LNCS 12696 ¿ 12698 constitutes the refereed proceedings of the 40th Annual International Conference on the Theory and Applications o…
eng
Advances in Cryptology ¿ EUROCRYPT 2021
40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17¿21, 2021, Proceedings, Part II
Springer International Publishing
2021
Taschenbuch
952 Seiten
139,09
€
in Kürze
The 3-volume-set LNCS 12696 ¿ 12698 constitutes the refereed proceedings of the 40th Annual International Conference on the Theory and Applications o…
eng
Advances in Cryptology ¿ EUROCRYPT 2021
40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17¿21, 2021, Proceedings, Part I
Springer International Publishing
2021
Taschenbuch
864 Seiten
139,09
€
in Kürze
The 3-volume-set LNCS 12696 ¿ 12698 constitutes the refereed proceedings of the 40th Annual International Conference on the Theory and Applications o…
eng
Advances in Cryptology ¿ EUROCRYPT 2019
38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19¿23, 2019, Proceedings, Part II
Springer International Publishing
2019
Taschenbuch
800 Seiten
53,49
€
in Kürze
The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the T…
eng
Advances in Cryptology ¿ EUROCRYPT 2019
38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19¿23, 2019, Proceedings, Part III
Springer International Publishing
2019
Taschenbuch
816 Seiten
106,99
€
in Kürze
The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the T…
eng
Advances in Cryptology ¿ EUROCRYPT 2019
38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19¿23, 2019, Proceedings, Part I
Springer International Publishing
2019
Taschenbuch
784 Seiten
128,39
€
in Kürze
The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the T…
eng
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Springer International Publishing
2018
Taschenbuch
468 Seiten
106,99
€
in Kürze
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections betwe…
eng
Pattern Recognition
39th German Conference, GCPR 2017, Basel, Switzerland, September 12¿15, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
444 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 39th German Conference on Pattern Recognition, GCPR 2017, held in Basel, Switzerland, in Septem…
eng
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Springer International Publishing
2017
Gebunden
468 Seiten
149,79
€
in Kürze
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections betwe…
eng
Pattern Recognition
38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
468 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 38th German Conference on Pattern Recognition, GCPR 2016, held in Hannover, Germany, in Septemb…
eng
Constructive Side-Channel Analysis and Secure Design
6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers
Springer International Publishing
2015
Taschenbuch
284 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop, COSADE 2015, held in Berlin, Germany, in…
eng
Constructive Side-Channel Analysis and Secure Design
5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Springer International Publishing
2014
Taschenbuch
324 Seiten
51,36
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop, COSADE 2014, held in Paris, France, in A…
eng
Foundations of Software Science and Computational Structures
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
Springer Berlin Heidelberg
2005
Taschenbuch
540 Seiten
53,49
€
in Kürze
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that…
eng
Theoretical Computer Science
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
412 Seiten
53,49
€
in Kürze
The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on Octo…
eng
Foundations of Software Science and Computational Structures
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
460 Seiten
53,49
€
in Kürze
selection process, and to thank all our subreferees for their invaluable contributions to this process.
eng
Computer Science in Perspective
Essays Dedicated to Thomas Ottmann
Springer Berlin Heidelberg
2003
Taschenbuch
372 Seiten
53,49
€
in Kürze
By presenting state-of-the-art aspects of theoretical computer science and practical applications in various fields, this book commemorates the 60th …
eng
Foundations of Software Science and Computation Structures
5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
456 Seiten
53,49
€
in Kürze
ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that wa…
eng
LATIN 2002: Theoretical Informatics
5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
652 Seiten
106,99
€
in Kürze
This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun…
eng
Model Checking Software
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
328 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is…
eng
Foundations of Software Science and Computation Structures
4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
432 Seiten
53,49
€
in Kürze
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that…
eng
Mathematical Foundations of Programming Semantics
7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
Springer Berlin Heidelberg
1992
Taschenbuch
520 Seiten
53,49
€
in Kürze
This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegi…