Languages
Nunez, Manuel.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(1998 :); Gudemann, Matthias.; Nunez, Manuel.; SpringerLink (Online service)
(Electronic resources)
Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
by:
(1998 :); Bravetti, Mario.; Nunez, Manuel.; SpringerLink (Online service); Zavattaro, Gianluigi.
(Electronic resources)
Computational collective intelligence7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part II /
by:
(1998 :); Nunez, Manuel.; SpringerLink (Online service)
(Electronic resources)
Computational collective intelligence7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part I /
by:
(1998 :); Nunez, Manuel.; SpringerLink (Online service)
(Electronic resources)
Testing of software and communication systems21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings /
by:
Baker, Paul.; Merayo, Mercedes G.; Nunez, Manuel.; SpringerLink (Online service)
(Electronic resources)
Software Engineering and Formal MethodsSEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
Counsell, Steve.; Nunez, Manuel.; SpringerLink (Online service)
(Electronic resources)
Subjects
Web services
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Semantic Web
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Information Storage and Retrieval.
Data Mining and Knowledge Discovery.
Computer programs
Expert systems (Computer science)
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Simulation and Modeling.
Intelligent agents (Computer software)
Human-computer interaction
Computers and Education.