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.
Electronic Devices.
Telecommunication.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Mobile robots.
Automotive Engineering.
Artificial Intelligence.
Computational complexity.
Signal, Speech and Image Processing .
Engineering.
Computers.
Computing Methodologies.
Software engineering
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Database Management.
Computer architecture.
Software Engineering.
Pattern recognition.
Robotics and Automation.
Communications Engineering, Networks.
Computer Science.
Computer communication systems.
Computer vision
Solid state physics.
Motor vehicles
Automobile driving
Database management.
Computer science.
Optical data processing.
Intelligent control systems.
Computational Biology/Bioinformatics.
Pattern Recognition.
Computation by Abstract Devices.