|
41.
|
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).
|
|
42.
|
Information Security Applications : 5th international workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004 ; revised selected papers
by Lim, Chae Hoon | Yung, Moti. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 LIM] (1).
|
|
43.
|
FSTTCS 2004 : Foundations of software technology and theoretical computer science: twenty fourth International conference Chennai, India, December 2004 : proceedings
by Lodaya, Kamal | Mahajan, Meena. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LOD] (1).
|
|
44.
|
Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latria, June 7-8, 2004 ; revised papers
by Baresi, Luciano | Dustdar, Schahram | Gall, Harald | Matera, Maristella. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BAR] (1).
|
|
45.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
46.
|
Network analysis : methodological foundations
by Brandes, Ulrik | Erlebach, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
47.
|
Lectures on data security : modern cryptology in theory and practice
by Damgard, Ivan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1990Availability: Items available for loan: [Call number: 004 DAM] (1).
|
|
48.
|
Applied algebra, algebraic algorithms, and error-correcting codes
by Fossorier, Marc | Hoholdt, Tom | Poli, Alain. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 FOS] (1).
|
|
49.
|
Testing of communicating systems: 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France May 26-28, 2003 proceedings
by Hogrefe, Dieter | Wiles, Anthony. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 HOG] (1).
|
|
50.
|
Advances in Web Intelligence
by Menasalvas, Ernestina | Menasalvas, Ernestina | Segovia, Javier | Segovia, Javier | Szczepaniak, Piotr S | Szczepaniak, Piotr S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MEN] (1).
|
|
51.
|
Knowledge management in electronic government: 4th IFIP international working conference, KMGov 2003 Rhodes, Greece, May 26-28, 2003 proceedings
by Wimmer, Maria A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 WIM] (1).
|
|
52.
|
Trust Management: First International Conference, iTrust 2003 Heraklion, Crete, Greece, May 28-30, 2003 proceedings
by Nixon, Paddy | Terzis, Sotirios. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 NIX] (1).
|
|
53.
|
ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings
by Bert, Didier. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
54.
|
Quality of Service - IWQoS 2003: 11th International Workshop Berkeley, CA, USA, June 2-4, 2003 proceedings
by Jeffay, Kevin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JEF] (1).
|
|
55.
|
Primality Testing in Polynomial Time : From Randomized Algorithms to Primes is in p
by Dietzfelbinger, M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 DIE] (1).
|
|
56.
|
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers
by Leuschel, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LEU] (1).
|
|
57.
|
Digital Rights Management : Technological, Economic, Legal and Political Aspects
by Becker, Eberhard | Buhse, Willms | Gunnewig, Dirk | Rump, Niels. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BEC] (1).
|
|
58.
|
Component-Based Software Quality : Mathods and Techniques
by Cechich, Alejandra | Piattini, Mario | Vallecillo, Antonio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CEC] (1).
|
|
59.
|
Web Engineering : International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003 procedings
by Manuel, Juan | Cueva Lovelle, Juan Manuel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CUE] (1).
|
|
60.
|
Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan 2-4, 2003 proceddings
by Guo, Minyi | Yang, Laurance Tianruo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 GUO] (1).
|