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
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
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
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
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
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
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
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
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
against Chosen Ciphertext Attack. Advances in Cryptology – EUROCRYPT 2000. Lecture Notes in Computer Science. Vol. 1807. Bruges, Belgium: Springer. pp...
26 KB (3,061 words) - 14:55, 4 August 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
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
"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
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
(International Symposium Sophia-Antipolis, France, June 27–29, 1984). Lecture Notes in Computer Science. Vol. 173. Springer. pp. 51–67. doi:10.1007/3-540-13346-1_2...
53 KB (6,679 words) - 02:52, 28 May 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
Malleability and MtGox". In Kutyłowski, Mirosław; Vaidya, Jaideep (eds.). Computer Security - ESORICS 2014. Lecture Notes in Computer Science. Vol. 8713. Cham:...
6 KB (638 words) - 20:31, 19 June 2025
ESC/Java (category Free computer programming tools)
2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science. Vol. 2021. pp. 500–517. doi:10.1007/3-540-45251-6_29. ISBN 3-540-41791-5...
8 KB (928 words) - 05:54, 19 July 2025
Choose the Round Constants" (PDF). Advances in Cryptology – CRYPTO 2017. Lecture Notes in Computer Science. Vol. 10402. Springer International Publishing...
9 KB (1,020 words) - 18:53, 29 May 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
2010, Nha Trang, Vietnam, July 19–21, 2010, Proceedings, Lecture Notes in Computer Science, vol. 6196, Springer, pp. 288–297, arXiv:1103.3309, doi:10...
31 KB (2,878 words) - 00:26, 2 August 2025
Metric dimension (graph theory) (section Notes)
Symposium, Milan, Italy, August 24-28, 2015, Proceedings, Lecture Notes in Computer Science, vol. 9235, Springer, pp. 115–126, doi:10.1007/978-3-662-48054-0_10...
20 KB (2,520 words) - 16:13, 28 November 2024
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
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
"Discovery and Exploitation of New Biases in RC4". Selected Areas in Cryptography. Lecture Notes in Computer Science. Vol. 6544. pp. 74–91. doi:10.1007/978-3-642-19574-7_5...
45 KB (5,091 words) - 05:33, 18 July 2025