語系
Nunez, Manuel.
概要
作品: | 1 作品在 4 項出版品 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 /
by:
Counsell, Steve.; Nunez, Manuel.; SpringerLink (Online service)
(書目-電子資源)
Implementing Project-based Learning in Urban High School Classrooms: Understanding Teachers' Mindsets and Benefits to English Learners.
by:
Nunez, Manuel.; San Jose State University., Education.
(書目-電子資源)
Computational collective intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.. Part II /
by:
Nunez, Manuel.; SpringerLink (Online service)
(書目-電子資源)
Computational collective intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.. Part I /
by:
Nunez, Manuel.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for industrial critical systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
Nunez, Manuel.; SpringerLink (Online service); Gudemann, Matthias.
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Science education.
Logics and Meanings of Programs.
Computer programs- Reliability
Semantic Web
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Information Storage and Retrieval.
Language.
Data Mining and Knowledge Discovery.
Expert systems (Computer science)
Computer Science.
Computer software- Verification
Computer software- Reliability
Dynamo theory (Cosmic physics)
Computer programs- Verification
Intelligent agents (Computer software)
Human-computer interaction
Computers and Education.