大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

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.

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.

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.

Mathematical Methods in Electro-Magneto-Elasticity [electronic resource]

0
索取号：
作者：Bardzokas、 Demosthenis I.、Filshtinsky、 Michael L.、Filshtinsky、 Leonid A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

0
索取号：
作者：Padgham、 Lin.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

0
索取号：
作者：Thomas、 Wolfgang.、Weil、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Graph Drawing [electronic resource] : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers

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