Refine your search

Your search returned 9695 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Applications of evolutionary computing : EvoWorkshops 2007, EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTRANSLOG, Valencia, Spain, April 11-13, 2007 : proceedings / Mario Giacobini et al. (eds.). by Series: Lecture notes in computer science ; 4448.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • EvoWorkshops 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
102.
103.
104.
Advanced concepts for intelligent vision systems : 9th international conference, ACIVS 2007, Delft, the Netherlands, August 28-31, 2007 : proceedings / Jacques Blanc-Talon [and others] (eds.). by Series: Lecture notes in computer science ; 4678. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ACIVS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
105.
106.
107.
108.
Flexible Query Answering Systems : 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004 : proceedings / Henning Christiansen [and others] (eds.). by Series: Lecture notes in computer science ; 3055. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11010753
Publication details: Berlin ; London : Springer, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
109.
Parallel computing technologies : 9th international conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007 ; proceedings / Victor Malyshkin (ed.). by Series: Lecture notes in computer science ; 4671. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • PaCT 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
110.
Spatial information theory : 8th international conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007 ; proceedings / Stephan Winter [and others] (eds.). by Series: Lecture notes in computer science ; 4736.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • COSIT 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
111.
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.). by Series: Lecture notes in computer science ; 4732. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • TPHOLs 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
112.
113.
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.). by Series: 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, ©2007
Other title:
  • SAS 2007
In: TSpringer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
114.
115.
Holonic and multi-agent systems for manufacturing : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 : proceedings / Vladimír Mařík, Valeriy Vyatkin, Armando W. Colombo (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4659. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12113279
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems
  • International Conference on Industrial Applications of Holonic and Multi-Agent Systems
  • Industrial applications of holonic and multi-agent systems
  • HoloMAS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
116.
KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007 : proceedings / Joachim Hertzberg, Michael Beetz, Roman Englert (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4667. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Advances in artificial intelligence
  • German Conference on AI
  • German Conference on Artificial Intelligence
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
117.
Computers and games : 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik, Paolo Ciancarini, H.H.L.M. (Jeroen) Donkers (eds.). by Series: Lecture notes in computer science ; 4630. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12171316
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • CG 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
118.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings / Nicola Olivetti (ed.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4548. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • TABLEAUX 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
119.
Artificial intelligence in medicine : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, the Netherlands, July 7-11, 2007 : proceedings / Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter (eds.). by Series: Lecture notes in computer science ; 4594. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • 11th Conference on Artificial Intelligence in Medicine
  • Eleventh Conference on Artificial Intelligence in Medicine
  • Conference on Artificial Intelligence in Medicine
  • AIME 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
120.
Pages

Powered by Koha