Lecture Notes in Computer Science is a series of computer science books published by Springer Science+Business Media since 1973. The series contains proceedings...
2 KB (97 words) - 10:34, 13 July 2025
Proof for FLP", in Blanchette, Jasmin Christian; Merz, Stephan (eds.), Interactive Theorem Proving, Lecture Notes in Computer Science, vol. 9807, Springer...
43 KB (4,770 words) - 23:19, 19 June 2025
Service (systems architecture) (redirect from Service (computer science))
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-540-30817-1...
18 KB (1,994 words) - 20:54, 14 December 2024
computation". Category Theory Applied to Computation and Control. Lecture Notes in Computer Science. Vol. 25. Springer. pp. 151–163. doi:10.1007/3-540-07142-3_75...
18 KB (1,671 words) - 03:37, 10 May 2025
Lecture Notes may refer to the following book series, published by Springer Science+Business Media Lecture Notes in Computer Science Lecture Notes in...
264 bytes (60 words) - 18:22, 18 July 2020
Prover," Ninth International Conference on Automated Deduction Lecture Notes in Computer Science 310, pages 748–749, Argonne, Illinois, May 1988. Springer-Verlag...
11 KB (1,558 words) - 22:27, 23 November 2024
parallel programs". Semantics of Concurrent Computation. Lecture Notes in Computer Science. Vol. 70. pp. 172–190. doi:10.1007/BFb0022469. ISBN 3-540-09511-X...
25 KB (2,530 words) - 20:35, 4 August 2025
Algebraic Attacks in White-Box Implementations" (PDF). Advances in Cryptology – EUROCRYPT 2021. Lecture Notes in Computer Science. Vol. 12697. pp. 219–248...
20 KB (2,480 words) - 13:20, 15 July 2025
Inheritance (object-oriented programming) (redirect from Inheritance (computer science)/object-oriented programming)
programmers do with inheritance in Java (PDF). ECOOP 2013–Object-Oriented Programming. Lecture Notes in Computer Science. Vol. 7920. Springer. pp. 577–601...
32 KB (3,816 words) - 09:34, 16 May 2025
Fiat-Shamir Transformation in the Quantum Random-Oracle Model". Advances in Cryptology – CRYPTO 2019. Lecture Notes in Computer Science. Vol. 11693. Springer...
8 KB (1,068 words) - 17:51, 12 July 2025
Hash table (redirect from Load factor (computer science))
Symposium, Copenhagen, Denmark, September 7–9, 2009, Proceedings. Lecture Notes in Computer Science. Vol. 5757. Berlin: Springer. pp. 682–693. CiteSeerX 10.1...
55 KB (6,230 words) - 14:13, 5 August 2025
AES-NI Instructions". In Gong, G.; Gupta, K.C. (eds.). Progress in Cryptology - INDOCRYPT 2010. Lecture Notes in Computer Science. Vol. 6498. Springer...
23 KB (3,051 words) - 16:00, 1 July 2025
Generator" (PDF). In Johansson, Thomas; Maitra, Subhamoy (eds.). Progress in Cryptology – INDOCRYPT 2003. Lecture Notes in Computer Science. Vol. 2904. Berlin...
12 KB (975 words) - 17:42, 26 May 2025
The Case of Dynamic Groups". In A. Menezes (ed.). Topics in Cryptology – CT-RSA 2005. Lecture Notes in Computer Science. Vol. 3376. Springer-Verlag. pp...
9 KB (1,058 words) - 10:52, 13 July 2024
Rocq (category Free software programmed in OCaml)
TPHOLs 2005, Oxford, UK, August 22–25, 2005, Proceedings. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer. pp. 98–113. doi:10.1007/11541868_7...
19 KB (1,882 words) - 14:23, 17 July 2025
of a Univariate Modular Equation". Advances in Cryptology — EUROCRYPT '96. Lecture Notes in Computer Science. Vol. 1070. pp. 155–165. doi:10.1007/3-540-68339-9_14...
5 KB (767 words) - 23:54, 7 February 2025
NSW, Australia, October 21–25, 2013, Proceedings, Part I. Lecture Notes in Computer Science. Vol. 8218. Berlin: Springer. pp. 117–134. doi:10.1007/978-3-642-41335-3_8...
60 KB (6,203 words) - 21:05, 1 August 2025
"Broadcast Encryption". In Stinson, Douglas R. (ed.). Advances in Cryptology — CRYPTO' 93 (Extended abstract). Lecture Notes in Computer Science. Vol. 773. pp. 480–491...
7 KB (802 words) - 15:21, 29 April 2025
against Chosen Ciphertext Attack. Advances in Cryptology – EUROCRYPT 2000. Lecture Notes in Computer Science. Vol. 1807. Bruges, Belgium: Springer. pp...
29 KB (3,519 words) - 02:43, 7 August 2025
Circular layout (section Notes)
Concepts in Computer Science: 20th International Workshop, WG '94, Herrsching, Germany, June 16–18, 1994, Proceedings, Lecture Notes in Computer Science, vol...
17 KB (1,818 words) - 02:14, 5 November 2023
overdefined systems of equations", Advances in Cryptology – AsiaCrypt 2002, Lecture Notes in Computer Science, vol. 2501, Springer-Verlag, pp. 267–287,...
5 KB (386 words) - 20:10, 15 January 2025
GNUnet (redirect from Freeway (computer program))
Practical Anonymous Networking". In Dingledine, Roger (ed.). Privacy Enhancing Technologies. Lecture Notes in Computer Science. Vol. 2760. Springer Berlin...
20 KB (2,141 words) - 18:57, 2 April 2025
provable is provable in zero-knowledge". In Goldwasser, S. (ed.). Advances in Cryptology – CRYPTO '88. Lecture Notes in Computer Science. Vol. 403. Springer-Verlag...
64 KB (7,955 words) - 09:34, 4 July 2025
X25519 and X448". In Carlisle Adams; Jan Camenisch (eds.). Selected Areas in Cryptography – SAC 2017. Lecture Notes in Computer Science. Vol. 10719. Springer...
31 KB (4,145 words) - 23:11, 9 July 2025
with Shorter Public Keys". In Rogaway, P. (ed.). Advances in Cryptology – CRYPTO 2011. Lecture Notes in Computer Science. Vol. 6841. pp. 487–504. doi:10...
42 KB (4,692 words) - 23:00, 1 April 2025
for Indexing Geographic Data". Advances in Spatial and Temporal Databases. Lecture Notes in Computer Science. Vol. 8098. p. 146. doi:10.1007/978-3-642-40235-7_9...
23 KB (2,966 words) - 21:58, 20 July 2025
Secure Verifiable Secret Sharing". Advances in Cryptology – CRYPTO '91. Lecture Notes in Computer Science. Vol. 576. pp. 129–140. doi:10.1007/3-540-46766-1_9...
10 KB (1,191 words) - 08:27, 11 April 2024
Training". In Giles, C. Lee; Gori, Marco (eds.). Adaptive Processing of Sequences and Data Structures. Lecture Notes in Computer Science. Berlin, Heidelberg:...
90 KB (10,414 words) - 07:48, 4 August 2025
Analysis". In M. Bernardo, L. Padovani, and G. Zavattaro, editors, Formal Methods for Web Services, volume 5569 of Lecture Notes in Computer Science, pages...
13 KB (1,749 words) - 09:20, 27 May 2025
Satisfiability modulo theories (category Logic in computer science)
Verification Problems". In Damm, Werner; Hermanns, Holger (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 4590. Berlin, Heidelberg:...
46 KB (4,371 words) - 23:30, 22 May 2025