81. Agent intelligence through data mining

by Symeonidis, Andreas L | Mitkas, Pericles A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 SYM] (1).
82. Multi-agent programming : languages, platforms, and applications

by Dastani, Mehdi | Bordini, Rafael H | Dix, Jurgen | Seghrouchini, Amal El Fallah.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BOR] (1).
83. Software engineering techniques applied to agricultural systems : an object-oriented and UML approach

by Pardalos, Panos M | Papajorgji, Petraq J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 630.2085 PAP] (1).
84. Verification of sequential and concurrent programs

by Apt, Krzysztof R | Olderog, Ernst-Rudiger.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
85. Guide to applying the UML

by Alhir, Sinan Si.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.117 ALH] (1).
86. Programming Methodology

by Mclver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
87. Specification of software systems

by Alagar, Vangalur S | Periyasamy, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 005.1 ALA] (1).
88. Designing maintainable software

by Smith, Dennis D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.16 SMI] (1).
89. Foundations of computer technology

by Anderson, A. John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Chapman & Hall, 1994Availability: Items available for loan: [Call number: 004 AND] (1).
90. Elements of software science

by Halstead, Maurice H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: North Holland, 1977Availability: Items available for loan: [Call number: 001.6425 HAL] (1).
91. Selected papers in network and system administration

by Anderson, Eric | Burgess, Mark | Couch, Alva.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 005.43 AND] (1).
92. Dedicated digital processors : methods in hardware/software design

by Mayer-Lindenberg, F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 621.3916 MAY] (1).
93. Essential open source toolset : programming with Eclipse, JUnit, CVS, Bugzilla, Ant, Tcl/Tk and more

by Zeller, Andreas | Krinke, Jens.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 005.1 ZEL] (1).
94. Pattern-oriented software architecture, patterns for resource management

by Kircher, Michael | Jain, Prashant.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow John Wiley & Sons 2004Availability: Items available for loan: [Call number: 005.12 KIR] (1).
95. Lessons learned in software testing : a context-driven approach

by Bach, James | Kaner, Cem | Pettichord, Bret.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 005.14 KAN] (1).
96. Black box testing : techniques for functional testing of software and systems

by Beizer, Boris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 1995Availability: Items available for loan: [Call number: 005.14 BEI] (1).
97. Overdrive : Bill Gates and the race to control cyberspace

by Wallace, James.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 1997Availability: Items available for loan: [Call number: 338.7610053092 WAL] (1).
98. Real-time systems design and analysis

by Laplante, Philip A.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Canada: Wiley-Interscience, 2004Availability: Items available for loan: [Call number: 004.33 LAP] (1).
99. Business modeling with UML : business patterns at work

by Eriksson, Hans-Erik | Penker, Magnus.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 650.02855117 ERI] (1).
100. Testing computer software

by Falk, Jack | Kaner, Cem | Nguyen, Hung Quoc.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 1999Availability: Items available for loan: [Call number: 005.14 KAN] (1).

Powered by Koha