|
921.
|
Component-Based Software Testing with UML
by Gross, Hans-Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.117 GRO] (2).
|
|
922.
|
UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings
by Kent, Stuart | Evans, Andy | Selic, Bran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
|
|
923.
|
Cryptographic Hardware and Embedded Systems - CHES 2000: Second International Workshop Worecester, MA, USA 17-18, 2000 Proceddings
by Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
924.
|
Advances in Spatial and Temporal Databases: 7th Internatinal Symposium, SSTD 2001 Redondo Beach, CA, USA, July 2001 Proceedings
by Jensen, Christian S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 JEN] (1).
|
|
925.
|
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
by Brauer, Wilfri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
926.
|
Process algebra with timing
by Baeten, J. C. M | Middelburg, C. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 003.83 BAE] (1).
|
|
927.
|
Data structures using C++
by Malik, D. S. Edition: Indian ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Thomson Course Technology, 2003Availability: Items available for loan: [Call number: 005.73 MAL] (1).
|
|
928.
|
Data structures, algorithms and applications in C++
by Sahni, Sartaj. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hyderabad: University Press, 2005Availability: Items available for loan: [Call number: 005.133 SAH] (1).
|
|
929.
|
Data modeling essentials : the ultimate reference
by Simsion, Graeme C. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley-Dreamtech India, 2003Availability: Items available for loan: [Call number: 005.74 SIM] (1).
|
|
930.
|
Visual modeling with rational rose 2002 and UML
by Quatrani, Terry. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2003Availability: Items available for loan: [Call number: 006.66 QUA] (1).
|
|
931.
|
Natural language processing for online applications : text retrieval, extraction, and categorization
by Jackson, Peter | Moulinier, Isabelle. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: John Benjamins Pub., 2002Availability: Items available for loan: [Call number: 006.35 JAC] (1).
|
|
932.
|
Data structures and algorithms in Java
by Drozdek, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Thomson Learning, 2001Availability: Items available for loan: [Call number: 005.133 DRO] (1).
|
|
933.
|
Limits of Mathematics
by Chaitin, Gregory J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, Availability: Items available for loan: [Call number: 511.321 CHA] (1).
|
|
934.
|
Introduction to computational learning theory
by Kearns, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge MIT Press 1994Availability: Items available for loan: [Call number: 006.3 KEA] (1).
|
|
935.
|
Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings
by Snekkenes, Einar | Gollmann, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1).
|
|
936.
|
Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : Revised Papers
by Johansson, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
|
|
937.
|
Understanding formal methods
by Monin, Jean-Francois | Hinchey, Michael G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2003Availability: Items available for loan: [Call number: 004.0151 MON] (1).
|
|
938.
|
Formal techniques for networked and distributed systems - FORTE 2002
by Peled, Doron A | Vardi, Moshe Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 PEL] (1).
|
|
939.
|
Fundamentals of quantum information
by Heiss, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004.1 HEI] (1).
|
|
940.
|
Computer communications and netwroks
by Freer, John R. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Taylor & Francis, 1996Availability: Items available for loan: [Call number: 004.6 FRE] (1).
|