Author(s)
Bibliographic Information
Lecture notes in computer science
Springer
- Other Title
-
LNCS
Search this Book/Journal
-
101
- Formal methods and software engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, proceedings
-
Adrian Riesco, Min Zhang (eds.)
Springer c2022 Lecture notes in computer science 13478
: pbk
Available at 1 libraries
-
102
- Runtime verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022
-
Thao Dang, Volker Stolz (eds.)
Springer c2022 Lecture notes in computer science 13498 . Formal methods
: pbk
Available at 1 libraries
-
103
- Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings
-
Bernd-Holger Schlingloff, Ming Chai (eds.)
Springer c2022 Lecture notes in computer science 13550 . Formal methods
: pbk
Available at 1 libraries
-
104
- Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings
-
Erika Ábrahám, Marco Paolieri (eds.)
Springer c2022 Lecture notes in computer science 13479
: pbk
Available at 1 libraries
-
105
- Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings
-
Jan Friso Groote, Marieke Huisman (eds.)
Springer c2022 Lecture notes in computer science 13487
: pbk
Available at 1 libraries
-
106
- Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings
-
Sergiy Bogomolov, David Parker (eds.)
Springer c2022 Lecture notes in computer science 13465
: pbk
Available at 1 libraries
-
107
- Programming languages and systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings
-
Ilya Sergey (ed.)
Springer c2022 Lecture notes in computer science 13658
Available at 3 libraries
-
108
- Stabilization, safety, and security of distributed systems : 24th International Symposium, SSS 2022, Clermond-Ferrand, France, November 15-17, 2022 : proceedings
-
Stéphane Devismes ... [et al.], (eds.)
Springer c2022 Lecture notes in computer science 13751
Available at 1 libraries
-
109
- String processing and information retrieval : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8-10, 2022 : proceedings
-
Diego Arroyuelo, Barbara Poblete (eds.)
Springer c2022 Lecture notes in computer science 13617
Available at 2 libraries
-
110
- Autonomous agents and multiagent systems : best and visionary papers : AAMAS 2022 Workshops, virtual event, May 9-13, 2022 : revised selected papers
-
Francisco S. Melo, Fei Fang (eds.)
Springer c2022 Lecture notes in computer science 13441 . Lecture notes in artificial intelligence . LNCS sublibrary ; SL 7 . Artificial intelligence
Available at 1 libraries
-
111
- Reachability problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings
-
Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.)
Springer c2022 Lecture notes in computer science 13608
Available at 1 libraries
-
112
- Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings
-
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.)
Springer c2022 Lecture notes in computer science 13572
Available at 1 libraries
-
113
- Natural language processing and Chinese computing : 11th CCF International Conference, NLPCC 2022, Guilin, China, September 24-25, 2022, proceedings
-
edited by Wei Lu, Shujian Huang, Yu Hong, Xiabing Zhou
Springer c2022 Lecture notes in artificial intelligence 13552 , Lecture notes in computer science 13552
pt. 2 : [pbk.]
Available at 1 libraries
-
114
- Natural language processing and Chinese computing : 11th CCF International Conference, NLPCC 2022, Guilin, China, September 24-25, 2022, proceedings
-
edited by Wei Lu, Shujian Huang, Yu Hong, Xiabing Zhou
Springer c2022 Lecture notes in artificial intelligence 13551 , Lecture notes in computer science
pt. 1 : [pbk.]
Available at 1 libraries
-
115
- Algorithmic aspects in information and management : 16th International Conference, AAIM 2022, Guangzhou, China, August, 13-14, 2022 : proceedings
-
Qiufen Ni, Weili Wu (eds.)
Springer c2022 Lecture notes in computer science 13513
Available at 1 libraries
-
116
- Advances in cryptology -- CRYPTO 2022 : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022 : proceedings
-
Yevgeniy Dodis, Thomas Shrimpton (eds.)
Springer c2022 Lecture notes in computer science 13508
pt. 2
Available at 1 libraries
-
117
- Graph-theoretic concepts in computer science : 48th International Workshop, WG 2022, Tübingen, Germany, June 22-24, 2022 : revised selected papers
-
Michael A. Bekos, Michael Kaufmann (eds.)
Springer c2022 Lecture notes in computer science 13453 . Advanced research in computing and software science
Available at 1 libraries
-
118
- Algorithmic game theory : 15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022 : proceedings
-
Panagiotis Kanellopoulos, Maria Kyropoulou, Alexandros Voudouris (eds.)
Springer c2022 Lecture notes in computer science 13584 . Advanced research in computing and software science
Available at 1 libraries
-
119
- Logic, language, information, and computation : 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022 : proceedings
-
Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.)
Springer c2022 Lecture notes in computer science 13468 . FoLLI publications on logic,
language and information Available at 1 libraries
-
120
- Modeling decisions for artificial intelligence : 19th International Conference, MDAI 2022, Sant Cugat, Spain, August 30-September 2, 2022, proceedings
-
edited by Vicenç Torra, Yasuo Narukawa
Springer c2022 Lecture notes in computer science . Lecture notes in artificial intelligence ; 13408
: pbk.
Available at 1 libraries