大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Falcone 的图书(共6本)

Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

0
索取号：
作者：Barringer、 Howard.、Falcone、 Ylies.、Finkbeiner、 Bernd.、Havelund、 Klaus.、Lee、 Insup.、Pace、 Gordon.、Ro艧u、 Grigore.、Sokolsky、 Oleg.、Tillmann、 Nikolai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trust in Agent Societies [electronic resource] : 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Falcone、 Rino.、Barber、 Suzanne K.、Sabater-Mir、 Jordi.、Singh、 Munindar P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

The Challenge of Anticipation [electronic resource] : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

0
索取号：
作者：Pezzulo、 Giovanni.、Butz、 Martin V.、Castelfranchi、 Cristiano.、Falcone、 Rino.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algebraic Groups and Lie Groups with Few Factors [electronic resource]

0
索取号：
作者：Bartolo、 Alfonso.、Falcone、 Giovanni.、Plaumann、 Peter.、Strambach、 Karl.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trusting Agents for Trusting Electronic Societies [electronic resource] : Theory and Applications in HCI and E-Commerce

0
索取号：
作者：Falcone、 Rino.、Barber、 Suzanne.、Sabater-Mir、 Jordi.、Singh、 Munindar P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Crime and policing in rural and small-town America

0
索取号：D917/E20086.2
作者：Weisheit、 Ralph A.、Falcone、 David N.、Wells、 L. Edward.、
出版社：Prospect Heights, Ill. : Waveland Press, c1999.