語系
Nunez, Manuel.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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.
(書目-電子資源)
Computational collective intelligence7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part II /
by:
(1998 :); Nunez, Manuel.; SpringerLink (Online service)
(書目-電子資源)
Computational collective intelligence7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part I /
by:
(1998 :); Nunez, Manuel.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.