|
181.
|
Guide to the Unified Process Featuring UML, Java and Design Patterns
by Hunt, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.117 HUN] (1).
|
|
182.
|
Constructing correct software
by Cooke, John. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1).
|
|
183.
|
Complete IS-IS routing protocol
by Goralski, Walter | Gredler, Hannes. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 004.62 GRE] (1).
|
|
184.
|
Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
by Bowman, Howard | Gomez, Rodolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 004.015113 BOW] (1).
|
|
185.
|
Agent technology from a formal perspective
by Rouff, Christopher A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 ROU] (1).
|
|
186.
|
Code book : the secret history of codes and codebreaking
by Singh, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Fourth Estate, 2000Availability: Items available for loan: [Call number: 652.8 SIN] (1).
|
|
187.
|
Dynamic vision : from images to face recognition
by Gong, Shaogang | McKenna, Stephen J | Psarrou, Alexandra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2005Availability: Items available for loan: [Call number: 006.3721 GON] (1).
|
|
188.
|
Debugging with GDB : the GNU source-level debugger
by Stallman, Richard M | Pesch, Roland | Shebs, Stan | Stallman, Richard M | Stallman, Richard M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Free Software Foundation, 2003Availability: Items available for loan: [Call number: 005.14 STA] (1).
|
|
189.
|
JUnit in action
by Husted, Ted. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Greenwich: Manning Publications, 2003Availability: Items available for loan: [Call number: 005.133 MAS] (1).
|
|
190.
|
Discrete mathematics for computer science
by Bogart, Kenneth P | Drysdale, Robert L | Stein, Clifford. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Emeryville: Key College Publishing, 2006Availability: Items available for loan: [Call number: 004.0151 BOG] (1).
|
|
191.
|
Code optimization : effective memory usage
by Kaspersky, Kris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wayne: A-List Publishing, 2003Availability: Items available for loan: [Call number: 003.54 KAS] (2).
|
|
192.
|
Neural networks in chemistry and drug design: An introduction
by Zupan, Jure | Gasteiger, Johann. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Weinheim: Wiley-VCH, 1999Availability: Items available for loan: [Call number: 006.32 ZUP] (1).
|
|
193.
|
Advanced lectures on networking : networking 2002 tutorials
by Gregori, Enrico | Anastasi, Giuseppe | Basagni, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GRE] (1).
|
|
194.
|
Thinking in complexity : the computational dynamics of matter, mind and mankind
by Mainzer, Klaus. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 501 MAI] (1).
|
|
195.
|
Computation in cells and tissues : perspectives and tools of thought.
by Paton, Ray. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 571.6 PAT] (1).
|
|
196.
|
Functional approach to data management : modeling, analyzing and integrating heterogeneous data
by Gray, Peter M. D | Kerschberg, Larry | King, Peter J. H | Poulovassilis, Alexandra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.74 GRA] (1).
|
|
197.
|
Programming in Prolog : using the ISO standard
by Clocksin, William F | Mellish, Christopher S. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.133 CLO] (1).
|
|
198.
|
Perspectives on web services : applying SOAP, WSDL and UDDI to real-world projects
by Tomlinson, Mark | Peuser, Stefan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 005.276 ZIM] (1).
|
|
199.
|
Aspect-oriented database systems
by Rashid, Awais. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 005.757 RAS] (1).
|
|
200.
|
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography
by Hromkovic, Juraj. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 HRO] (1).
|