|
|
1.
|
Real-time workshop
by Math Works Inc. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: U.S.A.: The Math Works Inc., 2000Availability: Items available for loan: [Call number: 004.33 MAT] (1).
|
|
|
2.
|
What not how : the business rules approach to application development
by Date, C. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 2000Availability: Items available for loan: [Call number: 005.1 DAT] (1).
|
|
|
3.
|
Software abstractions : logic, language and analysis
by Jackson, Daniel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2006Availability: Items available for loan: [Call number: 005.1 JAC] (1).
|
|
|
4.
|
Distributed Network Systems : From Concepts to Implementations
by Jia, Weijia. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 JIA] (1).
|
|
|
5.
|
Model Selection and Multi-Model Inference: A Practical Information-Theoretic Approach
by Burnham, Kenneth P | Anderson, David R. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 570.151 BUR] (1).
|
|
|
6.
|
Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing
by Robbins, Kay A | Robbins, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1989Availability: Items available for loan: [Call number: 004 ROB] (1).
|
|
|
7.
|
Shorter model theory
by Hodges, Wilfrid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Oxford University Press, 1997Availability: Items available for loan: [Call number: 511.3 HOD] (1).
|
|
|
8.
|
Operations research : applications and algorithms
by Winston, Wayne L. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thomson Learning, 2004Availability: Items available for loan: [Call number: 003 WIN] (2).
|
|
|
9.
|
Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
by Badesa, Calixto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 2004Availability: Items available for loan: [Call number: 511.8 BAD] (1).
|
|
|
10.
|
Essentials of C++ : a lab course through arrays
by Dale, Nell. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 1999Availability: Items available for loan: [Call number: 005.133 DAL] (1).
|
|
|
11.
|
SystemC : methodologies and applications
by Muller, Wolfgang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 004.21 MUL] (1).
|
|
|
12.
|
Exploring new frontiers of theoretical informatics
by Levy, Jean | Mayr, Jean-Jacques | Mitchell, John C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2004Availability: Items available for loan: [Call number: 004.01 LEV] (1).
|
|
|
13.
|
Algebraic 3-D modeling
by Hartwig, Andreas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 1996Availability: Items available for loan: [Call number: 003.3 HAR] (1).
|
|
|
14.
|
Incompleteness Phenomenon
by Goldstern, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 1998Availability: Items available for loan: [Call number: 511.3 GOL] (1).
|
|
|
15.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
|
16.
|
Beginning JavaScript with DOM scripting and Ajax : from novice to professional
by Heilmann, Christian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berkeley: Apress, 2006Availability: Items available for loan: [Call number: 006.76 HEI] (1).
|
|
|
17.
|
Free/open source software development
by Koch, Stefan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hershey: Idea Group Pub., 2005Availability: Items available for loan: [Call number: 005.1 KOC] (1).
|
|
|
18.
|
Communications and Multimedia Security : Advanced Techniques for Network and Data Protection : 7th IFIP-TC6 TC11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003 : Proceeding
by Lioy, Antonio | Mazzocchi, Daniele. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIO] (1).
|
|
|
19.
|
Security Protocols : 10th International Workshop, Cambridge, UK, April, 2002 : Revised Papers
by Christianson, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHR] (1).
|
|
|
20.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
