|
361.
|
Practical software factories in .NET
by Lenz, Gunther | Wienands, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkeley: Apress, 2006Availability: Items available for loan: [Call number: 005.276 LEN] (1).
|
|
362.
|
Beginning PHP and Oracle : from novice to professional
by Gilmore, W. Jason | Bryla, Bob | Gilmore, W. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkeley: Apress, 2007Availability: Items available for loan: [Call number: 005.2762 GIL] (1).
|
|
363.
|
Verification, validation and testing in software engineering
by Dasso, Aristides | Funes, Ana. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hershey: Idea Group Pub., 2007Availability: Items available for loan: [Call number: 005.14 DAS] (1).
|
|
364.
|
Designing BSD rootkits : an introduction to kernel hacking
by Kong, Joseph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: No Starch Press, 2007Availability: Items available for loan: [Call number: 005.3 KON] (1).
|
|
365.
|
Growing software : proven strategies for managing software engineers
by Testa, Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: No Starch Press, 2009Availability: Items available for loan: [Call number: 005.0684 TES] (1).
|
|
366.
|
Concise introduction to multiagent systems and distributed artificial intelligence
by Vlassis, Nikos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2007Availability: Items available for loan: [Call number: 006.3 VLA] (1).
|
|
367.
|
Software and systems safety : specification and verification
by Broy, Manfred | Hoare, Tony | Leuxner, Christian | NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 005.8 BRO] (1).
|
|
368.
|
Analysis and design of information systems
by Langer, Arthur M. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 004.21 LAN] (1).
|
|
369.
|
Principles of the Spin model checker
by Ben-Ari, Mordechai. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 005.14 BEN] (1).
|
|
370.
|
Maturing usability : quality in software, interaction and value
by Hvannberg, Ebba T | Cockton, Gilbert | Law, Effie Lai-Chong. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 004.019 LAW] (1).
|
|
371.
|
Thesis projects : a guide for students in computer science and information systems
by Berndtsson, Mikael. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 004.072 BER] (1).
|
|
372.
|
Distributed search by constrained agents : algorithms, performance, communication
by Meisels, Amnon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 006.3 MEI] (1).
|
|
373.
|
Elementary logic : for software developers
by Lover, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 005.101 LOV] (1).
|
|
374.
|
Future interaction design II
by Saariluoma, Pertti | Isomaki, Hannakaisa. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London Springer 2009Availability: Items available for loan: [Call number: 005.12019 SAA] (1).
|
|
375.
|
Affective information processing
by Tao, Jianhua | Tan, Tieniu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 004.019 TAO] (1).
|
|
376.
|
Guide to graphics software tools, 2nd.
by Chen, jim X. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 006.66 CHE] (1).
|
|
377.
|
Software verification and analysis : an integrated, hands-on approach
by Laski, Janusz | Stanley, William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 005.14 LAS] (1).
|
|
378.
|
Pervasive computing : innovations in intelligent multimedia and applications
by Hassanien, Aboul-ella. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004 HAS] (1).
|
|
379.
|
System software reliability
by Pham, Hoang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.43 PHA] (1).
|
|
380.
|
Software specification methods
by Habrias, Henri | Frappier, Marc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: ISTE Ltd, 2006Availability: Items available for loan: [Call number: 004.0151 HAB] (1).
|