Author(s)
Bibliographic Information
Lecture notes in computer science
Springer
- Other Title
-
LNCS
Search this Book/Journal
-
161
- Big data analytics and knowledge discovery : 23rd International Conference, DaWaK 2021, virtual event, September 27-30, 2021 : proceedings
-
Matteo Golfarelli ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 12925
: [pbk.]
Available at 1 libraries
-
162
- Linking theory and practice of digital libraries : 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, virtual event, September 13-17, 2021 : proceedings
-
Gerd Berget ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 12866
: [pbk.]
Available at 1 libraries
-
163
- Databases theory and applications : 32nd Australasian Database Conference, ADC 2021, Dunedin, New Zealand, January 29 - February 5, 2021 : proceedings
-
Miao Qiao ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 12610
: [pbk.]
Available at 1 libraries
-
164
- Conceptual modeling : 40th International Conference, ER 2021, virtual event, October 18-21, 2021 : proceedings
-
Aditya Ghose ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 13011
: [pbk.]
Available at 1 libraries
-
165
- Advances in conceptual modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS, St. John's, NL, Canada, October 18-21, 2021 : proceedings
-
Iris Reinhartz-Berger, Shazia Sadiq (eds.)
Springer c2021 Lecture notes in computer science 13012
: [pbk.]
Available at 1 libraries
-
166
- Database and expert systems applications : 32nd International Conference, DEXA 2021, virtual event, September 27-30, 2021 : proceedings
-
Christine Strauss ... [et al.], (eds.)
Springer c2021 Lecture notes in computer science 12924
pt. 2
Available at 1 libraries
-
167
- Database and expert systems applications : 32nd International Conference, DEXA 2021, virtual event, September 27-30, 2021 : proceedings
-
Christine Strauss ... [et al.], (eds.)
Springer c2021 Lecture notes in computer science 12923
pt. 1
Available at 1 libraries
-
168
- Web and big data : 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23-25, 2021 : proceedings
-
Leong Hou U ... [et al.], (eds.)
Springer c2021 Lecture notes in computer science 12859
pt. 2
Available at 1 libraries
-
169
- Web and big data : 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23-25, 2021 : proceedings
-
Leong Hou U ... [et al.], (eds.)
Springer 2021 Lecture notes in computer science 12858
pt. 1
Available at 1 libraries
-
170
- Web information systems engineering, WISE 2021 : 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26-29, 2021 : proceedings
-
Wenjie Zhang ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 13081
pt. 2
Available at 1 libraries
-
171
- Web information systems engineering, WISE 2021 : 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26-29, 2021 : proceedings
-
Wenjie Zhang ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 13080
pt. 1
Available at 1 libraries
-
172
- WALCOM : algorithms and computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021 : proceedings
-
Ryuhei Uehara, Seok-Hee Hong, Subhas C. Nandy (eds.)
Springer c2021 Lecture notes in computer science 12635 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 1 libraries
-
173
- Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings
-
Radu Calinescu, Corina S. Păsăreanu (eds.)
Springer c2021 Lecture notes in computer science 13085 . Formal methods . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
174
- Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings
-
Shengchao Qin, Jim Woodcock, Wenhui Zhang
Springer c2021 Lecture notes in computer science 13071 . LNCS sublibrary ; SL2 . Programming and software engineering
Available at 1 libraries
-
175
- Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings
-
Alfons Laarman, Ana Sokolova (eds.)
Springer c2021 Lecture notes in computer science 12864 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
176
- Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24–26, 2021 : proceedings
-
Alberto Lluch Lafuente, Anastasia Mavridou (eds.)
Springer c2021 Lecture notes in computer science 12863 . LNCS sublibrary ; SL 2 . Programming and software engineering
Available at 1 libraries
-
177
- Runtime verification : 21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
-
Lu Feng, Dana Fisman (eds.)
Springer c2021 Lecture notes in computer science 12974 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
Available at 1 libraries
-
178
- Quantitative evaluation of systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, proceedings
-
Alessandro Abate, Andrea Marin (eds.)
Springer c2021 Lecture notes in computer science 12846 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
179
- Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings
-
Catalin Dima, Mahsa Shirmohammadi (eds.)
Springer c2021 Lecture notes in computer science 12860 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
180
- NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings
-
Aaron Dutle ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 12673 . Formal methods . LNCS sublibrary ; SL2 . Programming and software engineering
Available at 1 libraries