Languages
Hinchey, Mike.
Overview
| Works: | 1 works in 6 publications in 1 languages | |
|---|---|---|
Titles
The combined power of research, education, and dissemination = essays dedicated to Tiziana Margaria on the occasion of her 60th birthday /
by:
Hinchey, Mike.; SpringerLink (Online service); Steffen, Bernhard.; Margaria-Steffen, Tiziana, (1964-)
(Electronic resources)
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:
Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.; Vinh, Phan Cong.
(Electronic resources)
Conquering complexity
by:
Hinchey, Mike.; Coyle, Lorcan.; 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)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
Hinchey, Mike.; SpringerLink (Online service); Eleftherakis, George.; Holcombe, Mike.
(Electronic resources)
Innovations in signal processing and embedded systems = proceedings of ICISPES 2021 /
by:
Hinchey, Mike.; SpringerLink (Online service); ICISPES (Conference) (2021 :); Rao, K. Sreenivas.; Mandal, Jyotsna Kumar.
(Electronic resources)
Autonomy requirements engineering for space missions
by:
Hinchey, Mike.; SpringerLink (Online service); Vassev, Emil.
(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.
Margaria-Steffen, Tiziana,
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.
Formal Languages and Automata Theory.
Computer Science.
Parallel processing (Electronic computers)
Computer Communication Networks.
Computer science.
Embedded Systems.
Computational Biology/Bioinformatics.