Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2014
  • Author: Steve Counsell, Manuel Núñez (eds.)
Web Engineering
  • PDF
  • English
  • Year: 2006
  • Author: Emilia Mendes, Nile Mosley, Steve Counsell (auth.), Emilia Mendes, Nile Mosley (eds.)
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation: XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Torgeir Dingsøyr, Nils Brede Moe, Roberto Tonelli, Steve Counsell, Cigdem Gencel, Kai Petersen (eds.)
Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
  • PDF
  • English
  • Year: 2015
  • Author: Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński (eds.)
Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
  • PDF
  • English
  • Year: 2015
  • Author: Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński (eds.)
Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)
Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)
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
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)
search