1.

図書
図書
1. Metasploit penetration testing cookbook : over 70 recipes to master the most widely used penetration testing framework
Abhinav Singh
出版情報: Birmingham : Packt Publishing, 2012
シリーズ名: Packt open source
所蔵情報: 図書館
2.

図書
図書
2. Web data mining : exploring hyperlinks, contents, and usage data. 2nd ed.
Bing Liu
出版情報: Heidelberg : Springer, c2011
シリーズ名: Data-centric systems and applications
所蔵情報: 図書館
3.

図書
図書
3. Data mining : know it all
Soumen Chakrabarti ...[et. al.]
出版情報: Burlington, MA : Elsevier/Morgan Kaufmann Publishers, c2009
所蔵情報: 研究室
4.

図書
図書
4. Temporal logic and state systems
Fred Kröger, Stephan Merz
出版情報: Berlin : Springer, c2008
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: 図書館
5.

図書
図書
5. Parsing techniques : a practical guide. 2nd ed
Dick Grune, Ceriel J.H. Jacobs
出版情報: New York : Springer, c2008
シリーズ名: Monographs in computer science
所蔵情報: 図書館
6.

図書
図書
6. Algorithms and data structures : the basic toolbox
Kurt Mehlhorn, Peter Sanders
出版情報: Berlin : Springer, c2008
所蔵情報: 研究室
7.

図書
図書
7. Applied algebra, algebraic algorithms and error-correcting codes : 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, proceedings
Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3857
所蔵情報: 研究室
8.

図書
図書
8. The art of error correcting coding. 2nd ed
Robert H. Morelos-Zaragoza
出版情報: Chichester : Wiley, c2006
所蔵情報: 研究室
9.

図書
図書
9. Cryptographic security architecture : design and verification
Peter Gutmann
出版情報: New York ; Tokyo : Springer, c2004
所蔵情報: 研究室
10.

図書
図書
10. Research directions in data and applications security : IFIP TC11/WG11.3 sixteenth Annual Conference on Data and Applications Security, July 28-31, 2002, Cambridge, UK
edited by Ehud Gudes, Sujeet Shenoi
出版情報: Boston : Kluwer Academic, c2003
シリーズ名: The International Federation for Information Processing ; 128
所蔵情報: 図書館
11.

図書
図書
11. Security and privacy in the age of uncertainty : IFIP TC11 18th International Conference on Information Security (SEC 2003), May 26-28, 2003, Athens, Greece
edited by Dimitris Gritzalis ... [et al.]
出版情報: Boston : Kluwer Academic, c2003
シリーズ名: The International Federation for Information Processing ; 122
所蔵情報: 図書館
12.

図書
図書
12. Real-time systems : scheduling, analysis, and verification
Albert M. K. Cheng
出版情報: Hoboken, N.J. : Wiley-Interscience, c2002
所蔵情報: 図書館
13.

図書
図書
13. Multimodality in language and speech systems
edited by Björn Granström, David House and Inger Karlsson
出版情報: Dordrecht, the Netherland : Kluwer Academic Publishers, c2002
シリーズ名: Text, speech, and language technology ; v. 19
所蔵情報: 図書館
14.

図書
図書
14. JPEG2000 : image compression fundamentals, standards and practice
David S. Taubman, Michael W. Marcellin
出版情報: Boston : Kluwer Academic, c2002
シリーズ名: The Kluwer international series in engineering and computer science
所蔵情報: 図書館, 研究室
15.

図書
図書
15. Algorithm design : foundations, analysis, and internet examples
Michael T. Goodrich, Roberto Tamassia
出版情報: New York : John Wiley & Sons, c2002
所蔵情報: 研究室
16.

図書
図書
16. Coding approaches to fault tolerance in combinational and dynamic systems
Christoforos N. Hadjicostis
出版情報: Boston : Kluwer Academic Publishers, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 660
所蔵情報: 研究室
17.

図書
図書
17. The design of Rijndael : AES - The Advanced Encryption Standard
Joan Daemen, Vincent Rijmen
出版情報: Berlin : Springer, c2002
シリーズ名: Information security and cryptography : texts and monographs
所蔵情報: 研究室
18.

図書
図書
18. The art of error correcting coding
Robert H. Morelos-Zaragoza
出版情報: Chichester, England : Wiley, c2002
所蔵情報: 研究室
19.

図書
図書
19. Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: 図書館, 研究室
20.

図書
図書
20. Compression and coding algorithms
by Alistair Moffat and Andrew Turpin
出版情報: Boston : Kluwer Academic, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 669
所蔵情報: 図書館, 研究室
21.

