語系
Hinchey, Mike.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Distributed, parallel and biologically inspired systems = 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
Hinchey, Mike.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers /
by:
Vinh, Phan Cong.; Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.
(書目-電子資源)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
Eleftherakis, George.; Hinchey, Mike.; Holcombe, Mike.; SpringerLink (Online service)
(書目-電子資源)
Biologically-Inspired Collaborative Computing = IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy/
by:
Hinchey, Mike.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Autonomy requirements engineering for space missions
by:
Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.
(書目-電子資源)
Innovations in signal processing and embedded systems = proceedings of ICISPES 2021 /
by:
Hinchey, Mike.; SpringerLink (Online service); Mandal, Jyotsna Kumar.; ICISPES (Conference) (2021 :); Rao, K. Sreenivas.
(書目-電子資源)
主題
Computing Methodologies.
Software Engineering.
Computer Science, general.
Software engineering
Mathematical Logic and Formal Languages.
Artificial intelligence
Theory of Computation.
Image Processing and Computer Vision.
Signal, Speech and Image Processing.
Biologically-inspired computing
Logics and Meanings of Programs.
Computational complexity.
Pattern Recognition.
Computer architecture.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer vision
Database Management.
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Computational Intelligence.
Electronic data processing- Distributed processing
Information Systems Applications (incl.Internet)
Space vehicles- Automatic control.
Requirements engineering.
Computer science
Signal processing- Digital techniques
Embedded computer systems
Artificial Intelligence.
Computer Science.
Parallel processing (Electronic computers)
Computer Communication Networks.
Computer science.
Embedded Systems.
Computational Biology/Bioinformatics.