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