Hinchey, Mike.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Nature of Computation and Communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers /
by:
Hinchey, Mike.; Vassev, Emil.; SpringerLink (Online service); Vinh, Phan Cong.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers /
by:
SpringerLink (Online service); Hinchey, Mike.; Vassev, Emil.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vinh, Phan Cong.
(書目-語言資料,印刷品)
Experience from the DARPA Urban Challenge
by:
United States.; SpringerLink (Online service); Hinchey, Mike.; Rouff, Christopher.
(書目-語言資料,印刷品)
Applications of Networks, Sensors and Autonomous Systems Analytics = Proceedings of ICANSAA 2020 /
by:
SpringerLink (Online service); Hinchey, Mike.; Sen, Sabyasachi.; Biswas, Papun.; Mandal, Jyotsna Kumar.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
Holcombe, Mike.; Workshop on the Preservation of Stability under Discretization ((2001 :); Eleftherakis, George.; SpringerLink (Online service); Hinchey, Mike.
(書目-語言資料,印刷品)
Conquering complexity
by:
Hinchey, Mike.; Coyle, Lorcan.; 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:
SpringerLink (Online service); Hinchey, Mike.
(書目-語言資料,印刷品)
主題
Formal methods (Computer science)
United States.
Image Processing and Computer Vision.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Signal processing.
Theory of Computation.
Control.
Telecommunication.
Electronic Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer vision
Solid state physics.
Motor vehicles
Automobile driving
Mobile robots.
Automotive Engineering.
Database management.
Artificial Intelligence.
Computational complexity.
Signal, Speech and Image Processing .
Engineering.
Computer science.
Computers.
Optical data processing.
Computing Methodologies.
Software engineering
Intelligent control systems.
Computational Biology/Bioinformatics.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Pattern Recognition.
Computation by Abstract Devices.
Database Management.
Computer architecture.
Software Engineering.
Pattern recognition.
Robotics and Automation.
Communications Engineering, Networks.
Computer Science.