Manuel Nunez - Böcker

Advances in Nonlinear Dynamos

Advances in Nonlinear Dynamos

Sentimientos Normales

Vivencias

Sentimientos Normales

Vivencias

Modern Approaches for Intelligent Information and Database Systems

Computational Collective Intelligence

15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings

Advances in Computational Collective Intelligence

15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings

Advances in Computational Collective Intelligence

16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part I

Advances in Computational Collective Intelligence

16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part II

Computational Collective Intelligence

16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part I

Computational Collective Intelligence

16th International Conference, ICCCI 2024, Leipzig, Germany, September 9–11, 2024, Proceedings, Part II

Computational Collective Intelligence

17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part I

Computational Collective Intelligence

17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part II

Advances in Computational Collective Intelligence

17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part I

Advances in Computational Collective Intelligence

17th International Conference, ICCCI 2025, Ho Chi Minh City, Vietnam, November 12–15, 2025, Proceedings, Part II

Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Formal Methods for Industrial Critical Systems

20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Computational Collective Intelligence

7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I

Computational Collective Intelligence

7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II

Modern Approaches for Intelligent Information and Database Systems

Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Testing of Software and Communication Systems

21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings