Author(s)
Bibliographic Information
Lecture notes in computer science
Springer
- Other Title
-
LNCS
Search this Book/Journal
-
181
- Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
-
Ilya Sergey (ed.)
Springer c2022 Lecture notes in computer science 13240 . Advanced research in computing and software science
Available at 1 libraries
-
182
- Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
-
Patricia Bouyer, Lutz Schröder (eds.)
Springer c2022 Lecture notes in computer science 13242 . Advanced research in computing and software science
Available at 1 libraries
-
183
- NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings
-
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.)
Springer c2022 Lecture notes in computer science 13260 . Formal methods
Available at 2 libraries
-
184
- Developments in language theory : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022 : proceedings
-
Volker Diekert, Mikhail Volkov (eds.)
Springer c2022 Lecture notes in computer science 13257
Available at 2 libraries
-
185
- xxAI - beyond explainable AI : international workshop, held in conjunction with ICML 2020, July 18, 2020, Vienna, Austria, revised and extended papers
-
Andreas Holzinger, [and five others] (eds.)
Springer c2022 Lecture notes in computer science 13200 . Lecture notes in artificial intelligence
Available at 1 libraries
-
186
- Mathematics and computation in music : 8th international conference, MCM 2022, Atlanta, GA, USA, June 21-24, 2022, proceedings
-
Mariana Montiel ... [et al.] (eds.)
Springer 2022 Lecture notes in computer science . Lecture notes in artificial intelligence ; 13267
: pbk
Available at 1 libraries
-
187
- Pattern recognition : 6th Asian Conference, ACPR 2021, Jeju Island, South Korea, November 9-12, 2021, revised selected papers
-
edited by Christian Wallraven, Qingshan Liu, Hajime Nagahara
Springer c2022 Lecture notes in computer science 13188
pt. 1
Available at 1 libraries
-
188
- Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, proceedings
-
Michael Hanus, Atsushi Igarashi (eds.)
Springer c2022 Lecture notes in computer science 13215
: pbk
Available at 3 libraries
-
189
- Computer science : theory and applications : 17th International Computer Science Symposium in Russia, CSR 2022, virtual event, June 29-July 1 2022 : proceedings
-
Alexander S. Kulikov, Sofya Raskhodnikova (eds.)
Springer c2022 Lecture notes in computer science 13296
Available at 1 libraries
-
190
- Reversible computation : 14th International Conference, RC 2022, Urbino, Italy, July 5-6 2022 : proceedings
-
Claudio Antares Mezzina, Krzysztof Podlaski (eds.)
Springer c2022 Lecture notes in computer science 13354
Available at 1 libraries
-
191
- Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings
-
Ulrich Berger ... [et al.] (eds.)
Springer c2022 Lecture notes in computer science 13359 . Advanced research in computing and software science
Available at 1 libraries
-
192
- Natural language processing and information systems : 27th International Conference on Applications of Natural Language to Information Systems, NLDB 2022, Valencia, Spain, June 15-17, 2022 : proceedings
-
edited by Paolo Rosso, Valerio Basile, Raquel Martínez, Elisabeth Métais, Farid Meziane
Springer c2022 Lecture notes in computer science 13286
: [pbk.]
Available at 1 libraries
-
193
- Implementation and application of automata : 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1 2022 : proceedings
-
Pascal Caron, Ludovic Mignot (eds.)
Springer c2022 Lecture notes in computer science 13266
Available at 1 libraries
-
194
- WALCOM : algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings
-
Petra Mutzel, Md. Saidur Rahman, Slamin (eds.)
Springer c2022 Lecture notes in computer science 13174 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
195
- Algorithms and discrete applied mathematics : 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings
-
Niranjan Balachandran, R. Inkulu (eds.)
Springer c2022 Lecture notes in computer science 13179 . LNCS sublibrary ; SL1 - Theoretical Computer Science and General Issues
Available at 1 libraries
-
196
- Logical foundations of computer science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings
-
Sergei Artemov, Anil Nerode (eds.)
Springer c2022 Lecture notes in computer science 13137 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
197
- Integer programming and combinatorial optimization : 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022 : proceedings
-
Karen Aardal, Laura Sanità (eds.)
Springer c2022 Lecture notes in computer science 13265
Available at 1 libraries
-
198
- Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers /Aybüke Özgün, Yulia Zinova (eds.)
-
Springer c2022 Lecture notes in computer science 13206 . FoLLI publications on logic,
language and information Available at 1 libraries
-
199
- RoboCup 2021 : Robot World Cup XXIV
-
Rachid Alami ... [et al.] (eds.)
Springer c2022 Lecture notes in computer science 13132 . Lecture notes in artificial intelligence
Available at 2 libraries
-
200
- String processing and information retrieval : 28th International Symposium, SPIRE 2021, Lille, France, October 4-6, 2021 : proceedings
-
Thierry Lecroq, Hélène Touzet (eds.)
Springer c2021 Lecture notes in computer science 12944
: [pbk.]
Available at 1 libraries