1. Agent technology from a formal perspective
پدیدآورنده : / edited by Christopher A. Rouff with Michael Hinchey ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : 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.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، 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.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : 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
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, AEROSPACE|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
رده :
E-BOOK
5. Experience from the DARPA Urban Challenge
پدیدآورنده : / Rouff, Christopher
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS&AUTOMATION
رده :
E-BOOK
