Hinchey, Mike.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Autonomy requirements engineering for space missions
by:
Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
Innovations in signal processing and embedded systemsproceedings of ICISPES 2021 /
by:
(1998 :); Hinchey, Mike.; Mandal, Jyotsna Kumar.; Rao, K. Sreenivas.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Conquering complexity
by:
Coyle, Lorcan.; Hinchey, Mike.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.