Results
|
281.
|
|
|
282.
|
|
|
283.
|
|
|
284.
|
|
|
285.
|
|
|
286.
|
|
|
287.
|
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Series: Lecture Notes in Computer Science ; 5311
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
288.
|
|
|
289.
|
|
|
290.
|
Smart Sensing and Context [electronic resource] : Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008. Proceedings / edited by Daniel Roggen, Clemens Lombriser, Gerhard Tröster, Gerd Kortuem, Paul Havinga. by Series: Lecture Notes in Computer Science ; 5279
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
291.
|
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Series: Lecture Notes in Computer Science ; 5321
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
292.
|
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks [electronic resource] : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers / edited by Henning Schulzrinne, Radu State, Saverio Niccolini. by Series: Lecture Notes in Computer Science ; 5310
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
293.
|
|
|
294.
|
|
|
295.
|
|
|
296.
|
|
|
297.
|
|
|
298.
|
|
|
299.
|
Groupware: Design, Implementation, and Use [electronic resource] : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers / edited by Robert O. Briggs, Pedro Antunes, Gert-Jan Vreede, Aaron S. Read. by Series: Lecture Notes in Computer Science ; 5411
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
300.
|
|