大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Conference on Applications of Numerical Software 的图书(共10803本)

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.

Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

0
索取号:
作者:Lukowicz、 Paul.、Thiele、 Lothar.、Tr枚ster、 Gerhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

0
索取号:
作者:Hochreiter、 Sepp.、Wagner、 Roland.、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.

The Method of Approximate Inverse: Theory and Applications [electronic resource]

0
索取号:
作者:Schuster、 Thomas.、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.

Advanced Numerical Methods to Optimize Cutting Operations of Five-Axis Milling Machines [electronic resource]

0
索取号:
作者:Makhanov、 Stanislav S.、Anotaipaiboon、 Weerachai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Wave Propagation in Infinite Domains [electronic resource] : With Applications to Structure Interaction

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

Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

0
索取号:
作者:Lee、 Jae Kwang.、Yi、 Okyeon.、Yung、 Moti.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

0
索取号:
作者:Armando、 Alessandro.、Baumgartner、 Peter.、Dowek、 Gilles.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Optical Nonlinearities in Chalcogenide Glasses and their Applications [electronic resource]

0
索取号:
作者:Zakery、 A.、Elliott、 S. R.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号:
作者:Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications [electronic resource]

0
索取号:
作者:Park、 Seon K.、Xu、 Liang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Spectral Methods [electronic resource] : Algorithms, Analysis and Applications

0
索取号:
作者:Shen、 Jie.、Tang、 Tao.、Wang、 Li-Lian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.
最近添加的分类