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

Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

0
索取号：
作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006. Revised Papers

0
索取号：
作者：Lopez、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings

0
索取号：
作者：Lipp、 Peter.、Sadeghi、 Ahmad-Reza.、Koch、 Klaus-Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data Mining and Bioinformatics [electronic resource] : First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers

0
索取号：
作者：Dalkilic、 Mehmet M.、Kim、 Sun.、Yang、 Jiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Otorhinolaryngology, Head and Neck Surgery [electronic resource]

0
索取号：
作者：Anniko、 Matti.、Bernal-Sprekelsen、 Manuel.、Bonkowsky、 Viktor.、Bradley、 Patrick J.、Iurato、 Salvatore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Progress in Cryptology - VIETCRYPT 2006 [electronic resource] : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers

0
索取号：
作者：Nguyen、 Phong Q.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

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

Advances in Image and Video Technology [electronic resource] : First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006. Proceedings

0
索取号：
作者：Chang、 Long-Wen.、Lie、 Wen-Nung.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Progress in Cryptology-AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings

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

Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

0
索取号：
作者：Havelund、 Klaus.、N煤帽ez、 Manuel.、Ro艧u、 Grigore.、Wolff、 Burkhart.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Semantic Multimedia [electronic resource] : First International Conference on Semantics and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006. Proceedings

0
索取号：
作者：Avrithis、 Yannis.、Kompatsiaris、 Yiannis.、Staab、 Steffen.、O鈥機onnor、 Noel E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Quantum Chemistry of Solids [electronic resource] : The LCAO First Principles Treatment of Crystals

0
索取号：
作者：Evarestov、 Robert A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings

0
索取号：
作者：Havinga、 Paul.、Lijding、 Maria.、Meratnia、 Nirvana.、Wegdam、 Maarten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Information and Computer Security [electronic resource] : First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings

0
索取号：
作者：Yoshiura、 Hiroshi.、Sakurai、 Kouichi.、Rannenberg、 Kai.、Murayama、 Yuko.、Kawamura、 Shinichi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

0
索取号：
作者：Horv谩th、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.