Communicating embedded systems: software and design : formal methods / 订购中 (含光盘)

著者: Jard Claude. Roux Olivier H.

出版社: ISTE ;   出版日期: 2010.

文献类型: 图书 , 索书号:

German naval strategy, 1856-1888: forerunners to Tirpitz / 订购中 (含光盘)

著者: David H. Olivier.

出版社: Frank Cass,   出版日期: 2004.

文献类型: 图书 , 索书号:

Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers / 订购中 (含光盘)

著者: Boissier Olivier. Bordini Rafael H.

出版社: Springer Berlin Heidelberg :   出版日期: 2012.

文献类型: 非书资料 , 索书号:

Artificial Economics: Agent-Based Methods in Finance, Game Theory and Their Applications. 订购中 (含光盘)

著者: Basile A. Beaufils Bruno. Brandouy Olivier. Dawid H. Drexl A. Fandel G. Inderfurth K. K眉nzi H. P. K眉rsten W. Mathieu Philippe. Schittko U. Trockel W.

出版社: Springer-Verlag Berlin Heidelberg,   出版日期: 2006.

文献类型: 非书资料 , 索书号:

Coordination, Organizations, Institutions and Norms in Agent Systems IV: COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers / 订购中 (含光盘)

著者: Matson Eric. Boissier Olivier. Dignum Virginia.

出版社: Springer Berlin Heidelberg,   出版日期: 2009.

文献类型: 非书资料 , 索书号:

Advances in Diagnostic Imaging: The Value of Contrast-Enhanced Ultrasound for Liver / 订购中 (含光盘)

著者: Bolondi Luigi. Cioni Dania. Correas Jean-Michel. Crocetti Laura. H茅l茅non Olivier. Khairoune Ahmed. Pina Clotilde. Pol Stanislas. Vallet-Pichard Anais. Weskott Hans Peter.

出版社: Springer-Verlag Italia,   出版日期: 2006.

文献类型: 非书资料 , 索书号:

Children in Tort Law Part II: Children as Victims 订购中 (含光盘)

著者: Bengtsson Bertil. Boom Willem H. Castillo Melissa Moncada. Feliu Josep Sol茅. Francoz-Terminal Laurence. Hirsch Susanna. Hr谩dek Jir铆. Kornev Igor V. Lafay Fabien. Mart铆n-Casals Miquel. Mor茅teau Olivier. Nocco Luca. Oliphant Ken. Pellerin-Rugliano Caroline. Ribot Jordi. Tavernier Pieter. Veloso Maria Manuel. Wagner Gerhard. Wieser Felix.

出版社: Springer-Verlag/Wien,   出版日期: 2007.

文献类型: 非书资料 , 索书号: