321. 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).
322. Formal object-oriented specification using Object-Z

by Duke, Roger | Rose, Gordon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basingstoke: MacMillan, 2000Availability: Items available for loan: [Call number: 005.117 DUK] (1).
323. Simulation for the social scientist

by Troitzsch, Klaus G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Philadelphia: Open University Press, 1999Availability: Items available for loan: [Call number: 300.11 GIL] (1).
324. Programming Challenges: The programming contest training manual

by Skiena, Stevan S | Revilla, Miguel A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
325. Brute force : cracking the data encryption standard

by Curtin, Matt.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Copernicus Books, 2005Availability: Items available for loan: [Call number: 005.82 CUR] (1).
326. Guide to RISC processors : for programmers and engineers

by Dandamudi, Sivarama P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.3 DAN] (1).
327. Differential equations : an introduction with Mathematica

by Ross, Clay C.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: No items available Checked out (1).
328. Evolutionary computation for modeling and optimization

by Ashlock, Daniel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 519.6 ASH] (1).
329. Multimedia introduction to programming using JAVA

by Gries, David | Gries, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.76 GRI] (2).
330. Network Control and Engineering for QOS, Security and Mobility, III.

by Gaiti, Dominique | Gaiti, Dominique | Galmes, Sebastia | Puigjaner, Ramon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004.6068 GAI] (1).
331. Austin protocol compiler

by McGuire, Tommy M | Gouda, Mohamed G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.453 MCG] (1).
332. Extending web services technologies : the use of multi-agent approaches

by Cavedon, Lawrence | Benatallah, Boualem | Maamar, Zakaria | Martin, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 CAV] (1).
333. 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).
334. 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).
335. Soft real-time systems : predictability vs. efficiency

by Buttazzo, Giorgio | Abeni, Luca | Buttazzo, Giorgio | Caccamo, Marco | Lipari, Giuseppe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.33 BUT] (1).
336. Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
337. 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).
338. 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).
339. Computer Security in the 21st Century

by Shieh, S. P | Lee, D. T | Tygar, J. D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 LEE] (1).
340. Designing human interface in speech technology

by Chen, Fang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.454 CHE] (1).

Powered by Koha