|
61.
|
Rules and Rule Markup Languages for the Semantic web : Third International Workshop, ruleML 2004 Hiroshima, Japan, november 2004 proceedings
by Boley, Harold | Antoniou, Grigoris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 ANT] (1).
|
|
62.
|
Journal on data semantic II
by Bertino, Elisa | Jajodia, Sushil | King, Roger | Spaccapietra, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 SPA] (1).
|
|
63.
|
Database theory - ICDT 2005 : tenth international conference Edinburgh, Uk, January 2005 ; proceedings
by Eiter, Thomas | Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 EIT] (1).
|
|
64.
|
Foundations of empirical software engineering : the legacy of Victor R. Basili
by Boehm, Barry | Rombach, Hans Dieter | Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 BOE] (1).
|
|
65.
|
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
by Rust, Heinrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
|
|
66.
|
Reasoning Web : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, tutorial lectures
by Eisinger, Norbert | Maluszynski, Jan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 EIS] (1).
|
|
67.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
68.
|
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
|
|
69.
|
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings
by Guerraoui, Rachid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
70.
|
Invasive software composition
by Abmann, Uwe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 ABM] (1).
|
|
71.
|
Parsing theory.
by Sippu, Seppo | Soisalon-Soininen, Eljas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1990Availability: Items available for loan: [Call number: 511.3 SIP] (1).
|
|
72.
|
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
by Mayr, Ernst W | Puech, Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
|
|
73.
|
Principles of program analysis
by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
74.
|
Computers and Common Sense
by Hunt, Roger | Shelley, John. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 004 HUN] (4).
|
|
75.
|
Elements of the Theory of Computation
by Lewis, Harry R | Papadimitriou, Christos H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 004 LEW] (1).
|
|
76.
|
Discrete mathematical structures
by Kolman, Bernard | Busby, Robert C | Ross, Sharon. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 511.6 KOL] (3).
|
|
77.
|
Theory of Computer Science : Automata, Languages and Computation
by Mishra, K. L. P. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 004 MIS] (1).
|
|
78.
|
Essentials of Programming Languages
by Friedman, Daniel P | Haynes, Christopher T | Wand, Mitchell. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Prentice Hall of India 1998Availability: Items available for loan: [Call number: 005.13 FRI] (3).
|
|
79.
|
Biomedical digital signal processing : C-language examples and laboratory experiments for the IBM PC
by Tompkins, Willis J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 610.285 TOM] (1).
|
|
80.
|
XML in Action
by Pardi, William J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 005.74 PAR] (2).
|