大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Computer Vision/Computer Graphics Collaboration Techniques [electronic resource] : Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings

0
索取号:
作者:Gagalowicz、 Andr茅.、Philips、 Wilfried.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Product Lines in Action [electronic resource] : The Best Industrial Practice in Product Line Engineering

0
索取号:
作者:Linden、 Frank.、Schmid、 Klaus.、Rommes、 Eelco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号:
作者:Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

0
索取号:
作者:Seidl、 Helmut.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Technologies in Environmental Engineering [electronic resource] : ITEE 2007 - Third International ICSC Symposium

0
索取号:
作者:G贸mez、 Jorge Marx.、Sonnenschein、 Michael.、M眉ller、 Martin.、Welsch、 Heinz.、Rautenstrauch、 Claus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号:
作者:Nicola、 Rocco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

0
索取号:
作者:Basili、 Victor R.、Rombach、 Dieter.、Schneider、 Kurt.、Kitchenham、 Barbara.、Pfahl、 Dietmar.、Selby、 Richard W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号:
作者:Dwyer、 Matthew B.、Lopes、 Ant贸nia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

0
索取号:
作者:Krishnamurthi、 Shriram.、Odersky、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号:
作者:Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Intelligent Multimedia Data Hiding [electronic resource] : New Directions

0
索取号:
作者:Pan、 Jeng-Shyang.、Huang、 Hsiang-Cheh.、Jain、 Lakhmi C.、Fang、 Wai-Chi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

NASSAU 2006 [electronic resource] : Proceedings of the 4th Nassau M枚ssbauer Symposium held in Garden City, New York, USA, 13鈥ᴠJanuary 2006

0
索取号:
作者:Alp、 E. E.、Wynter、 C. I.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Optimal Transport [electronic resource] : Old and New

0
索取号:
作者:Villani、 C茅dric.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

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

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers

0
索取号:
作者:Sakurai、 Akito.、Hasida、 K么iti.、Nitta、 Katsumi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Geospatial Vision [electronic resource] : New Dimensions in Cartography

0
索取号:
作者:Moore、 Antoni.、Drecki、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类