|
|
681.
|
Multiobjective optimization : principles and case studies
by Siarry, Patrick | Collette, Yann. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 519.3 COL] (1).
|
|
|
682.
|
Fieldbus technology : industrial network standards for real-time distributed control
by Mahalik, N. P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 629.8 MAH] (1).
|
|
|
683.
|
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).
|
|
|
684.
|
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).
|
|
|
685.
|
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).
|
|
|
686.
|
Switching theory insight through predicated logic
by Vingron, Shimon P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 621.3815372 VIN] (1).
|
|
|
687.
|
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).
|
|
|
688.
|
Chaos control : theory and applications
by Chen, Guanrong | Yu, Xinghuo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 629.82 CHE] (1).
|
|
|
689.
|
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).
|
|
|
690.
|
Proofs from the book
by Ziegler, Gunter M | Aigner, Martin. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 510 AIG] (1).
|
|
|
691.
|
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).
|
|
|
692.
|
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).
|
|
|
693.
|
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).
|
|
|
694.
|
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).
|
|
|
695.
|
Agents and peer-to-peer computing : first international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002 ; revised and invited papers
by Koubarakis, Manolis | Moro, Gianluca. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MOR] (1).
|
|
|
696.
|
SDL 2003: System Design: 11th international SDL forum, Stuttgart, Germany, July 1-4, 2003, proceedings
by Reed, Rick | Reed, Jeanne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 REE] (1).
|
|
|
697.
|
Soft computing in communications
by Wang, Lipo | Wang, Lipo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 WAN] (1).
|
|
|
698.
|
Digital design of nature : computer generated plants and organics
by Lintermann, Bernd | Deussen, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.6 DEU] (1).
|
|
|
699.
|
Spatial reasoning and planning : geometry, mechanism, and motion
by Liu, Jiming | Daneshmend, Laeeque K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 LIU] (1).
|
|
|
700.
|
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).
|
