|
121.
|
Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings
by Rovan, Branislav | Vojtas, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
|
|
122.
|
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings
by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
|
|
123.
|
Logic for learning : learning comprehensible theories from structured data
by Lloyd, J. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 006.31 LLO] (1).
|
|
124.
|
Semiconductor spintronics and quantum computation
by Awschalom, D. D | Loss, D | Samarth, N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 621.381 AWS] (1).
|
|
125.
|
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).
|
|
126.
|
Cryptographic Hardware and Embedded Systems CHES 2001: Third International Workshop Paris, France, May 14-16, 2001 Proceedings
by Koc, Cetin Kaya | Naccache, David | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
127.
|
Isabelle/HOL : a Proof Assistant for Higher-Order Logic
by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
|
|
128.
|
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).
|
|
129.
|
Logics for concurrency : structure versus automata
by Moller, Faron | Birtwistle, Graham. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 MOL] (1).
|
|
130.
|
Formal concept analysis : mathematical foundations
by Ganter, Bernhard | Wille, Rudolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 511.33 GAN] (1).
|
|
131.
|
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).
|
|
132.
|
Logic programming paradigm : a 25-year perspective
by Apt, Krzysztof R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.115 APT] (1).
|
|
133.
|
Petri Net algebra
by Devillers, Raymond | Koutny, Maciej. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 BES] (1).
|
|
134.
|
Automated Theorem Proving in Software Engineering
by Schumann, Johann M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 SCH] (1).
|
|
135.
|
Fuzzy logic in medicine
by Barro, Senen | Marin, Roque. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 610.1511322 BAR] (1).
|
|
136.
|
Aggregation operators : new trends and applications
by Calvo, Tomasa | Mayor, Gaspar | Mesiar, Radko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 515.724 CAL] (1).
|
|
137.
|
E-commerce and intelligent methods
by Segovia, Javier | Niedzwiedzinski, Marian | Szczepaniak, Piotr S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 658.84 SEG] (1).
|
|
138.
|
Digital circuits and logic design
by Lee, Samuel C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 621.3815 LEE] (4).
|
|
139.
|
Digital Electronics
by Gothmann, William H. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 621.381 GOT] (1).
|
|
140.
|
Digital Logic and Computer Design
by Mano, M. Morris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 004 MAN] (6).
|