1. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
2. Agent technology from a formal perspective
پدیدآورنده : edited by Christopher A. Rouff with Michael Hinchey ... ]et al.[
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Intelligent agents )Computer software(,Design ، Intelligent agents )Computer software(,، Formal methods )Computer science(
رده :
QA
76
.
76
.
I58
A36
2005
3. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intelligent agents (Computer software),Intelligent agents (Computer software)- Design,Formal methods (Computer science)
رده :
QA76
.
76
.
I58
,
A36
2005
4. Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
پدیدآورنده : / Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, AEROSPACE|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
رده :
E-BOOK
5. Experience from the DARPA Urban Challenge
پدیدآورنده : / Rouff, Christopher
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS&AUTOMATION
رده :
E-BOOK
