61. Spoken dialogue technology : toward the conversational user interface

by McTear, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.437 MCT] (1).
62. OSS for telecom networks : an introduction to network management

by Misra, Kundan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 384.0684 MIS] (1).
63. Design and analysis of reliable and fault-tolerant computer systems

by Abd-El-Barr, Mostafa.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Imperial College Press, 2007Availability: Items available for loan: [Call number: 004.2 ABD] (1).
64. Abstract syntax notation one (ASN.1) : the tutorial and reference

by Steedman, Douglas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: U.K.: Technology Appraisals, 1993Availability: Items available for loan: [Call number: 005.133 STE] (1).
65. Designing Embedded Internet Devices

by Eisenreich, Dan | DeMuth, Brian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Newnes, 2003Availability: Items available for loan: [Call number: 004.65 EIS] (2).
66. Embedded ethernet and Internet complete : designing and programming small devices for networking

by Axelson, Jan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wisconsin: Lakeview Research, 2003Availability: Items available for loan: [Call number: 004.678 AXE] (1).
67. SWT/JFace in action

by Holder, Stephen | Mihalkovic, Laurent | Ng, Stanford | Scarpino, Matthew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Greenwich: Manning Publications, 2005Availability: Items available for loan: [Call number: 005.133 SCA] (1).
68. Pervasive computing : the mobile world

by Hansmann, Uwe.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004.165 HAN] (1).
69. Cryptographic hardware and embedded systems - CHES 2002: 4th international workshop Redwood shores, CA, USA, August 13-15, 2002 revised papers

by Kaliski, Burton S | Koc, Cetin Kaya | Paar, Christof.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 KAL] (1).
70. Abstract state machines : a method for high-level system design and analysis

by Stark, Robert | Borger, Egon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004.21 BOR] (2).
71. Embedded robotics : mobile robot design and applications with embedded systems

by Braunl, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 629.892 BRA] (1).
72. Analyzing computer system performance with perl : PDQ

by Gunther, Neil J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004.24 GUN] (1).
73. Grid computing : second European Acrossgrids conference, Axgrids 2004, Nicosia, Cyprus, January 28-30, 2004, revised papers

by Dikaiakos, Marios D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 DIK] (1).
74. Service availability : first international service availability symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 ; revised selected papers

by Reitenspiess, Manfred | Kaiser, Jorg | Malek, Miroslaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 MAL] (1).
75. Systems modeling and simulation : theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 ; revised selected papers

by Baik, Doo-Kwon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BAI] (1).
76. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
77. Trust Management : Third International Conference, iTrust 2005 Paris, France, May 23-26, 2005 ; proceedings

by Herrmann, Peter | Issarny, Valerie | Shiu, Simon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 HER] (1).
78. Embedded security in cars : securing current and future automotive IT applications

by Lemke, Kerstin | Paar, Christof | Wolf, Marko.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 629.27 LEM] (1).
79. Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
80. Socionics : scalability of complex social systems (LNAI - 3413)

by Fischer, Klaus | Fischer, Klaus | Florian, Michael | Malsch, Thomas.

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

Powered by Koha