Refine your search

Your search returned 839 results.

Not what you expected? Check for suggestions
Sort
Results
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-.

Series: Serienbezeichnung | LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4166.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: SAFECOMP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 4227. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4634. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: SAS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4408. | Lecture notes in computer science. State-of-the-art survey.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12078462Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4591. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: IFM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4610. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ATC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4609. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers / Yuri Gurevich, Bertrand Meyer (eds.).

by TAP 2007 (2007 : Zurich, Switzerland) | Gurevich, Yuri | Meyer, Bertrand, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4454. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12095476Publication details: Berlin ; New York : Springer, ©2007Other title: TAP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Architecting dependable systems IV / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.).

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

Series: Serienbezeichnung | Lecture notes in computer science ; 4615. | Lecture notes in computer science. State-of-the-art survey. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4670. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2007Other title: ICLP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4749. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4680. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2007Other title: SAFECOMP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4758. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ECSA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4753. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4735. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: MODELS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4748. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4757. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12168712Publication details: Berlin ; New York : Springer, 2007Other title: EuroPVM/MPI 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.).

Series: Serienbezeichnung | Lecture notes in computer science ; 4652. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ICSOC 2006 workshops.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4716. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12171392Publication details: Berlin ; New York : Springer, ©2007Other title: SEAFOOD 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 4554-4556. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
Pages

Powered by Koha