大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Social Computing, Behavioral - Cultural Modeling and Prediction [electronic resource] : 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings

0
索取号：
作者：Yang、 Shanchieh Jay.、Greenberg、 Ariel M.、Endsley、 Mica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I

0
索取号：
作者：Lee、 Sang-goo.、Peng、 Zhiyong.、Zhou、 Xiaofang.、Moon、 Yang-Sae.、Unland、 Rainer.、Yoo、 Jaesoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II

0
索取号：
作者：Lee、 Sang-goo.、Peng、 Zhiyong.、Zhou、 Xiaofang.、Moon、 Yang-Sae.、Unland、 Rainer.、Yoo、 Jaesoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Resilience Assessment and Evaluation of Computing Systems [electronic resource]

0
索取号：
作者：Wolter、 Katinka.、Avritzer、 Alberto.、Vieira、 Marco.、van Moorsel、 Aad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings

0
索取号：
作者：Yu、 Hwanjo.、Yu、 Ge.、Hsu、 Wynne.、Moon、 Yang-Sae.、Unland、 Rainer.、Yoo、 Jaesoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematical Modelling and Scientific Computation [electronic resource] : International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings

0
索取号：
作者：Balasubramaniam、 P.、Uthayakumar、 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

0
索取号：
作者：Sloane、 Anthony.、A脽mann、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Distributed Computing and Artificial Intelligence [electronic resource] : 9th International Conference

0
索取号：
作者：Omatu、 Sigeru.、De Paz Santana、 Juan F.、Gonz谩lez、 Sara Rodr铆guez.、Molina、 Jose M.、Bernardos、 Ana M.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：Birkedal、 Lars.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design [electronic resource] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

0
索取号：
作者：Ayala、 Jos茅 L.、Atienza Alonso、 David.、Reis、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

0
索取号：
作者：Schmitt、 Jens B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

0
索取号：
作者：Gavrilova、 Marina L.、Tan、 C. J. Kenneth.、Phan、 Cong-Vinh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in User Modeling [electronic resource] : UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers

0
索取号：
作者：Ardissono、 Liliana.、Kuflik、 Tsvi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

0
索取号：
作者：Lukasiewicz、 Thomas.、Sali、 Attila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

0
索取号：
作者：Mossakowski、 Till.、Kreowski、 Hans-J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

0
索取号：
作者：Choy、 Oliver C. S.、Cheung、 Ray C. C.、Athanas、 Peter.、Sano、 Kentaro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院