大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Haifa 的图书(共16本)

Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

0
索取号：
作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号：
作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

0
索取号：
作者：Namjoshi、 Kedar.、Zeller、 Andreas.、Ziv、 Avi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Next Generation Information Technologies and Systems [electronic resource] : 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers

0
索取号：
作者：Feldman、 Yishai A.、Kraft、 Donald.、Kuflik、 Tsvi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

0
索取号：
作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

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

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

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

Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

0
索取号：
作者：Akehurst、 David H.、Vogel、 R茅gis.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

0
索取号：
作者：Bin、 Eyal.、Ziv、 Avi.、Ur、 Shmuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

0
索取号：
作者：Ur、 Shmuel.、Bin、 Eyal.、Wolfsthal、 Yaron.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Molecular ions, molecular structure and interaction with matter : proceeding of the 38th Bat-Sheva Seminar held at the Weizman Institute of Science, Rehovot at Ein-Bokek, and at the Technion -- Israel Institute of Technology, Haifa

0
索取号：O4-54/E901
作者：Bat-Sheva Seminar (38th : 1980 : Weizman Institute of Science and Technion -- Israel Institute of Technology)、Rosner、 Baruch.、
出版社：Bristol : Published by Adam Hilger and the Israel Physical Society ; New York : American Institute of Physics, 1980.

Geometry and differential geometry : proceedings of a conference held at the University of Haifa, Israel, March 18-23, 1979

0
索取号：O132-51/E9017
作者：Conference on Geometry and Differential Geometry (1979 : University of Haifa)、Artzy、 Rafael.、Vaisman、 Izu.、
出版社：Berlin ; New York : Springer-Verlag, 1980.

Databases, improving usability and responsiveness

0
索取号：TP3-53/E803
作者：International Conference on Databases : Improving Usability and Responsiveness (1st : 1978 : Haifa、 Israel)、Shneiderman、 Ben.、̣тekhniyon、 Makhon ̣Тekhnologi le-YíСraʼЕl.、
出版社：New York : Academic Press, 1978.

Computer aided tomography and ultrasonics in medicine : proceedings of the IFIP TC-4 Working Conference on Computer Aided Tomography and Ultrasonics in Medicine

0
索取号：R312-53/E801
作者：IFIP TC-4 Working Conference on Computer Aided Tomography and Ultrasonics in Medicine、 Haifa、 1978.、Raviv、 Josef、 1934-、Greenleaf、 James F.、Herman、 Gabor T.、International Federation for Information Processing. Technical Committee 4.、
出版社：Amsterdam ; New York : North-Holland Pub. Co., North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979

Liquid and solid helium : proceedings of the European Physical Society topical conference, Haifa, 1-4 July 1974

0
索取号：O613.11-53/E801
作者：Europhysics Topical Conference on Liquid and Solid Helium、 Technion、 Israel Institute of Technology、 1974.、Kuper、 Charles Goethe.、Lipson、 S. G. (Stephen G.)、Revzen、 M.、European Physical Society.、
出版社：New York : Wiley, [1975]

Atomic physics in nuclear experiments : proceeding of the Haifa International Workshop held at the Technion--Israel Institute of Technology, August 24-31, 1976 ...

0
索取号：O571-53/E804
作者：Haifa International Workshop、 Technion--Israel Institute of Technology、 1976.、Rosner、 Baruch.、Kalish、 Rafael.、̣тekhniyon、 Makhon ̣Тekhnologi le-YíСraʼЕl.、
出版社：Bristol, Eng. : A. Hilger ... in association with the American Institute of Physics, [c1977]
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院