default search action
Lecture Notes in Computer Science (LNCS), Volumes 13900-13999
- 13900David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi:
Prolog: The Next 50 Years. Lecture Notes in Computer Science 13900, Springer 2023, ISBN 978-3-031-35253-9 [contents] - 13901Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor:
Advanced Information Systems Engineering - 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings. Lecture Notes in Computer Science 13901, Springer 2023, ISBN 978-3-031-34559-3 [contents] - 13902Ansel Yoan Rodríguez-González, Humberto Pérez Espinosa, José Francisco Martínez Trinidad, Jesús Ariel Carrasco-Ochoa, José Arturo Olvera-López:
Pattern Recognition - 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21-24, 2023, Proceedings. Lecture Notes in Computer Science 13902, Springer 2023, ISBN 978-3-031-33782-6 [contents] - 13903Kristin Yvonne Rozier, Swarat Chaudhuri:
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Lecture Notes in Computer Science 13903, Springer 2023, ISBN 978-3-031-33169-5 [contents] - 13904Alberto Del Pia, Volker Kaibel:
Integer Programming and Combinatorial Optimization - 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings. Lecture Notes in Computer Science 13904, Springer 2023, ISBN 978-3-031-32725-4 [contents] - 13905Mehdi Tibouchi, Xiaofeng Wang:
Applied Cryptography and Network Security - 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13905, Springer 2023, ISBN 978-3-031-33487-0 [contents] - 13906Mehdi Tibouchi, Xiaofeng Wang:
Applied Cryptography and Network Security - 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13906, Springer 2023, ISBN 978-3-031-33490-0 [contents] - 13907Jianying Zhou, Lejla Batina, Zengpeng Li, Jingqiang Lin, Eleonora Losiouk, Suryadipta Majumdar, Daisuke Mashima, Weizhi Meng, Stjepan Picek, Mohammad Ashiqur Rahman, Jun Shao, Masaki Shimaoka, Ezekiel O. Soremekun, Chunhua Su, Je Sen Teh, Aleksei Udovenko, Cong Wang, Leo Yu Zhang, Yury Zhauniarovich:
Applied Cryptography and Network Security Workshops - ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings. Lecture Notes in Computer Science 13907, Springer 2023, ISBN 978-3-031-41180-9 [contents] - 13908Sung-Shik Jongmans, Antónia Lopes:
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13908, Springer 2023, ISBN 978-3-031-35360-4 [contents] - 13909Marta Patiño-Martínez, João Paulo:
Distributed Applications and Interoperable Systems - 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13909, Springer 2023, ISBN 978-3-031-35259-1 [contents] - 13910Marieke Huisman, António Ravara:
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13910, Springer 2023, ISBN 978-3-031-35354-3 [contents] - 13911Frank Drewes, Mikhail Volkov:
Developments in Language Theory - 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings. Lecture Notes in Computer Science 13911, Springer 2023, ISBN 978-3-031-33263-0 [contents] - 13912Mir Abolfazl Mostafavi, Géraldine Del Mondo:
Web and Wireless Geographical Information Systems - 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings. Lecture Notes in Computer Science 13912, Springer 2023, ISBN 978-3-031-34611-8 [contents] - 13913Elisabeth Métais, Farid Meziane, Vijayan Sugumaran, Warren Manning, Stephan Reiff-Marganiec:
Natural Language Processing and Information Systems - 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21-23, 2023, Proceedings. Lecture Notes in Computer Science 13913, Springer 2023, ISBN 978-3-031-35319-2 [contents] - 13914Shlomi Dolev, Ehud Gudes, Pascal Paillier:
Cyber Security, Cryptology, and Machine Learning - 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings. Lecture Notes in Computer Science 13914, Springer 2023, ISBN 978-3-031-34670-5 [contents] - 13915Leonie Simpson, Mir Ali Rezazadeh Baee:
Information Security and Privacy - 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings. Lecture Notes in Computer Science 13915, Springer 2023, ISBN 978-3-031-35485-4 [contents] - 13916Ning Wang, Genaro Rebolledo-Mendez, Noboru Matsuda, Olga C. Santos, Vania Dimitrova:
Artificial Intelligence in Education - 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings. Lecture Notes in Computer Science 13916, Springer 2023, ISBN 978-3-031-36271-2 [contents] - 13917Lucio Davide Spano, Albrecht Schmidt, Carmen Santoro, Simone Stumpf:
End-User Development - 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedings. Lecture Notes in Computer Science 13917, Springer 2023, ISBN 978-3-031-34432-9 [contents] - 13918Henning Bordihn, Nicholas Q. Tran, György Vaszil:
Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Lecture Notes in Computer Science 13918, Springer 2023, ISBN 978-3-031-34325-4 [contents] - 13919Ignacio Rojas, Olga Valenzuela, Fernando Rojas Ruiz, Luis Javier Herrera, Francisco M. Ortuño:
Bioinformatics and Biomedical Engineering - 10th International Work-Conference, IWBBIO 2023, Meloneras, Gran Canaria, Spain, July 12-14, 2023 Proceedings, Part I. Lecture Notes in Computer Science 13919, Springer 2023, ISBN 978-3-031-34952-2 [contents] - 13920Ignacio Rojas, Olga Valenzuela, Fernando Rojas Ruiz, Luis Javier Herrera, Francisco M. Ortuño:
Bioinformatics and Biomedical Engineering - 10th International Work-Conference, IWBBIO 2023, Meloneras, Gran Canaria, Spain, July 12-14, 2023 Proceedings, Part II. Lecture Notes in Computer Science 13920, Springer 2023, ISBN 978-3-031-34959-1 [contents] - 13921Patrick Hammer, Marjan Alirezaie, Claes Strannegård:
Artificial General Intelligence - 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings. Lecture Notes in Computer Science 13921, Springer 2023, ISBN 978-3-031-33468-9 [contents] - 13922Amr El Abbadi, Gillian Dobbie, Zhiyong Feng, Lu Chen, Xiaohui Tao, Yingxia Shao, Hongzhi Yin:
Database Systems for Advanced Applications. DASFAA 2023 International Workshops - BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings. Lecture Notes in Computer Science 13922, Springer 2023, ISBN 978-3-031-35414-4 [contents] - 13923Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Lecture Notes in Computer Science 13923, Springer 2023, ISBN 978-3-031-39783-7 [contents] - 13924Seifedine Kadry, Rajendra Prasath:
Mining Intelligence and Knowledge Exploration - 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings. Lecture Notes in Computer Science 13924, Springer 2023, ISBN 978-3-031-44083-0 [contents] - 13925Hamido Fujita, Yinglin Wang, Yanghua Xiao, Moonis Ali:
Advances and Trends in Artificial Intelligence. Theory and Applications - 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13925, Springer 2023, ISBN 978-3-031-36818-9 [contents] - 13926Hamido Fujita, Yinglin Wang, Yanghua Xiao, Moonis Ali:
Advances and Trends in Artificial Intelligence. Theory and Applications - 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13926, Springer 2023, ISBN 978-3-031-36821-9 [contents] - 13927Pierre Collet, Latafat A. Gardashova, Samer El Zant, Ulviya Abdulkarimova:
Complex Computational Ecosystems - First International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023, Proceedings. Lecture Notes in Computer Science 13927, Springer 2023, ISBN 978-3-031-44354-1 [contents] - 13928Thaís Batista, Tomás Bures, Claudia Raibulet, Henry Muccini:
Software Architecture. ECSA 2022 Tracks and Workshops - Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13928, Springer 2023, ISBN 978-3-031-36888-2 [contents] - 13929Luís Gomes, Robert Lorenz:
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Lecture Notes in Computer Science 13929, Springer 2023, ISBN 978-3-031-33619-5 [contents] - ...….
- 13931Cristina David, Meng Sun:
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings. Lecture Notes in Computer Science 13931, Springer 2023, ISBN 978-3-031-35256-0 [contents] - 13932Hao Chen, Luyang Luo:
Trustworthy Machine Learning for Healthcare - First International Workshop, TML4H 2023, Virtual Event, May 4, 2023, Proceedings. Lecture Notes in Computer Science 13932, Springer 2023, ISBN 978-3-031-39538-3 [contents] - 13933Minming Li, Xiaoming Sun, Xiaowei Wu:
Frontiers of Algorithmics - 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023, Proceedings. Lecture Notes in Computer Science 13933, Springer 2023, ISBN 978-3-031-39343-3 [contents] - 13934Dominik Dürrschnabel, Domingo López-Rodríguez:
Formal Concept Analysis - 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings. Lecture Notes in Computer Science 13934, Springer 2023, ISBN 978-3-031-35948-4 [contents] - 13935Hisashi Kashima, Tsuyoshi Idé, Wen-Chih Peng:
Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13935, Springer 2023, ISBN 978-3-031-33373-6 [contents] - 13936Hisashi Kashima, Tsuyoshi Idé, Wen-Chih Peng:
Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13936, Springer 2023, ISBN 978-3-031-33376-7 [contents] - 13937Hisashi Kashima, Tsuyoshi Idé, Wen-Chih Peng:
Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III. Lecture Notes in Computer Science 13937, Springer 2023, ISBN 978-3-031-33379-8 [contents] - 13938Hisashi Kashima, Tsuyoshi Idé, Wen-Chih Peng:
Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part IV. Lecture Notes in Computer Science 13938, Springer 2023, ISBN 978-3-031-33382-8 [contents] - 13939Alejandro F. Frangi, Marleen de Bruijne, Demian Wassermann, Nassir Navab:
Information Processing in Medical Imaging - 28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023, Proceedings. Lecture Notes in Computer Science 13939, Springer 2023, ISBN 978-3-031-34047-5 [contents] - 13940Alexandra Boldyreva, Vladimir Kolesnikov:
Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13940, Springer 2023, ISBN 978-3-031-31367-7 [contents] - 13941Alexandra Boldyreva, Vladimir Kolesnikov:
Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13941, Springer 2023, ISBN 978-3-031-31370-7 [contents] - 13942Vijayalakshmi Atluri, Anna Lisa Ferrara:
Data and Applications Security and Privacy XXXVII - 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings. Lecture Notes in Computer Science 13942, Springer 2023, ISBN 978-3-031-37585-9 [contents] - 13943Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin:
Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13943, Springer 2023, ISBN 978-3-031-30636-5 [contents] - 13944Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin:
Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13944, Springer 2023, ISBN 978-3-031-30671-6 [contents] - 13945Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin:
Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part III. Lecture Notes in Computer Science 13945, Springer 2023, ISBN 978-3-031-30674-7 [contents] - 13946Xin Wang, Maria Luisa Sapino, Wook-Shin Han, Amr El Abbadi, Gill Dobbie, Zhiyong Feng, Yingxiao Shao, Hongzhi Yin:
Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part IV. Lecture Notes in Computer Science 13946, Springer 2023, ISBN 978-3-031-30677-8 [contents] - 13947Amitabha Bagchi, Rahul Muthu:
Algorithms and Discrete Applied Mathematics - 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, Proceedings. Lecture Notes in Computer Science 13947, Springer 2023, ISBN 978-3-031-25210-5 [contents] - 13948Abhinav Bhatele, Jeff R. Hammond, Marc Baboulin, Carola Kruse:
High Performance Computing - 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings. Lecture Notes in Computer Science 13948, Springer 2023, ISBN 978-3-031-32040-8 [contents] - 13949Georgios I. Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck:
Architecture of Computing Systems - 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings. Lecture Notes in Computer Science 13949, Springer 2023, ISBN 978-3-031-42784-8 [contents] - 13950Foteini Baldimtsi, Christian Cachin:
Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I. Lecture Notes in Computer Science 13950, Springer 2024, ISBN 978-3-031-47753-9 [contents] - 13951Foteini Baldimtsi, Christian Cachin:
Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 13951, Springer 2024, ISBN 978-3-031-47750-8 [contents] - 13952Ivan Lirkov, Svetozar Margenov:
Large-Scale Scientific Computations - 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers. Lecture Notes in Computer Science 13952, Springer 2024, ISBN 978-3-031-56207-5 [contents] - 13953Aleksander Essex, Shin'ichiro Matsuo, Oksana Kulyk, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez, Sam Werner, Andrea Bracciali, Geoff Goodell:
Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers. Lecture Notes in Computer Science 13953, Springer 2024, ISBN 978-3-031-48805-4 [contents] - 13954Marcelo da Silva Reis, Raquel Cardoso de Melo Minardi:
Advances in Bioinformatics and Computational Biology - 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings. Lecture Notes in Computer Science 13954, Springer 2023, ISBN 978-3-031-42714-5 [contents] - 13955Philippe Mathieu, Frank Dignum, Paulo Novais, Fernando de la Prieta:
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection - 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings. Lecture Notes in Computer Science 13955, Springer 2023, ISBN 978-3-031-37615-3 [contents] - 13956Osvaldo Gervasi, Beniamino Murgante, David Taniar, Bernady O. Apduhan, Ana Cristina Braga, Chiara Garau, Anastasia Stratigea:
Computational Science and Its Applications - ICCSA 2023 - 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13956, Springer 2023, ISBN 978-3-031-36804-2 [contents] - 13957Osvaldo Gervasi, Beniamino Murgante, David Taniar, Bernady O. Apduhan, Ana Cristina Braga, Chiara Garau, Anastasia Stratigea:
Computational Science and Its Applications - ICCSA 2023 - 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13957, Springer 2023, ISBN 978-3-031-36807-3 [contents] - 13958Olivier Bernard, Patrick Clarysse, Nicolas Duchateau, Jacques Ohayon, Magalie Viallon:
Functional Imaging and Modeling of the Heart - 12th International Conference, FIMH 2023, Lyon, France, June 19-22, 2023, Proceedings. Lecture Notes in Computer Science 13958, Springer 2023, ISBN 978-3-031-35301-7 [contents] - 13959Daniel Gruss, Federico Maggi, Mathias Fischer, Michele Carminati:
Detection of Intrusions and Malware, and Vulnerability Assessment - 20th International Conference, DIMVA 2023, Hamburg, Germany, July 12-14, 2023, Proceedings. Lecture Notes in Computer Science 13959, Springer 2023, ISBN 978-3-031-35503-5 [contents] - 13960Martin Kutrib, Uwe Meyer:
Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings. Lecture Notes in Computer Science 13960, Springer 2023, ISBN 978-3-031-38099-0 [contents] - 13961Maribel Fernández, Christopher M. Poskitt:
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings. Lecture Notes in Computer Science 13961, Springer 2023, ISBN 978-3-031-36708-3 [contents] - 13962Catherine Dubois, Pierluigi San Pietro:
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings. Lecture Notes in Computer Science 13962, Springer 2023, ISBN 978-3-031-27533-3 [contents] - 13963Mohua Banerjee, A. V. Sreejith:
Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Lecture Notes in Computer Science 13963, Springer 2023, ISBN 978-3-031-26688-1 [contents] - 13964Constantin Enea, Akash Lal:
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13964, Springer 2023, ISBN 978-3-031-37705-1 [contents] - 13965Constantin Enea, Akash Lal:
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13965, Springer 2023, ISBN 978-3-031-37702-0 [contents] - 13966Constantin Enea, Akash Lal:
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Lecture Notes in Computer Science 13966, Springer 2023, ISBN 978-3-031-37708-2 [contents] - 13967Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea:
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings. Lecture Notes in Computer Science 13967, Springer 2023, ISBN 978-3-031-36977-3 [contents] - 13968Ying Tan, Yuhui Shi, Wenjian Luo:
Advances in Swarm Intelligence - 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13968, Springer 2023, ISBN 978-3-031-36621-5 [contents] - 13969Ying Tan, Yuhui Shi, Wenjian Luo:
Advances in Swarm Intelligence - 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13969, Springer 2023, ISBN 978-3-031-36624-6 [contents] - 13970Michael Emmerich, André H. Deutz, Hao Wang, Anna V. Kononova, Boris Naujoks, Ke Li, Kaisa Miettinen, Iryna Yevseyeva:
Evolutionary Multi-Criterion Optimization - 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings. Lecture Notes in Computer Science 13970, Springer 2023, ISBN 978-3-031-27249-3 [contents] - 13971Isaac Sserwanga, Anne Goulding, Heather Moulaison Sandy, Jia Tina Du, António Lucas Soares, Viviane Hessami, Rebecca D. Frank:
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity - 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13971, Springer 2023, ISBN 978-3-031-28034-4 [contents] - 13972Isaac Sserwanga, Anne Goulding, Heather Moulaison Sandy, Jia Tina Du, António Lucas Soares, Viviane Hessami, Rebecca D. Frank:
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity - 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13972, Springer 2023, ISBN 978-3-031-28031-3 [contents] - 13973Chun-Cheng Lin, Bertrand M. T. Lin, Giuseppe Liotta:
WALCOM: Algorithms and Computation - 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings. Lecture Notes in Computer Science 13973, Springer 2023, ISBN 978-3-031-27050-5 [contents] - 13974Feng Liu, Yu Zhang, Hongzhi Kuai, Emily P. Stephen, Hongjun Wang:
Brain Informatics - 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings. Lecture Notes in Computer Science 13974, Springer 2023, ISBN 978-3-031-43074-9 [contents] - 13975Alessio Ferrari, Birgit Penzenstadler:
Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings. Lecture Notes in Computer Science 13975, Springer 2023, ISBN 978-3-031-29785-4 [contents] - 13976Haixu Tang:
Research in Computational Molecular Biology - 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings. Lecture Notes in Computer Science 13976, Springer 2023, ISBN 978-3-031-29118-0 [contents] - 13977Muhammad Younas, Irfan Awan, Tor-Morten Grønli:
Mobile Web and Intelligent Information Systems - 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings. Lecture Notes in Computer Science 13977, Springer 2023, ISBN 978-3-031-39763-9 [contents] - 13978Chen Li, Simon K. S. Cheung, Fu Lee Wang, Angel Lu, Lam For Kwok:
Blended Learning : Lessons Learned and Ways Forward - 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings. Lecture Notes in Computer Science 13978, Springer 2023, ISBN 978-3-031-35730-5 [contents] - 13979Elif Bilge Kavun, Michael Pehl:
Constructive Side-Channel Analysis and Secure Design - 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings. Lecture Notes in Computer Science 13979, Springer 2023, ISBN 978-3-031-29496-9 [contents] - 13980Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo:
Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13980, Springer 2023, ISBN 978-3-031-28243-0 [contents] - 13981Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo:
Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13981, Springer 2023, ISBN 978-3-031-28237-9 [contents] - 13982Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo:
Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III. Lecture Notes in Computer Science 13982, Springer 2023, ISBN 978-3-031-28240-9 [contents] - 13983Shujun Li, Mark Manulis, Atsuko Miyaji:
Network and System Security - 17th International Conference, NSS 2023, Canterbury, UK, August 14-16, 2023, Proceedings. Lecture Notes in Computer Science 13983, Springer 2023, ISBN 978-3-031-39827-8 [contents] - 13984Erik Blasch, Frederica Darema, Alex Aved:
Dynamic Data Driven Applications Systems - 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings. Lecture Notes in Computer Science 13984, Springer 2024, ISBN 978-3-031-52669-5 [contents] - ...….
- 13986Roland Glück, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Lecture Notes in Computer Science 13896, Springer 2023, ISBN 978-3-031-28082-5 [contents] - 13987Leslie Pérez Cáceres, Thomas Stützle:
Evolutionary Computation in Combinatorial Optimization - 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings. Lecture Notes in Computer Science 13987, Springer 2023, ISBN 978-3-031-30034-9 [contents] - 13988Colin G. Johnson, Nereida Rodríguez-Fernández, Sérgio M. Rebelo:
Artificial Intelligence in Music, Sound, Art and Design - 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings. Lecture Notes in Computer Science 13988, Springer 2023, ISBN 978-3-031-29955-1 [contents] - 13989João Correia, Stephen L. Smith, Raneem Qaddoura:
Applications of Evolutionary Computation - 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings. Lecture Notes in Computer Science 13989, Springer 2023, ISBN 978-3-031-30228-2 [contents] - 13990Thomas Wies:
Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science 13990, Springer 2023, ISBN 978-3-031-30043-1 [contents] - 13991Leen Lambers, Sebastián Uchitel:
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science 13991, Springer 2023, ISBN 978-3-031-30825-3 [contents] - 13992Orna Kupferman, Pawel Sobocinski:
Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science 13992, Springer 2023, ISBN 978-3-031-30828-4 [contents] - 13993Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2 [contents] - 13994Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13994, Springer 2023, ISBN 978-3-031-30819-2 [contents] - 13995Ngoc Thanh Nguyen, Siridech Boonsang, Hamido Fujita, Bogumila Hnatkowska, Tzung-Pei Hong, Kitsuchart Pasupa, Ali Selamat:
Intelligent Information and Database Systems - 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13995, Springer 2023, ISBN 978-981-99-5833-7 [contents] - 13996Ngoc Thanh Nguyen, Siridech Boonsang, Hamido Fujita, Bogumila Hnatkowska, Tzung-Pei Hong, Kitsuchart Pasupa, Ali Selamat:
Intelligent Information and Database Systems - 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13996, Springer 2023, ISBN 978-981-99-5836-8 [contents] - 13997Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
The Multi-Agent Programming Contest 2022 - Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not. Lecture Notes in Computer Science 13997, Springer 2023, ISBN 978-3-031-38711-1 [contents] - 13998Catia Pesquita, Hala Skaf-Molli, Vasilis Efthymiou, Sabrina Kirrane, Axel Ngonga, Diego Collarana, Renato Cerqueira, Mehwish Alam, Cássia Trojahn, Sven Hertling:
The Semantic Web: ESWC 2023 Satellite Events - Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings. Lecture Notes in Computer Science 13998, Springer 2023, ISBN 978-3-031-43457-0 [contents] - 13999Amanda Bienz, Michèle Weiland, Marc Baboulin, Carola Kruse:
High Performance Computing - ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers. Lecture Notes in Computer Science 13999, Springer 2023, ISBN 978-3-031-40842-7 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.