1
Advances in Computational Collective Intelligence [E-Book] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings /
2
Computational Collective Intelligence [E-Book] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings /
3
Modern Approaches for Intelligent Information and Database Systems [E-Book] /
4
Formal Methods for Industrial Critical Systems [E-Book] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
5
Computational Collective Intelligence [E-Book] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I /
6
Computational Collective Intelligence [E-Book] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II /
7
Software Engineering and Formal Methods [E-Book] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
8
Testing of Software and Communication Systems [E-Book] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings /
9
Web Services and Formal Methods [E-Book] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
10
Formal Approaches to Software Testing and Runtime Verification [E-Book] / First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
11
Formal Techniques for Networked and Distributed Systems - FORTE 2004 [E-Book] : 24th  IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
12
Applying Formal Methods: Testing, Performance, and M/E-Commerce [E-Book] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /