Núñez, Manuel.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II /
by:
Trawiński, Bogdan.; Nguyen, Ngoc Thanh.; Camacho, David.; SpringerLink (Online service); Núñez, Manuel.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I /
by:
Camacho, David.; SpringerLink (Online service); Núñez, Manuel.; Trawiński, Bogdan.; Nguyen, Ngoc Thanh.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
SpringerLink (Online service); Núñez, Manuel.; Güdemann, Matthias.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computers and Education.
Software engineering.
Education—Data processing.
Information Systems Applications (incl. Internet).
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Application software.
Data mining.
Information storage and retrieval.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Information Storage and Retrieval.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Data Mining and Knowledge Discovery.