Suchergebnisse - "Lecture Notes in Computer Science."
-
1
South African research contributions to Lecture Notes in Computer Science, 1973-2022
ISSN: 0038-2353, 1996-7489Veröffentlicht: Pretoria Academy of Science of South Africa 01.01.2024Veröffentlicht in South African Journal of Science (01.01.2024)“… Lecture Notes in Computer Science (LNCS) is a globally recognised publication outlet for the field of Computer Science, including in South Africa …”
Volltext
Journal Article -
2
South African research contributions to Lecture Notes in Computer Science, 1973-2022
ISSN: 0038-2353, 1996-7489Veröffentlicht: Academy of Science for South Africa (ASSAf) 01.01.2024Veröffentlicht in South African journal of science (01.01.2024)“… Lecture Notes in Computer Science (LNCS) is a globally recognised publication outlet for the field …”
Volltext
Journal Article -
3
Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics . Studia Logica , vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic . Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - He
ISSN: 1079-8986, 1943-5894Veröffentlicht: 01.09.2024Veröffentlicht in The bulletin of symbolic logic (01.09.2024)Volltext
Journal Article -
4
Lecture notes in computer science: research on hybrid grid algorithm of voronoi diagram
ISSN: 2271-2097, 2271-2097Veröffentlicht: EDP Sciences 2018Veröffentlicht in ITM web of conferences (2018)“… Characteristics and performance of two grid methods, which include the growth method and the point by point scanning method of Voronoi diagram, are analyzed …”
Volltext
Journal Article -
5
Lecture Notes in Computer Science
ISBN: 3031986784, 9783031986789Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Computer Aided Verification (2025)Volltext
Buchkapitel
-
6
Lecture Notes in Computer Science
ISBN: 9783032000552, 3032000556Veröffentlicht: Switzerland Springer International Publishing AG 2025Veröffentlicht in Digital Education: Shaping Sustainable Lifelong Learning for All in the Era of AI (2025)Volltext
Buchkapitel -
7
Lecture Notes in Computer Science
ISBN: 9783031937521, 303193752XVeröffentlicht: Switzerland Springer 2025Veröffentlicht in 3D Research Challenges in Cultural Heritage IV (2025)Volltext
Buchkapitel -
8
Lecture Notes in Computer Science
ISBN: 9783031986840, 3031986849Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Computer Aided Verification (2025)Volltext
Buchkapitel -
9
Lecture Notes in Computer Science
ISBN: 9783032060846, 3032060842Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Automated Reasoning with Analytic Tableaux and Related Methods (2025)Volltext
Buchkapitel -
10
Lecture Notes in Computer Science
ISBN: 303204166X, 9783032041661Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Frontiers of Combining Systems (2025)Volltext
Buchkapitel -
11
Lecture Notes in Computer Science
ISBN: 3032013763, 9783032013767Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Bridging the Gap Between AI and Reality (2025)Volltext
Buchkapitel -
12
Lecture Notes in Computer Science
ISBN: 9783031986673, 3031986679Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Computer Aided Verification (2025)Volltext
Buchkapitel -
13
Lecture Notes in Computer Science
ISBN: 3031986814, 9783031986819Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Computer Aided Verification (2025)Volltext
Buchkapitel -
14
Lecture Notes in Computer Science
ISBN: 9783032050359, 3032050359Veröffentlicht: Switzerland Springer 2025Veröffentlicht in Electronic Voting (2025)Volltext
Buchkapitel -
15
Lecture Notes in Computer Science
ISBN: 9783030171261, 3030171264Veröffentlicht: Switzerland Springer International Publishing AG 2019Veröffentlicht in Foundations of Software Science and Computation Structures (2019)Volltext
Buchkapitel -
16
Reviews of Two Post-Quantum Cryptography Books: Bernstein, Daniel J., Buchmann, Johannes, and Dahmen, Erik, Post-Quantum Cryptography, 2009, Springer-Verlag, Berlin-Heidleberg, 245 pp., $89.95, hardcover. Buchmann, Johannes, and Ding, Jintai, Post-Quantum Cryptography: Second International Workshop, PQCrypto 2008 Proceedings, Lecture Notes in Computer Science (5299), 2008, Springer-Verlag, Berlin-Heidleberg, 229 pp., $64.95, paperback
ISSN: 0161-1194, 1558-1586Veröffentlicht: Taylor & Francis Group 22.07.2009Veröffentlicht in Cryptologia (22.07.2009)Volltext
Journal Article -
17
Review Essay: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, Anirem 2005 and on Organizations in Multi-Agent Systems, Ooop 2005, Utrecht, the Netherlands, July 25-26, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
ISSN: 1460-7425, 1460-7425Veröffentlicht: 01.01.2007Veröffentlicht in Journal of artificial societies and social simulation (01.01.2007)“… , July 25-26, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Berlin: Springer-Verlag, 2006) …”
Volltext
Journal Article -
18
Lecture Notes in Computer Science
ISBN: 9783540441267, 3540441263Veröffentlicht: Germany Springer Berlin / Heidelberg 2002Veröffentlicht in Database and Expert Systems Applications (2002)Volltext
Buchkapitel -
19
Lecture Notes in Computer Science
ISBN: 3540425276, 9783540425274Veröffentlicht: Germany Springer Berlin / Heidelberg 2001Veröffentlicht in Database and Expert Systems Applications (2001)Volltext
Buchkapitel -
20
Lecture Notes in Computer Science
ISBN: 9783540679783, 3540679782Veröffentlicht: Germany Springer Berlin / Heidelberg 2000Veröffentlicht in Database and Expert Systems Applications (2000)Volltext
Buchkapitel