Springer NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings: 13260 (Lecture Notes in Computer Science, 13260)

92% match

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

Springer

£43.30 07 Mar 2026

92% match

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)

Springer

£71.18 05 Mar 2026

92% match

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

Springer

£63.20 04 Mar 2026

92% match

The Semantic Web: 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings: 13261 (Lecture Notes in Computer Science, 13261)

Springer

£58.33 07 Mar 2026

92% match

Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings: 13712 (Lecture Notes in Computer Science, 13712)

Springer

£51.71 08 Mar 2026

92% match

Computational Collective Intelligence: 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28–30, 2022, Proceedings: 13501 (Lecture Notes in Computer Science, 13501)

Springer

£71.83 01 Mar 2026

92% match

Research in Computational Molecular Biology: 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings: 13278 (Lecture Notes in Computer Science, 13278)

Springer

£56.81 11 Apr 2026

92% match

Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022, Revised ... (Lecture Notes in Computer Science, 13866)

Springer

£60.17 01 Mar 2026

92% match

Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22–26, 2022, Proceedings: 13858 (Lecture Notes in Computer Science, 13858)

Springer

£60.15 26 Feb 2026

92% match

Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings: 13257 (Lecture Notes in Computer Science, 13257)

Springer

£59.96 21 Feb 2026

92% match

Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers: 13411 (Lecture Notes in Computer Science, 13411)

Springer

£85.08 02 Apr 2026

92% match

Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022, Proceedings, Part II: 13246 (Lecture Notes in Computer Science, 13246)

Springer

£85.66 25 Feb 2026

92% match

Augmented Cognition: 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 ... (Lecture Notes in Computer Science, 13310)

Springer

£67.23 21 Feb 2026

92% match

Parallel Processing and Applied Mathematics: 14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, ... (Lecture Notes in Computer Science, 13826)

Springer

£55.98 01 Mar 2026

92% match

Business Process Management: 20th International Conference, BPM 2022, Münster, Germany, September 11–16, 2022, Proceedings: 13420 (Lecture Notes in Computer Science, 13420)

Springer

£56.22 04 Mar 2026

91% match

Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV: 13353 (Lecture Notes in Computer Science, 13353)

Springer

£70.06 19 Apr 2026

91% match

Social Computing and Social Media: Applications in Education and Commerce: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI ... (Lecture Notes in Computer Science, 13316)

Springer

£63.64 27 Feb 2026

91% match

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22–26, 2022, Proceedings, Part II: 13624 (Lecture Notes in Computer Science, 13624)

Springer

£64.47 17 Feb 2026

91% match

Social Computing and Social Media: Design, User Experience and Impact: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI ... (Lecture Notes in Computer Science, 13315)

Springer

£78.85 08 Mar 2026

91% match

Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings: 13269 (Lecture Notes in Computer Science, 13269)

Springer

£91.69 12 Apr 2026

91% match

Service-Oriented Computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings: 13740 (Lecture Notes in Computer Science, 13740)

Springer

£78.96 09 Mar 2026

91% match

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22–26, 2022, Proceedings, Part III: 13625 (Lecture Notes in Computer Science, 13625)

Springer

£85.08 09 Apr 2026

91% match

Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings: 13226 (Lecture Notes in Computer Science, 13226)

Springer

£67.13 05 Mar 2026

91% match

Biomedical and Computational Biology: Second International Symposium, BECB 2022, Virtual Event, August 13–15, 2022, Revised Selected Papers: 13637 (Lecture Notes in Computer Science, 13637)

Springer

£93.88 01 Mar 2026