大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Carnegie Endowment for International Peace 的图书(共9033本)

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besan莽on, France, January 17-19, 2007. Proceedings

0
索取号:
作者:Julliand、 Jacques.、Kouchnarenko、 Olga.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi鈥檃n, China, June 23-27, 2008. Proceedings

0
索取号:
作者:Hee、 Kees M.、Valk、 R眉diger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers

0
索取号:
作者:Penkler、 Dave.、Reitenspiess、 Manfred.、Tam、 Francis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Enterprise Engineering I [electronic resource] : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

0
索取号:
作者:Dietz、 Jan L. G.、Albani、 Antonia.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号:
作者:Meier、 Ren茅.、Terzis、 Sotirios.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Reliable Software Technologies-Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

0
索取号:
作者:Kordon、 Fabrice.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Multimodal Technologies for Perception of Humans [electronic resource] : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers

0
索取号:
作者:Stiefelhagen、 Rainer.、Bowers、 Rachel.、Fiscus、 Jonathan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Headway in Spatial Data Handling [electronic resource] : 13th International Symposium on Spatial Data Handling

0
索取号:
作者:Ruas、 Anne.、Gold、 Christopher.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Tools for High Performance Computing [electronic resource] : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

0
索取号:
作者:Resch、 Michael.、Keller、 Rainer.、Himmler、 Valentin.、Krammer、 Bettina.、Schulz、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

0
索取号:
作者:Mueller、 Matthias S.、Chapman、 Barbara M.、Supinski、 Bronis R.、Malony、 Allen D.、Voss、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

0
索取号:
作者:McGeoch、 Catherine C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号:
作者:Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Web Based Learning-ICWL 2006 [electronic resource] : 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers

0
索取号:
作者:Liu、 Wenyin.、Li、 Qing.、W.H. Lau、 Rynson.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Persuasive Technology [electronic resource] : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings

0
索取号:
作者:Oinas-Kukkonen、 Harri.、Hasle、 Per.、Harjumaa、 Marja.、Segerst氓hl、 Katarina.、脴hrstr酶m、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

0
索取号:
作者:Mao、 Chengde.、Yokomori、 Takashi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mining Complex Data [electronic resource] : ECML/PKDD 2007 Third International Workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers

0
索取号:
作者:Ra艣、 Zbigniew W.、Tsumoto、 Shusaku.、Zighed、 Djamel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类