|
321.
|
Computer organization
by Hamacher, V. Carl | Vranesic, Zvonko | Zaky, Safwat. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: McGraw-Hill, 2002Availability: Items available for loan: [Call number: 004.22 HAM] (1).
|
|
322.
|
Introduction to statistical pattern recognition
by Fukunaga, Keinosuke. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1990Availability: Items available for loan: [Call number: 006.4 FUK] (1).
|
|
323.
|
Recursive function theory and logic
by Yasuhara, Ann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
|
|
324.
|
Haskell : the craft of functional programming
by Thompson, Simon. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 2011Availability: Items available for loan: [Call number: 005.133 THO] (1).
|
|
325.
|
Using advanced MPI : modern features of the Message-Passing-Interface
by Gropp, William | Hoefler, Torsten | Lusk, Ewing | Thakur, Rajeev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 005.711 GRO] (1).
|
|
326.
|
Mobile IP : present state and future
by Mondal, Abdul Sakib. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 004.62 MON] (1).
|
|
327.
|
Concurrent systems : an integrated approach to operating systems, distributed systems and databases
by Bacon, Jean. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 004.35 BAC] (1).
|
|
328.
|
Parsing techniques : a practical guide
by Grune, Dick | Jacobs, Ceruel J. H. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 005.131 GRU] (1).
|
|
329.
|
Geometric fundamentals of robotics
by Selig, J. M. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 629.892 SEL] (1).
|
|
330.
|
Evolutionary synthesis of pattern recognition systems
by Bhanu, Bir | Krawiec, Krzysztof | Lin, Yingqiang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.4 BHA] (1).
|
|
331.
|
Process Assessment and Improvement : a practical guide for managers, quality professionals, and assessors
by Loon, Han van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005 LOO] (1).
|
|
332.
|
Introduction to Kolmogorov complexity and its applications
by Li, Ming. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 LIM] (1).
|
|
333.
|
Abstraction, Refinement and Proof for Probabilistic Systems
by McIver, Annabelle | Morgan, Carroll. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1).
|
|
334.
|
Computer and computing technologies in agriculture. Volume I
by Li, Daoliang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 630.285 LID] (1).
|
|
335.
|
Computer and computing technologies in agriculture. Volume II
by Li, Daoliang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 630.285 LID] (1).
|
|
336.
|
Vehicle routing problem : latest advances and new challenges
by Golden, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 519.72 GOL] (1).
|
|
337.
|
Telecommunications modeling, policy, and technology
by Raghavan, S | Golden, Bruce L | Raghavan, S | Wasil, Edward A | INFORMS Telecommunications Conference. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 621.3821 RAG] (1).
|
|
338.
|
First-order logic and automated theorem proving
by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
339.
|
Theory of objects
by Abadi, Martin | Cardelli, Luca. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 005.131 ABA] (1).
|
|
340.
|
Exploring computer science with scheme
by Grillmeyer, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 004 GRI] (1).
|