著者
書誌事項
Lecture notes in computer science
Springer
- タイトル別名
-
LNCS
この図書・雑誌をさがす
-
141
- Databases theory and applications : 33rd Australasian Database Conference, ADC 2022, Sydney, NSW, Australia, September 2-4, 2022 : proceedings
-
Wen Hua, Hua Wang, Lei Li (eds.)
Springer c2022 Lecture notes in computer science 13459
: [pbk.]
所蔵館1館
-
142
- Database and expert systems applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings
-
Christine Strauss ... [et al.] (eds.)
Springer c2022 Lecture notes in computer science 13427
pt. 2 : [pbk.]
所蔵館1館
-
143
- Database and expert systems applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings
-
Christine Strauss ... [et al.] (eds.)
Springer c2022 Lecture notes in computer science 13426
pt. 1 : [pbk.]
所蔵館1館
-
144
- Database systems for advanced applications : DASFAA 2022 International Workshops : BDMS, BDQM, GDMA, IWBT, and PMBD, virtual event, April 11-14, 2022 : proceedings
-
Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy (eds.)
Springer c2022 Lecture notes in computer science 13248
: [pbk.]
所蔵館1館
-
145
- Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022 and 15th International Workshop, NSV 2022, Haifa, Israel, July 31-August 1, and August 11, 2022, proceedings
-
Omri Isac ...[et al.] (eds.)
Springer c2022 Lecture notes in computer science 13466
所蔵館1館
-
146
- Static analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, proceedings
-
Gagandeep Singh, Caterina Urban (eds.)
Springer c2022 Lecture notes in computer science 13790 . Advanced research in computing and software science
所蔵館1館
-
147
- Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday
-
Jean-François Raskin ... [et al.] (eds.)
Springer c2022 Lecture notes in computer science 13660 . Festschrift
所蔵館1館
-
148
- Formal aspects of component software : 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings
-
Silvia Lizeth Tapia Tarifa, José Proença (eds.)
Springer c2022 Lecture notes in computer science 13712
所蔵館1館
-
149
- 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
所蔵館1館
-
150
- 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
所蔵館1館
-
151
- 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
所蔵館1館
-
152
- 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
所蔵館1館
-
153
- 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
所蔵館1館
-
154
- 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
所蔵館1館
-
155
- 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
所蔵館3館
-
156
- 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
所蔵館1館
-
157
- 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
所蔵館2館
-
158
- 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
所蔵館1館
-
159
- 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
所蔵館1館
-
160
- 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
所蔵館1館
