大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书(共10474本)

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings

0
索取号:
作者:Bloch、 Isabelle.、Cesar、 Roberto M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Viability Theory [electronic resource] : New Directions

0
索取号:
作者:Aubin、 Jean-Pierre.、Bayen、 Alexandre M.、Saint-Pierre、 Patrick.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings

0
索取号:
作者:Leitner、 Gerhard.、Hitz、 Martin.、Holzinger、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Recent Trends and Developments in Social Software [electronic resource] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers

0
索取号:
作者:Breslin、 John G.、Burg、 Thomas N.、Kim、 Hong-Gee.、Raftery、 Tom.、Schmidt、 Jan-Hinrik.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

0
索取号:
作者:Petrenko、 Alexandre.、Sim茫o、 Adenilso.、Maldonado、 Jos茅 Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

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

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

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

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science [electronic resource] : 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

0
索取号:
作者:Sicilia、 Miguel-Angel.、Kop、 Christian.、Sartori、 Fabio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号:
作者:Cai、 Zhihua.、Hu、 Chengyu.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

0
索取号:
作者:Bernhaupt、 Regina.、Forbrig、 Peter.、Gulliksen、 Jan.、L谩rusd贸ttir、 Marta.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

0
索取号:
作者:Moraz谩n、 Marco T.、Scholz、 Sven-Bodo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Natural Time Analysis: The New View of Time [electronic resource] : Precursory Seismic Electric Signals, Earthquakes and other Complex Time Series

0
索取号:
作者:Varotsos、 Panayiotis A.、Sarlis、 Nicholas V.、Skordas、 Efthimios S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Knowledge Engineering and Management by the Masses [electronic resource] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings

0
索取号:
作者:Cimiano、 Philipp.、Pinto、 H. Sofia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Lean Enterprise Software and Systems [electronic resource] : First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings

0
索取号:
作者:Abrahamsson、 Pekka.、Oza、 Nilay.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence and Intelligent Systems [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号:
作者:Cai、 Zhihua.、Tong、 Hengjian.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Production Management Systems. New Challenges, New Approaches [electronic resource] : IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers

0
索取号:
作者:Vallespir、 Bruno.、Alix、 Th猫cle.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类