|
921.
|
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).
|
|
922.
|
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).
|
|
923.
|
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).
|
|
924.
|
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).
|
|
925.
|
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).
|
|
926.
|
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).
|
|
927.
|
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).
|
|
928.
|
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).
|
|
929.
|
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).
|
|
930.
|
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).
|
|
931.
|
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).
|
|
932.
|
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).
|
|
933.
|
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).
|
|
934.
|
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).
|
|
935.
|
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).
|
|
936.
|
Observing the user experience : a practitioner's guide to user research
by Kuniavsky, Mik | Software Development & Engineering - Systems Analysis & Design. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: Morgan Kaufmann, 2003Availability: Items available for loan: [Call number: 004.019 KUN] (1).
|
|
937.
|
Learning bayesian networks
by Neapolitan, Richard E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey Prentice Hall 2003Availability: Items available for loan: [Call number: 519.542 NEA] (1).
|
|
938.
|
Component software : beyond object-oriented programming
by Szyperski | Clemens Gruntz | Stephan | Dominik Murer. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi Pearson Education 2002Availability: Items available for loan: [Call number: 005.3 SZY] (1).
|
|
939.
|
Quantum computation and quantum information
by Nielsen, Michael A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Cambridge University Press 2010Availability: Items available for loan: [Call number: 004.1 NIE] (1).
|
|
940.
|
Understanding the digital world : what you need to know about computers, the internet, privacy, and security
by Kernighan, Brian W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton Princeton University Press 2017Availability: Items available for loan: [Call number: 004 KER] (1).
|