Výsledky vyhledávání - "Lecture Notes in Computer Science"
-
1
South African research contributions to Lecture Notes in Computer Science, 1973-2022
ISSN: 0038-2353, 1996-7489Vydáno: Pretoria Academy of Science of South Africa 01.01.2024Vydáno v 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…”
Získat plný text
Journal Article -
2
South African research contributions to Lecture Notes in Computer Science, 1973-2022
ISSN: 0038-2353, 1996-7489Vydáno: Academy of Science for South Africa (ASSAf) 01.01.2024Vydáno v South African journal of science (01.01.2024)“…Lecture Notes in Computer Science (LNCS) is a globally recognised publication outlet for the field…”
Získat plný text
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-5894Vydáno: 01.09.2024Vydáno v The bulletin of symbolic logic (01.09.2024)Získat plný text
Journal Article -
4
Lecture notes in computer science: research on hybrid grid algorithm of voronoi diagram
ISSN: 2271-2097, 2271-2097Vydáno: EDP Sciences 2018Vydáno v 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…”
Získat plný text
Journal Article -
5
Lecture Notes in Computer Science
ISBN: 9783032060846, 3032060842Vydáno: Switzerland Springer 2025Vydáno v Automated Reasoning with Analytic Tableaux and Related Methods (2025)Získat plný text
Kapitola
-
6
Lecture Notes in Computer Science
ISBN: 303204166X, 9783032041661Vydáno: Switzerland Springer 2025Vydáno v Frontiers of Combining Systems (2025)Získat plný text
Kapitola -
7
Lecture Notes in Computer Science
ISBN: 9783031986673, 3031986679Vydáno: Switzerland Springer 2025Vydáno v Computer Aided Verification (2025)Získat plný text
Kapitola -
8
Lecture Notes in Computer Science
ISBN: 3031986814, 9783031986819Vydáno: Switzerland Springer 2025Vydáno v Computer Aided Verification (2025)Získat plný text
Kapitola -
9
Lecture Notes in Computer Science
ISBN: 3031986784, 9783031986789Vydáno: Switzerland Springer 2025Vydáno v Computer Aided Verification (2025)Získat plný text
Kapitola -
10
Lecture Notes in Computer Science
ISBN: 9783032000552, 3032000556Získat plný textVydáno: Switzerland Springer International Publishing AG 2025
Kapitola -
11
Lecture Notes in Computer Science
ISBN: 3032013763, 9783032013767Vydáno: Switzerland Springer 2025Vydáno v Bridging the Gap Between AI and Reality (2025)Získat plný text
Kapitola -
12
Lecture Notes in Computer Science
ISBN: 9783031937521, 303193752XVydáno: Switzerland Springer 2025Vydáno v 3D Research Challenges in Cultural Heritage IV (2025)Získat plný text
Kapitola -
13
Lecture Notes in Computer Science
ISBN: 9783032050359, 3032050359Vydáno: Switzerland Springer 2025Vydáno v Electronic Voting (2025)Získat plný text
Kapitola -
14
Lecture Notes in Computer Science
ISBN: 9783031986840, 3031986849Vydáno: Switzerland Springer 2025Vydáno v Computer Aided Verification (2025)Získat plný text
Kapitola -
15
Lecture Notes in Computer Science
ISBN: 9783030171261, 3030171264Vydáno: Switzerland Springer International Publishing AG 2019Vydáno v Foundations of Software Science and Computation Structures (2019)Získat plný text
Kapitola -
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-1586Vydáno: Taylor & Francis Group 22.07.2009Vydáno v Cryptologia (22.07.2009)Získat plný text
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-7425Vydáno: 01.01.2007Vydáno v 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)…”
Získat plný text
Journal Article -
18
Lecture Notes in Computer Science
ISBN: 9783540441267, 3540441263Vydáno: Germany Springer Berlin / Heidelberg 2002Vydáno v Database and Expert Systems Applications (2002)Získat plný text
Kapitola -
19
Lecture Notes in Computer Science
ISBN: 3540425276, 9783540425274Vydáno: Germany Springer Berlin / Heidelberg 2001Vydáno v Database and Expert Systems Applications (2001)Získat plný text
Kapitola -
20
Lecture Notes in Computer Science
ISBN: 9783540679783, 3540679782Vydáno: Germany Springer Berlin / Heidelberg 2000Vydáno v Database and Expert Systems Applications (2000)Získat plný text
Kapitola