Hinchey, Mike.
概要
| 作品: | 0 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Autonomy requirements engineering for space missions
by:
Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.
(書目-電子資源)
Software engineering and formal methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(1998 :); Eleftherakis, George.; Hinchey, Mike.; Holcombe, Mike.; SpringerLink (Online service)
(書目-電子資源)
Biologically-Inspired Collaborative ComputingIFIP 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)
(書目-電子資源)
Nature of computation and communicationInternational Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers /
by:
(1998 :); Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.; Vinh, Phan Cong.
(書目-電子資源)
Innovations in signal processing and embedded systemsproceedings of ICISPES 2021 /
by:
(1998 :); Hinchey, Mike.; Mandal, Jyotsna Kumar.; Rao, K. Sreenivas.; SpringerLink (Online service)
(書目-電子資源)
Distributed, parallel and biologically inspired systems7th 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:
(1998 :); Hinchey, Mike.; SpringerLink (Online service)
(書目-電子資源)
主題
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.
Electronic data processing
Biologically-inspired computing
Logics and Meanings of Programs.
Computational complexity.
Pattern Recognition.
Computer architecture.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer vision
Database Management.
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Computational Intelligence.
Information Systems Applications (incl.Internet)
Requirements engineering.
Computer science
Embedded computer systems
Artificial Intelligence.
Computer Science.
Parallel processing (Electronic computers)
Computer Communication Networks.
Computer science.
Space vehicles
Signal processing
Embedded Systems.
Computational Biology/Bioinformatics.