Author(s)
Bibliographic Information
Lecture notes in computer science
Springer
- Other Title
-
LNCS
Search this Book/Journal
-
221
- 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
-
222
- 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
-
223
- 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
-
224
- 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
-
225
- 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
-
226
- 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
-
227
- 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
-
228
- 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
-
229
- Graph drawing and network visualization : 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021 : revised selected papers
-
Helen C. Purchase, Ignaz Rutter (eds.)
Springer c2021 Lecture notes in computer science 12868 . LNCS sublibrary ; SL3 . Information systems and applications,
incl. Internet/Web, and HCI Available at 1 libraries
-
230
- Combinatorial optimization and applications : 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings
-
Ding-Zhu Du ... [et al.] (eds.)
Springer c2021 Lecture notes in computer science 13135 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
231
- Theory and practice of natural computing : 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings
-
Claus Aranha, Carlos Martín-Vide, Miguel A. Vega-Rodríguez (eds.)
Springer c2021 Lecture notes in computer science 13082 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 1 libraries
-
232
- Formal methods : 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings
-
Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)
Springer c2021 Lecture notes in computer science 13047 . LNCS sublibrary ; SL 2 . Programming and software engineering
Available at 1 libraries
-
233
- Stabilization, safety, and security of distributed systems : 23rd International Symposium, SSS 2021, virtual event, November 17-20, 2021 : proceedings
-
Colette Johnen, Elad Michael Schiller, Stefan Schmid (eds.)
Springer c2021 Lecture notes in computer science 13046 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 1 libraries
-
234
- Virtual reality and mixed reality : 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021 : proceedings
-
Patrick Bourdot ... [et al.] (eds.)
Springer, c2021 Lecture notes in computer science 13105 . LNCS sublibrary ; SL 6 . Image processing,
computer vision, pattern recognition, and graphics Available at 1 libraries
-
235
- Advances in cryptology - ASIACRYPT 2021 : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021 : proceedings
-
Mehdi Tibouchi, Huaxiong Wang (eds.)
Springer c2021 Lecture notes in computer science 13093 . LNCS sublibrary ; SL 4 . Security and cryptology
pt. 4
Available at 1 libraries
-
236
- Advances in cryptology - ASIACRYPT 2021 : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021 : proceedings
-
Mehdi Tibouchi, Huaxiong Wang (eds.)
Springer c2021 Lecture notes in computer science 13092 . LNCS sublibrary ; SL 4 . Security and cryptology
pt. 3
Available at 1 libraries
-
237
- Advances in cryptology - ASIACRYPT 2021 : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021 : proceedings
-
Mehdi Tibouchi, Huaxiong Wang (eds.)
Springer c2021 Lecture notes in computer science 13091 . LNCS sublibrary ; SL 4 . Security and cryptology
pt. 2
Available at 1 libraries
-
238
- Advances in cryptology - ASIACRYPT 2021 : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021 : proceedings
-
Mehdi Tibouchi, Huaxiong Wang (eds.)
Springer c2021 Lecture notes in computer science 13090 . LNCS sublibrary ; SL 4 . Security and cryptology
pt. 1
Available at 1 libraries
-
239
- Optimization and applications : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings
-
Nicholas N. Olenev ... [et al.] (eds.)
Springer, c2021 Lecture notes in computer science 13078 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
240
- Theory of cryptography : 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021 : proceedings
-
Kobbi Nissim, Brent Waters (eds.)
Springer c2021 Lecture notes in computer science 13044 . LNCS sublibrary ; SL 4 . Security and cryptology
pt. 3
Available at 1 libraries