|
141.
|
Technology and Privacy
by Agre, Philip E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: MIT Press, 2001Availability: Items available for loan: [Call number: 005.8 AGR] (1).
|
|
142.
|
Come, let's play : scenario-based programming using LSCs and the play-engine
by Marelly, Rami | Harel, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 HAR] (2).
|
|
143.
|
Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003 : Proceedings
by Conti, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CON] (1).
|
|
144.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
145.
|
Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : Proceedings
by Boyd, Colin | Mao, Wenbo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOY] (1).
|
|
146.
|
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings
by Stevens, Perdita | Booch, Grady | Whittle, Jon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
|
|
147.
|
Ad-hoc, Mobile, and Wireless Networks : Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003 : Proceedings
by Pierre, Samuel | Barbeau, Michel | Kranakis, Evangelos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PIE] (1).
|
|
148.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
149.
|
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
by Broy, Manfred | Zamulin, Alexandre V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRO] (1).
|
|
150.
|
Large-scale Scientific Computing : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers
by Lirkov, Ivan | Margenov, Svetozar | Wasniewski, Jerzy | Yalamov, Plamen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 LIR] (1).
|
|
151.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
152.
|
Software engineering 2 : specification of systems and languages
by Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
|
|
153.
|
Software engineering 3 : domains, requirements, and software design
by Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
|
|
154.
|
Semantic web research and applications : First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, may 2004 : proceedings
by Bussler, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BUS] (1).
|
|
155.
|
E-commerce and web technologies : fifth international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004 ; proceedings
by Bauknecht, Kurt | Bichler, Martin | Proll, Birgit. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAU] (1).
|
|
156.
|
Algorithms--ESA 2004 : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, proceedings
by Albers, Susanne | Radzik, Tomasz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 ALB] (1).
|
|
157.
|
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).
|
|
158.
|
Modular algorithms in symbolic summation and symbolic integration
by Gerhard, Jurgen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GER] (1).
|
|
159.
|
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).
|
|
160.
|
Algorithms and computation : fifteenth international symposium, ISAAC 2004 Honh Kong, China, December 2004 ; proceedings
by Fleischer, Rudolf | Trippen, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 FLE] (1).
|