61. Developing distributed and E-commerce applications

by Ince, Darrel.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Pearson Addison Wesley, 2003Availability: Items available for loan: [Call number: 005.1 INC] (2).
62. Secure architectures with openBSD

by Nazario, Jose | Palmer, Brandon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2004Availability: Items available for loan: [Call number: 005.432 PAL] (1).
63. Extrusion detection : security monitoring for internal intrusions

by Bejtlich, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2006Availability: Items available for loan: [Call number: 005.8 BEJ] (1).
64. Ethics for the information age

by Quinn, Michael J.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 174.9004 QUI] (1).
65. Art of computer programming. Volume 4, Fascicle 1 : bitwise tricks and techniques binary decision diagrams

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 KNU] (1).
66. Spreadsheet modeling and decision analysis : a practical introduction to management science

by Ragsdale, Cliff T.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cincinnati: South-Western College Publishing, 2001Availability: Items available for loan: [Call number: 658.403 RAG] (1).
67. Cyberlaw : your rights in cyberspace

by Ferrera, Gerald R | August, Ray | Lichtenstein, Stephen D | Reder, Margo E. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Learning, 2001Availability: Items available for loan: [Call number: 343.7309944 FER] (1).
68. Future of ideas : the fate of the commons in a connected world

by Lessig, Lawrence.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Random House, 2001Availability: Items available for loan: [Call number: 346.0480285 LES] (1).
69. Component models and systems for grid applications

by Getov, Vladimir | Kielmann, Thilo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004.36 GET] (1).
70. Intrusion detection and correlation : challenges and solutions

by Kruegel, Christopher | Valeur, Fredrik | Vigna, Giovanni.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 KRU] (1).
71. Legal programming : designing legally compliant RFID and software agent architectures for retail processes and beyond

by Subirana, Brian | Bain, Malcolm.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 343.0811 SUB] (2).
72. Distributed Network Systems : From Concepts to Implementations

by Jia, Weijia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 JIA] (1).
73. Trusted computing platforms : design and applications

by Smith, Sean W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 SMI] (1).
74. New horizons of parallel and distributed computing

by Guo, Minyi | Yang, Laurence Tianruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.35 GUO] (1).
75. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
76. SystemVerilog for design

by Sutherland, Stuart | Davidmann, Simon | Flake, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 SUT] (1).
77. Abstraction refinement for large scale model checking.

by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1).
78. Selected writings on computing : a personal perspective

by Dijkstra, Edsger W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
79. Concurrent scientific computing : texts in applied mathematics.

by Van de Velde, Eric F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1994Availability: Items available for loan: [Call number: 519.4028552 VAN] (1).
80. Discipline of multiprogramming : programming theory for distributed applications

by Misra, Jayadev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.434 MIS] (1).

Powered by Koha