Search Results for Nunez, Manuel.

1.

Cover image for Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Author

Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518977.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19458-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II

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

Author

Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518902.1)

Electronic Access

https://doi.org/10.1007/978-3-319-24306-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

Author

Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519000.1)

Electronic Access

https://doi.org/10.1007/978-3-319-24069-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for 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

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

Author

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05031-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05032-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Advances in 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

Author

Nguyen, Ngoc Thanh. editor. (orcid) Botzheim, János. editor. Gulyás, László. editor. Nunez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

XX(520633.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41774-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

XX(521308.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41456-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Modern Approaches for Intelligent Information and Database Systems

Author

Sieminski, Andrzej. editor. Kozierkiewicz, Adrianna. editor. Nunez, Manuel. editor. Ha, Quang Thuy. editor. (orcid)0000-0002-3901-3357 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76081-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

Author

Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11841197

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for 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

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

Author

Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11940197

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}