図書
図書
21. Information, coding and mathematics : proceedings of workshop honoring Prof. Bob McEliece on his 60th birthday
edited by Mairo Blaum, Patrick G. Farrell, Henk C. A. van Tilborg
出版情報: Boston : Kluwer Academic, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; 687. Communications and information theory
所蔵情報: 研究室
22.

図書
図書
22. Disappearing cryptography : information hiding : steganography & watermarking. 2nd ed.
Peter Wayner
出版情報: San Francisco : Morgan Kaufmann Publishers, 2002
所蔵情報: 研究室
23.

図書
図書
23. Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings
Andrea Corradini ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2505
所蔵情報: 図書館, 研究室
24.

図書
図書
24. Modelling, analysis, and design of hybrid systems
S. Engell, G. Frehse, and E. Schnieder (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in control and information sciences ; 279
所蔵情報: 図書館
25.

図書
図書
25. Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
edited by Myungchul Kim ...[et al.]
出版情報: Norwell, Mass. : Kluwer Academic Publishers, c2001
シリーズ名: The International Federation for Information Processing ; 69
所蔵情報: 図書館
26.

図書
図書
26. Public-key cryptography and computational number theory : proceedings of the international conference
editors, Kazimierz Alster, Jerzy Urbanowicz, Hugh C. Williams
出版情報: Berlin ; New York : Walter de Gruyter, 2001
所蔵情報: 図書館
27.

図書
図書
27. Trusted information : the new decade challenge : IFIP TC11 16th International Conference on Information Security (IFIP/Sec '01), June 11-13, 2001, Paris, France
edited by Michel Dupuy, Pierre Paradinas
出版情報: Boston : Kluwer Academic Publishers, c2001
シリーズ名: The International Federation for Information Processing ; 65
所蔵情報: 図書館
28.

図書
図書
28. Calibration and orientation of cameras in computer vision
Armin Gruen, Thomas S. Huang (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Springer series in information sciences ; 34
所蔵情報: 図書館
29.

図書
図書
29. Error coding for engineers
A. Houghton
出版情報: Boston : Kluwer Academic, c2001
シリーズ名: The Kluwer international series in engineering and computer science
所蔵情報: 図書館, 研究室
30.

図書
図書
30. Concurrency verification : introduction to compositional and noncompositional methods
Willem-Paul de Roever ... [et al.]
出版情報: Cambridge ; New York : Cambridge University Press, 2001
シリーズ名: Cambridge tracts in theoretical computer science ; 54
所蔵情報: 研究室
31.

図書
図書
31. Handbook on parallel and distributed processing
Jacek Błażewicz ... [et al.] (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: International handbooks on information systems
所蔵情報: 図書館
32.

図書
図書
32. Modeling, verification and exploration of task-level concurrency in real-time embedded systems
edited by Flip Thoen and Francky Catthoor
出版情報: Boston : Kluwer Academic Publishers, 2000
所蔵情報: 図書館
33.

図書
図書
33. Computer-aided reasoning : an approach
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
出版情報: Boston ; Dordrecht ; London : Kluwer Academic, c2000
シリーズ名: Advances in formal methods / series editor, Michael Hinchey ; 3
所蔵情報: 図書館
34.

図書
図書
34. Computer-aided reasoning : ACL2 case studies
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
出版情報: Boston ; Dordrecht ; London : Kluwer Academic, c2000
シリーズ名: Advances in formal methods / series editor, Michael Hinchey ; 4
所蔵情報: 図書館
35.

図書
図書
35. Proceedings, 2000 International Conference on Parallel Processing, 21-24 August 2000 Toronto, Canada (: microfiche)
edited by David J. Lilja, sponsored by the international association for computers and communications (IACC)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000
所蔵情報: 図書館
36.

図書
図書
36. Introduction to data compression. 2nd ed
Khalid Sayood
出版情報: San Francisco, Calif. : Morgan Kaufmann, c2000
シリーズ名: The Morgan Kaufmann series in multimedia information and systems
所蔵情報: 研究室
37.

図書
図書
37. Virtual environments 2000 : proceedings of the Eurographics Workshop in Amsterdam, The Netherlands, June 1-2, 2000
J.D. Mulder, R. van Liere (eds.)
出版情報: Wien : Springer, c2000
シリーズ名: Springer computer science ; . Eurographics
所蔵情報: 研究室
38.

図書
図書
38. Coding techniques : an introduction to compression and error control
Graham Wade
出版情報: Houndmills, UK : Palgrave, c2000
所蔵情報: 研究室