41. Soft real-time systems : predictability vs. efficiency

by Buttazzo, Giorgio | Abeni, Luca | Buttazzo, Giorgio | Caccamo, Marco | Lipari, Giuseppe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.33 BUT] (1).
42. Optical burst switched networks

by Jue, Jason P | Vokkarane, Vinod M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.38216 JUE] (1).
43. Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
44. Resource management in wireless networking

by Cardei, Mihaela | Cardei, Ionut | Du, Ding-Zhu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.384 CAR] (1).
45. Research problems in discrete geometry

by Moser, William | Brab, Peter | Pach, Janos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 516.11 BRA] (1).
46. Distributed Network Systems : From Concepts to Implementations

by Jia, Weijia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 JIA] (1).
47. Knowledge and skill chains in engineering and manufacturing : information infrastructure in the era of global communications : proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference on the Design of Information System

by Arai, Eiji | Goossenaerts, Jan | Kimura, Fumihiko | Shirase, Keiichi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 658.4028011 ARA] (1).
48. Trusted computing platforms : design and applications

by Smith, Sean W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 SMI] (1).
49. Computer Security in the 21st Century

by Shieh, S. P | Lee, D. T | Tygar, J. D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 LEE] (1).
50. Queuing theory and telecommunications : networks and applications

by Giambene, Giovanni.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.3821 GIA] (2).
51. Next generation transport networks : data, management and control planes

by Ellanti, Manohar Naidu | Gorshe, Steven Scott | Grover, Wayne D | Raman, Lakshmi G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.38216 ELL] (1).
52. Design and performance of 3G wireless networks and wireless LANs

by Chuah, Mooi Choo | Zhang, Qinqing.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Springer, 2006Availability: Items available for loan: [Call number: 621.38456 CHU] (1).
53. Designing human interface in speech technology

by Chen, Fang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.454 CHE] (1).
54. Intuitive probability and random processes using MATLAB

by Kay, Steven.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 519.20113 KAY] (1).
55. Curves and surfaces for computer graphics

by Salomon, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.6 SAL] (1).
56. Ordered sets

by Harzheim, Egbert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.32 HAR] (1).
57. Fuzzy database modeling with xml

by Ma, Zongmin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.74 MAZ] (1).
58. Software process modeling

by Juristo, Natalia | Acuna, Silvia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 ACU] (1).
59. Practical mathematical optimization : an introduction to basic optimization theory and classical and new gradient-based algorithms

by Snyman, Jan A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 519.6 SNY] (1).
60. Agent intelligence through data mining

by Symeonidis, Andreas L | Mitkas, Pericles A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 SYM] (1).

Powered by Koha