Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
![]() |
Intelligence and security informatics IEEE ISI 2008 international workshops : PAISI, PACCF and SOCO 2008, Taipei, Taiwan, June 17, 2008 proceedingsISI 2008 (2008 Taipei, Taiwan) Hsinchun Chen; Michael Chau; Kuiyu Chang; Sheau-Dong Lang; Patrick S Chen; Raymond Hsieh; Daniel Zeng; Fei-Yue Wang; Kathleen M Carley; Wenji Mao; Justin Zhan; Christopher C Yang; Institute of Electrical and Electronics Engineers; ISI 2008 (2008 Taipei, Taiwan)Berlin Springer New York 2008Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5075 ) and other locations(GetIt) |
2 |
Material Type: Book
|
![]() |
Intelligence and security informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006 proceedingsISI 2006 (2006 San Diego, Calif.) Daniel D Zeng; Hsinchun Chen; Bhavani Thuraisingham; Fei-Yue Wang; Sharad Mehrotra 1968Berlin Springer c2006Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3975 ) and other locations(GetIt) |
3 |
Material Type: Book
|
![]() |
Intelligence and security informatics IEEE International Conference on Intelligence and Security Informatics WISI 2006, Singapore, April 9, 2006 ; proceedingsWISI 2006 (2006 Singapore) Fei-Yue Wang; Christopher C Yang; Daniel Zeng; Michael Chau; Kuiyu Chang; Hsinchun ChenBerlin Springer c2006Online access. The library also has physical copies. |
4 |
Material Type: Book
|
![]() |
Intelligence and security informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005 proceedingsISI 2005 (2005 Atlanta, Ga.) Fred S Roberts; Fei-Yue Wang; Gheorghe Muresan; Daniel D Zeng; Hsinchun Chen; Ralph C Merkle (Ralph Charles); Paul B KantorBerlin Springer New York c2005Online access. The library also has physical copies. |
5 |
Material Type: Book
|
![]() |
Automated technology for verification and analysis, second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedingsFarn Wang; ATVA 2004 (2 2004.10.31-11.03 Taipei); International Symposium on Automated Technology on Verification and Analysis (2 2004.10.31-11.03 Taipei)Berlin u.a. Springer 2004Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3299 ) and other locations(GetIt) |