搜尋書籍

搜尋「edited by Jim Davies, Leila Silva, Adenilso Simao.」的結果：找到 42,198 本書籍， 0 個書架

書籍 (42198)
書架 (0)

Formal methods : foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

edited by Jim Davies, Leila Silva, Adenilso Simao.

Springer Berlin Heidelberg

2011

ISBN 9783642198298 (electronic bk.) ; 9783642198281 (paper)

Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

edited by Jaime Simao Sichman ... [et al.].

Springer-Verlag Berlin Heidelberg

2008

ISBN 9783540790037 (electronic bk.) ; 9783540790020 (paper)

Multi-agent-based simulation IX : international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 ; revised selected papers

edited by Nuno David, Jaime Simao Sichman.

Springer Berlin Heidelberg

2009

ISBN 9783642019913 (electronic bk.) ; 9783642019906 (paper)

Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers

edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Simao Sichman.

Springer Berlin Heidelberg

2012

ISBN 9783642284007 (electronic bk.) ; 9783642283994 (paper)

Clinical tuberculosis

edited by Peter D. O. Davies, Stephen B. Gordon, Geraint Davies.

ISBN 9781444154351 (electronic bk.) ; 1444154354 (electronic bk.)

Analysis and design of biological materials and structures

edited by Andreas Ochsner, Lucas F. M. Silva, Holm Altenbach.

Springer Berlin Heidelberg

2012

ISBN 9783642221316 (electronic bk.) ; 9783642221309 (paper)

書名	作者	出版社	出版日期	來源	操作
Formal methods : foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers ISBN 9783642198298 (electronic bk.) ; 9783642198281 (paper)	edited by Jim Davies, Leila Silva, Adenilso Simao.	Springer Berlin Heidelberg	2011	館藏	檢視
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers ISBN 9783540790037 (electronic bk.) ; 9783540790020 (paper)	edited by Jaime Simao Sichman ... [et al.].	Springer-Verlag Berlin Heidelberg	2008	館藏	檢視
Multi-agent-based simulation IX : international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 ; revised selected papers ISBN 9783642019913 (electronic bk.) ; 9783642019906 (paper)	edited by Nuno David, Jaime Simao Sichman.	Springer Berlin Heidelberg	2009	館藏	檢視
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers ISBN 9783642284007 (electronic bk.) ; 9783642283994 (paper)	edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Simao Sichman.	Springer Berlin Heidelberg	2012	館藏	檢視
Clinical tuberculosis ISBN 9781444154351 (electronic bk.) ; 1444154354 (electronic bk.)	edited by Peter D. O. Davies, Stephen B. Gordon, Geraint Davies.			館藏	檢視
Analysis and design of biological materials and structures ISBN 9783642221316 (electronic bk.) ; 9783642221309 (paper)	edited by Andreas Ochsner, Lucas F. M. Silva, Holm Altenbach.	Springer Berlin Heidelberg	2012	館藏	檢視

查看全部 42,198 本書籍

沒有找到相關書架

請嘗試其他關鍵字