大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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]