Refine your search

Your search returned 1660 results.

|
1.
Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.).

by European Workshop on Case-Based Reasoning ( 2000. Trento, Italy) | Blanzieri, Enrico [] | Portinale, Luigi [].

Material type: Text Text; Format: print Publisher: Berlin [etc.] : Springer, 2000Availability: Items available for loan: 08. BIBLIOTECA CAMPUS DE ALGECIRAS (1). Location(s): 681.31.069/EUR.

2.
Reliable Software Technologies - Ada Europe 2007 [Recurso electrónico] / 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings edited by Nabil Abdennahder, Fabrice Kordon

by Abdennahder, Nabil | Kordon, Fabrice | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available

3.
Universal Acess in Human Computer Interaction. Coping with Diversity [Recurso electrónico] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China.

by Stephanidis, Constantine | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

4.
Ergonomics and Health Aspects of Work with Computers [Recurso electrónico] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Marvin J. Dainoff.

by Dainoff, Marvin J | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

5.
Model Checking Software [Recurso electrónico] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp.

by Bosnacki, Dragan | Edelkamp, Stefan | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

6.
Foundations of Genetic Algorithms [Recurso electrónico] : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers. Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler

by Stephens, Christopher R | Stadler, Peter F | Toussaint, Marc | Whitley, Darrell | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

7.
Advances in Spatial and Temporal Databases [Recurso electrónico] : 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007. Proceedings / edited by Dimitris Papadias, Donghui Zhang, George Kollios.

by Papadias, Dimitris | Kollios, George | Zhang, Donghui | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

8.
Advances in Bioinformatics and Computational Biology [Recurso electrónico] : Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings. Marie-France Sagot, Maria Emilia M. T. Walter.

by Sagot, Marie-France | Walter, Maria Emilia M. T | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

9.
Recent Advances in Constraints [Recurso electrónico] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers.

by Azevedo, Francisco | Barahona, Pedro | Fages, FranÃ{u00A7}ois | Rossi, Francesca | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

10.
Speaker Classification II [Recurso electrónico] : Selected Projects / edited by Christian MÃơller.

by MÃơller, Christian | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

11.
Information Hiding [Recurso electrónico] : 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers / edited by Jan L. Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee.

by Camenisch, Jan L | Collberg, Christian S | Johnson, Neil F | Sallee, Phil | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

12.
Algorithms in Bioinformatics [Recurso electrónico] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli.

by Giancarlo, Raffaele | Hannenhalli, Sridhar | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

13.
Advances in Cryptology - CRYPTO 2007 [Recurso electrónico] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings / edited by Alfred Menezes.

by Menezes, Alfred | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

14.
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [Recurso electrónico] : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings.

by Huang, De-Shuang | Heutte, Laurent | Loog, Marco | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

15.
Anticipatory Behavior in Adaptive Learning Systems [Recurso electrónico] : From Brains to Individual and Social Behavior / edited by Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre.

by Butz, Martin V | Baldassarre, Gianluca | Pezzulo, Giovanni | Sigaud, Olivier | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

16.
Trust, Privacy and Security in Digital Business [Recurso electrónico] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Costas Lambrinoudakis, GÃơnther Pernul, A Min Tjoa.

by Lambrinoudakis, Costas | Pernul, GÃơnther | Tjoa, A Min | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

17.
Coordination, Organizations, Institutions, and Norms in Agent Systems II [Recurso electrónico] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006.

by Noriega, Pablo | Boella, Guido | Boissier, Olivier | Dignum, Virginia | Fornara, Nicoletta | Matson, Eric | Vázquez-Salceda, Javier | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

18.
Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova.

by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

19.
Holonic and Multi-Agent Systems for Manufacturing [Recurso electrónico] : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007. VladimÃ{u037F}r MarÃ{u037F}

by MarÃ{u037F}k, VladimÃ{u037F}r | Colombo, Armando W | Vyatkin, Valeriy | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

20.
Data Warehousing and Knowledge Discovery [Recurso electrónico] : 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings / edited by Il Yeal Song, Johann Eder, Tho Manh Nguyen.

by Song, Il Yeal | Eder, Johann | Nguyen, Tho Manh | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

Powered by Koha