Refine your search

Your search returned 738 results.

Not what you expected? Check for suggestions
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 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
Software engineering for multi-agent systems V : research issues and practical applications / Ricardo Choren [and others] (eds.).

by Choren, Ricardo | SELMAS 2006 (2006 : Shanghai, China).

Material type: Text Text; Format: available online remote; 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 .
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 Text; Format: available online remote; 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.
Autonomic and trusted computing : 4th international conference, ATC 2007, Hong Kong, China, July 11-13, 2007 : proceedings / Bin Xiao [and others] (eds.).

by ATC (Conference) (4th : 2007 : Hong Kong, China) | Xiao, Bin, Dr.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ATC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
ECOOP 2007-- object-oriented programming : 21st European conference, Berlin, Germany, July 30-August 3, 2007 : proceedings / Erik Ernst (ed.).

by ECOOP (Conference) (21st : 2007: Berlin, Germany) | Ernst, Erik.

Material type: Text Text; Format: available online remote; 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 .
8.
Architecting dependable systems IV / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.).

by Lemos, Rogério de, 1961- | Gacek, Cristina, 1964- | Romanovsky, Alexander, 1954-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: Architecting dependable systems 4 | Architecting dependable systems four.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
Software architecture : first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings / Flavio Oquendo (ed.).

by ECSA (Conference) (1st : 2007 : Madrid, Spain) | Oquendo, Flavio, 1958-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ECSA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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.
Model driven engineering languages and systems : 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 : proceedings / Gregor Engels [and others] (eds.).

by MODELS (Conference) (10th : 2007 : Nashville, Tenn.) | Engels, G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MODELS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / Katinka Wolter (ed.).

by EPEW (Workshop) (4th : 2007 : Berlin, Germany) | Wolter, Katinka.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Fourth European Performance Engineering Workshop | European Performance Engineering Workshop | EPEW 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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.
Service-oriented computing : ICSOC 2006 : 4th international conference, Chicago, IL, USA, December 4-7, 2006 : workshops proceedings / Dimitrios Georgakopoulos [and others] (eds.).

by International Workshop on Engineering Service-Oriented Applications: Design and Composition (2nd : 2006 : Chicago, Ill.) | Georgakopoulos, Dimitrios | International Workshop on Modeling Service-Oriented Architectures: Business Perspective and Model Mapping (1st : 2006 : Chicago, Ill.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICSOC 2006 workshops.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel [and others].

by Clavel, Manuel, 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha