|
1.
|
Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.). by SAFECOMP (Conference) (25th : 2006 : Gdańsk, Poland) | Górski, Janusz, 1948-. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2006Other title: SAFECOMP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
2.
|
Innovative approaches for learning and knowledge sharing : First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006 : proceedings / Wolfgang Nejdl, Klaus Tochtermann (eds.). by European Conference on Technology Enhanced Learning (1st : 2006 : Crete, Greece) | Nejdl, W. (Wolfgang), 1960- | Tochtermann, K. (Klaus). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2006Other title: First European Conference on Technology Enhanced Learning | European Conference on Technology Enhanced Learning | Technology enhanced learning | EC-TEL 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
3.
|
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.). by International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark) | Nielson, Hanne Riis, 1954- | Filé, Gilberto, 1951-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: SAS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
4.
|
|
|
5.
|
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.). by International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England) | Davies, Jim, 1964- | Gibbons, Jeremy, 1966-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: IFM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings / Veronica Dahl, Ilkka Niemelä (eds.). by International Conference on Logic Programming (23rd : 2007 : Porto, Portugal) | Dahl, Veronica, 1950- | Niemelä, Ilkka, 1961-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2007Other title: ICLP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
10.
|
Service-oriented computing--ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007 : proceedings / Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan (eds.). by ICSOC (Conference) (5th : 2007 : Vienna, Austria) | Krämer, Bernd J | Lin, Kwei-Jay, 1955- | Narasimhan, Priya. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / Francesca Saglietti, Norbert Oster (eds.). by SAFECOMP (Conference) (26th : 2007 : Nuremberg, Germany) | Saglietti, F. (Francesca) | Oster, Norbert. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2007Other title: SAFECOMP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
12.
|
|
|
13.
|
Creating new learning experiences on a global scale : Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 2007 ; proceedings / Erik Duval, Ralf Klamma, Martin Wolpers (eds.). by European Conference on Technology Enhanced Learning (2nd : 2007 : Crete, Greece) | Duval, Erik | Klamma, Ralf | Wolpers, Martin. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: Technology enhanced learning | EC-TEL 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
14.
|
|
|
15.
|
|
|
16.
|
Recent advances in parallel virtual machine and message passing interface : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30-October 3, 2007 : proceedings / Franck Cappello, Thomas Herault, Jack Dongarra (eds.). by European PVM/MPI Users' Group Meeting (14th : 2007 : Paris, France) | Cappello, Franck | Herault, Thomas | Dongarra, J. J. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2007Other title: EuroPVM/MPI 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
17.
|
|
|
18.
|
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers / Bertrand Meyer, Mathai Joseph (eds.). by SEAFOOD 2007 (2007 : Zurich, Switzerland) | Meyer, Bertrand, 1950- | Joseph, M. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: SEAFOOD 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
19.
|
Universal access in human-computer interaction : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Constantine Stephanidis (ed.). by International Conference on Universal Access in Human-Computer Interaction (4th : 2007 : Beijing, China) | Stephanidis, Constantine | International Conference on Human-Computer Interaction (12th : 2007 : Beijing, China). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: 4th International Conference on Universal Access in Human-Computer Interaction | Fourth International Conference on Universal Access in Human-Computer Interaction | International Conference on Universal Access in Human-Computer Interaction | UAHCI 2007 | HCI International.Online access: Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
20.
|
|