Lecture Notes in Computer Science

Συγγραφείς: Robin Dietrich, Philipp Spilger, Eric Müller, Johannes Schemmel, Alois C. Knoll

Πηγή: Lecture Notes in Computer Science, Machine Learning, Optimization, and Data Science

Lecture Notes in Computer Science

Συγγραφείς: Sergio Cabello, Panos Giannopoulos

Πηγή: Lecture Notes in Computer Science, Approximation and Online Algorithms

Lecture Notes in Computer Science

Συγγραφείς: Nuno Freitas, Carlos Veloso, Carlos Mavioso, Maria J. Cardoso, Hélder P. Oliveira, Jaime S. Cardoso

Πηγή: Lecture Notes in Computer Science, Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care

Lecture Notes in Computer Science

Συγγραφείς: Sonia Belaïd, Matthieu Rivain, Mélissa Rossi

Πηγή: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2025

Lecture Notes in Computer Science

Συγγραφείς: Mohammad Hossein Zolfagharnasab, Nuno Freitas, Tiago Gonçalves, Eduard Bonci, Carlos Mavioso, Maria J. Cardoso, Hélder P. Oliveira, Jaime S. Cardoso

Πηγή: Lecture Notes in Computer Science, Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care

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. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455

Συγγραφείς: Will Stafford

Πηγή: The Bulletin of Symbolic Logic. 30:427-431

South African research contributions to Lecture Notes in Computer Science, 1973–2022

Συγγραφείς: Filistéa Naudé, Jan H. Kroeze

Πηγή: South African Journal of Science; Vol. 120 No. 1/2 (2024)
South African Journal of Science, Vol 120, Iss 1/2 (2024)
South African Journal of Science, Volume: 120, Issue: 1-2, Pages: 1-14, Published: FEB 2024

Θεματικοί όροι: H1-99, Science (General), Science, Social Sciences, Social sciences (General), Q1-390, South Africa, Lecture Notes in Computer Science, bibliometrics, authorship, computer science researchers

Περιγραφή αρχείου: application/pdf; text/html

Σύνδεσμος πρόσβασης: https://www.ajol.info/index.php/sajsci/article/view/263521
https://doaj.org/article/5bdbc026f01f4b4c97d81ba4c92394d9
http://www.scielo.org.za/scielo.php?script=sci_arttext&pid=S0038-23532024000100011&lng=en&tlng=en

South African research contributions to Lecture Notes in Computer Science, 1973–2022

Συγγραφείς: Filistea Naude, Jan Kroeze

Θεματικοί όροι: Other information and computing sciences not elsewhere classified, authorship, Bibliometrics, Lecture Notes in Computer Science, South Africa, computer science researchers

Relation: https://figshare.com/articles/journal_contribution/South_African_research_contributions_to_Lecture_Notes_in_Computer_Science_1973_2022/28919507

Διαθεσιμότητα: https://doi.org/10.6084/m9.figshare.28919507.v1
https://figshare.com/articles/journal_contribution/South_African_research_contributions_to_Lecture_Notes_in_Computer_Science_1973_2022/28919507

Lecture Notes in Computer Science

Συγγραφείς: Amel Hidouri, Slimane Arbaoui, Ahmed Samet, Ali Ayadi, Tedjani Mesbahi, Romuald Boné, François de Bertrand de Beuvron

Πηγή: Lecture Notes in Computer Science, Computational Science – ICCS 2024

Lecture Notes in Computer Science

Συγγραφείς: Christian Majenz, Fabrizio Sisinni

Πηγή: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024

Lecture Notes in Computer Science

Συγγραφείς: Nouri Alnahawi, Kathrin Hövelmanns, Andreas Hülsing, Silvia Ritsch

Πηγή: Lecture Notes in Computer Science, Cryptology and Network Security

Lecture Notes in Computer Science

Συγγραφείς: Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

Πηγή: TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science

Συγγραφείς: Yann Falevoz & Julien Legriel

Πηγή: Euro-Par 2023: Parallel Processing Workshops

Lecture Notes in Computer Science

Συγγραφείς: A Javadpour, F Ja'fari, T Taleb

Πηγή: Distributed Applications and Interoperable Systems

Lecture Notes in Computer Science

Συγγραφείς: Bonakdarpour, Borzoo, Momtaz, Anik, Ničković, Dejan, Saraç, N. Ege

Πηγή: Lecture Notes in Computer Science ISBN: 9783031742330

Preface [to Lecture Notes in Computer Science 10960]

Συγγραφείς: Gervasi, Osvaldo, Murgante, Beniamino, Rocha, Ana Maria A. C., Taniar, David, Apduhan, Bernady O.

Συνεισφορές: Universidade do Minho

Περιγραφή αρχείου: application/pdf

Relation: 9783319951614; 0302-9743

Διαθεσιμότητα: https://hdl.handle.net/1822/57959

Byrtus, R., Frolík, S. (2024). Notes on Forward Kinematics of Generalised Robotic Snakes Based on Compass Ruler Algebra. In: Silva, D.W., Hitzer, E., Hildenbrand, D. (eds) Advanced Computational Applications of Geometric Algebra. ICACGA 2022. Lecture Notes in Computer Science, vol 13771. Springer, Cham. https://doi.org/10.1007/978-3-031-34031-4_12

Lecture Notes in Computer Science: BioASQ at CLEF2023: The Eleventh Edition of the Large-Scale Biomedical Semantic Indexing and Question Answering Challenge

Συγγραφείς: Nentidis, Anastasios, Krithara, Anastasia, Paliouras, Georgios, Farre Maduell, Eulalia, Lima Lopez, Salvador, Krallinger, Martin

Πηγή: Advances in Information Retrieval. ECIR 2023. Lecture Notes in Computer Science

Lecture Notes in Computer Science

Συγγραφείς: Keremer, O., Malay, F.C., Deveci, B., Kirci, P., Unal, P.

Πηγή: Lecture Notes in Computer Science

Lecture Notes in Computer Science

Συγγραφείς: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le

Πηγή: Fundamentals of Software Engineering (FSEN 2023)