|
461.
|
Handbook of Logic and Proof Techniques for Computer Science
by Krantz, Steven G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
462.
|
Transforms and fast algorithms for signal analysis and representations
by Bi, Guoan | Zeng, Yonghong. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2004Availability: Items available for loan: [Call number: 621.382201515723 BIG] (1).
|
|
463.
|
Combinatorial algorithms : generation, enumeration and search
by Stinson, Douglas R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 1998Availability: Items available for loan: [Call number: 511.6 KRE] (1).
|
|
464.
|
Graphs and Applications
by Aldous, Joan M | Wilson, Robin J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 515.5 ALD] (2).
|
|
465.
|
Data streams : algorithms and applications
by Muthukrishnan, S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Now Publishers, 2005Availability: Items available for loan: [Call number: 518.1 MUT] (1).
|
|
466.
|
Combinatorial pattern matching : Fifteenth Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004 ; proceedings
by Sahinalp, Suleyman Cenk | Dogrusoz, Ugur | Muthukrishnan, S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 SAH] (1).
|
|
467.
|
Cryptographic hardware and embedded systems: First international workshop, CHES'99 Worcester, MA, USA, August 1999 proceedings
by Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
468.
|
Advances in Distributed Systems
by Krakowiak, Sacha. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
469.
|
Computer Programming in C
by Rajaraman, V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 005.1 RAJ] (2). Lost (1).
|
|
470.
|
Optimization for engineering design : algorithms and examples
by Deb, Kalyanmoy. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 620.0042 DEB] (2).
|
|
471.
|
Algebra of Programming
by Bird, Richard | Moor, Oege de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 1998Availability: Items available for loan: [Call number: 512 BIR] (1).
|
|
472.
|
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).
|
|
473.
|
Art of computer programming. Volume 3, sorting and searching
by Knuth, Donald E. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Pearson Education, 1999Availability: Items available for loan: [Call number: 005.1 KNU] (2).
|
|
474.
|
Genetic Algorithms in Search, Optimization and Machine Learning
by Goldberg,David E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Addison-Wesley, 2000Availability: Items available for loan: [Call number: 006.31 GOL] (1).
|
|
475.
|
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).
|
|
476.
|
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).
|
|
477.
|
Applied cryptography : protocols, algorithms and source code in C
by Schneier, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2001Availability: Items available for loan: [Call number: 005.82 SCH] (3).
|
|
478.
|
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).
|
|
479.
|
Information processing in sensor networks
by Zhao, Feng | Guibas, Leonidas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ZHA] (1).
|
|
480.
|
Specifying Software : a hands-on introduction
by Tennent, R. D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 005.1 TEN] (1).
|