|
341.
|
Computability and Complexity Theory
by Homer, Steven | Selman, Alam L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004 HOM] (1).
|
|
342.
|
Set theory for computing
by Cantone, Domenico | Omodeo, Eugenio | Policriti, Alberto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.322 CAN] (1).
|
|
343.
|
Modern cryptology : a tutorial
by Brassard, Gilles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1988Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
344.
|
Design and analysis of algorithms
by Kozen, Dexter C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1992Availability: Items available for loan: [Call number: 005.1 KOZ] (1).
|
|
345.
|
Modern compiler design
by Grune, Dick | Bal, Henri E | Jacobs, Ceruel J. H | Langendoen, Koen G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2001Availability: Items available for loan: [Call number: 005.453 GRU] (1).
|
|
346.
|
Two-level functional languages
by Nielson, Flemming | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 NIE] (1).
|
|
347.
|
Basic simple type theory
by Hindley, J. Roger. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
|
|
348.
|
Domains and lambda-calculi
by Amadio, Roberto M | Curien, Pierre-Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
|
|
349.
|
Term rewriting systems
by Terese Group | Bezem, Marc | Klop, Jan Willem | Vrijer, Roel de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 005.131 TER] (1).
|
|
350.
|
Hybrid graph theory and network analysis
by Novak, Ladislav | Gibbons, Alan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1999Availability: Items available for loan: [Call number: 511.5 NOV] (1).
|
|
351.
|
Modal logic
by Blackburn, Patrick | Rijke, Maarten de | Venema, Yde. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BLA] (2).
|
|
352.
|
C by example
by Kalicharan, Noel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 005.133 KAL] (1).
|
|
353.
|
Information flow : the logic of distributed systems
by Seligman, Jerry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 003.54 BAR] (1).
|
|
354.
|
Concurrency verification : introduction to compositional and noncompositional methods.
by De Roever, Willem-Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
|
|
355.
|
Process algebra : equational theories of communicating processes
by Baeten, J. C. M | Basten, T | Reniers, M. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).
|
|
356.
|
Introduction to computer architecture
by Stone, Harold S. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Galgotia Publications, 1988Availability: Items available for loan: [Call number: 621.38195 STO] (1).
|
|
357.
|
Stream processor architecture
by Rixner, Scott. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 004.22 RIX] (1).
|
|
358.
|
Power trade-offs and low-power in analog CMOS ICs
by Sanduleanu, Mihai A. T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 621.39732 SAN] (1).
|
|
359.
|
CMOS data coverters for communications
by Gustavsson, Mikael | Tan, Nianxiong | Wikner, J. Jacob. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.39732 GUS] (1).
|
|
360.
|
Switched current signal processing and A/D conversion circuits : design and implementation
by Jonsson, Bengt E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2000Availability: Items available for loan: [Call number: 621.3815 JON] (1).
|