語系
Hinchey, Mike.
概要
作品: | 1 作品在 5 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-電子資源)
Experience from the DARPA Urban Challenge
by:
United States., Defense Advanced Research Projects Agency; SpringerLink (Online service); Rouff, Christopher.; Hinchey, Mike.
(書目-電子資源)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
SpringerLink (Online service); Holcombe, Mike.; Eleftherakis, George.; Hinchey, Mike.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
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:
Congress on Progress and Controversies in Oncological Urology (2000:); Hinchey, Mike.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer architecture.
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Software engineering.
Robotics and Automation.
Motor vehicles- Automatic control.
Computer Science.
Control.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet)
Computation by Abstract Devices.
Electronic data processing- Distributed processing
Artificial Intelligence (incl. Robotics)
Mobile robots.
Automotive Engineering.
Computational complexity.
Biologically-inspired computing
United States.- Research.
Engineering.
Computer science.
Automobile driving- Automation.
Computing Methodologies.
Intelligent control systems.
Software engineering
Computational Biology/Bioinformatics.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)