大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 South African Symposium on Numerical Mathematics (10th : 1986 : Ballito) 的图书(共5278本)

Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

0
索取号:
作者:Gill、 Andy.、Hage、 Jurriaan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings

0
索取号:
作者:Liu、 Chengfei.、Ludwig、 Heiko.、Toumani、 Farouk.、Yu、 Qi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

0
索取号:
作者:Li、 Zhenhua.、Li、 Xiang.、Liu、 Yong.、Cai、 Zhihua.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Business Information Systems Workshops [electronic resource] : BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 Revised Papers

0
索取号:
作者:Abramowicz、 Witold.、Domingue、 John.、W臋cel、 Krzysztof.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号:
作者:Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings

0
索取号:
作者:Hollm茅n、 Jaakko.、Klawonn、 Frank.、Tucker、 Allan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

String Processing and Information Retrieval [electronic resource] : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings

0
索取号:
作者:Calder贸n-Benavides、 Liliana.、Gonz谩lez-Caro、 Cristina.、Ch谩vez、 Edgar.、Ziviani、 Nivio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data-Driven Process Discovery and Analysis [electronic resource] : First International Symposium, SIMPDA 2011, Campione d鈥橧talia, Italy, June 29 鈥ʵly 1, 2011, Revised Selected Papers

0
索取号:
作者:Aberer、 Karl.、Damiani、 Ernesto.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

0
索取号:
作者:Serna、 Maria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Digital Forensics VIII [electronic resource] : 8th IFIP WG 11.9 International Conference on Digital Forensics, Pretoria, South Africa, January 3-5, 2012, Revised Selected Papers

0
索取号:
作者:Peterson、 Gilbert.、Shenoi、 Sujeet.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号:
作者:Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Communicability, Computer Graphics and Innovative Design for Interactive Systems [electronic resource] : First International Symposium, CCGIDIS 2011, C贸rdoba, Spain, June 28-29, 2011, Revised Selected Papers

0
索取号:
作者:Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Multiagent System Technologies [electronic resource] : 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings

0
索取号:
作者:Timm、 Ingo J.、Guttmann、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Practical Aspects of Design Science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

0
索取号:
作者:Helfert、 Markus.、Donnellan、 Brian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类