Refine your search

Your search returned 648 results.

Not what you expected? Check for suggestions
1.
Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah (eds.).

by SAT 2007 (2007 : Lisbon, Portugal) | Marques-Silva, João | Sakallah, Karem A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SAT 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Computational and ambient intelligence : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastian, Spain, June 20-22, 2007 : proceedings / Francisco Sandoval [and others] (eds.).

by International Work-Conference on Artificial and Natural Neural Networks (9th : 2007 : San Sebastián, Spain) | Sandoval, Francisco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 9th International Work-Conference on Artificial and Natural Neural Networks | Ninth International Work-Conference on Artificial and Natural Neural Networks | International Work-Conference on Artificial and Natural Neural Networks | IWANN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / Franz Baader (ed.).

by International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France) | Baader, Franz.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: RTA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Foundations of genetic algorithms : 9th international workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007 : revised selected papers / Christopher R. Stephens [and others] (eds.).

by Workshop on Foundations of Genetic Algorithms (9th : 2007 : Mexico City, Mexico) | Stephens, Christopher R.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FOGA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Conceptual structures : knowledge architectures for smart applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings / Uta Priss, Simon Polovina, Richard Hill (eds.).

by International Conference on Conceptual Structures (15th : 2007 : Sheffield, England) | Priss, Uta, 1967- | Polovina, Simon | Hill, Richard, 1972-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Knowledge architectures for smart applications | 15th International Conference on Conceptual Structures | Fifteenth International Conference on Conceptual Structures | International Conference on Conceptual Structures | ICCS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers / Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad (eds.).

by ILP (Conference) (16th : 2006 : Santiago de Compostela, Spain) | Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ILP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Advanced data mining and applications : third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 : proceedings / Reda Alhajj [and others] (eds.).

by ADMA (Conference) (3rd : 2007 : Harbin, China) | Alhajj, Reda.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ADMA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Artificial immune systems : 6th international conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007 : proceedings / Leandro Nunes de Castro, Fernando Jose Von Zuben, Helder Knidel (eds.).

by ICARIS (Conference) (6th : 2007 : Santos, São Paulo, Brazil) | De Castro, Leandro Nunes, 1974- | Von Zuben, Fernando J | Knidel, Helder.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICARIS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Energy minimization methods in computer vision and pattern recognition : 6th international conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007 ; proceedings / Alan L. Yuille [and others] (eds.).

by EMMCVPR 2007 (2007 : Ezhou Shi, China) | Yuille, A. L. (Alan L.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Other title: EMMCVPR 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Anticipatory behavior in adaptive learning systems : from brains to individual and social behavior / Martin V. Butz [and others] (eds.).

by International Workshop on Anticipatory Behavior in Adaptive Learning Systems (3rd : 2006 : Rome, Italy) | Butz, Martin V, 1975- | International Conference on Simulation of Adaptive Behavior (9th : 2006 : Rome, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ABiALS 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Computer analysis of images and patterns : 12th international conference, CAIP 2007, Vienna, Austria, August 27-29, 2007 : proceedings / Walter G. Kropatsch, Martin Kampel, Allan Hanbury (eds.).

by International Conference on Computer Analysis of Images and Patterns (12th : 2007 : Vienna, Austria) | Kropatsch, W. (Walter) | Kampel, Martin | Hanbury, Allan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CAIP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Bio-inspired computational intelligence and applications : International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings / Kang Li [and others] (eds.).

by International Conference on Life System Modeling and Simulation (2007 : Shanghai, China) | Li, Kang (Computer scientist).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: International Conference on Life System Modeling and Simulation | Life system modeling and simulation | LSMS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Pattern recognition : 29th DAGM symposium, Heidelberg, Germany, September 12-14, 2007 : proceedings / Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne.

by DAGM (Organization). Symposium (29th : 2007 : Heidelberg, Germany) | Hamprecht, Fred A | Schnörr, Christoph | Jähne, Bernd, 1953-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: DAGM symposium.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Machine learning : ECML 2007 : 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007 : proceedings / Joost N. Kok [and others] (eds.).

by European Conference on Machine Learning (18th : 2007 : Warsaw, Poland) | Kok, Joost N.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ECML 2007 | 18th European Conference on Machine Learning | Eighteenth European Conference on Machine Learning | European Conference on Machine Learning.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Hybrid metaheuristics : 4th international workshop, HM 2007, Dortmund, Germany, October 8-9, 2007 : proceedings / Thomas Bartz-Beielstein [and others] (eds.).

by HM (Workshop) (4th : 2007 : Dortmund, Germany) | Bartz-Beielstein, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: HM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
String processing and information retrieval : 14th international symposium, SPIRE 2007, Santiago, Chile, October 29-31, 2007 : proceedings / Nivio Ziviani, Ricardo Baeza-Yates (eds.).

by SPIRE (Symposium) (14th : 2007 : Santiago, Chile) | Ziviani, Nivio | Baeza-Yates, R. (Ricardo).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SPIRE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Advances in brain, vision, and artificial intelligence : second international symposium, BVAI 2007, Naples, Italy, October 10-12, 2007 : proceedings / Francesco Mele [and others] (eds.).

by BVAI 2007 (2007 : Naples, Italy) | Mele, Francesco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: BVAI 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Evolutionary multi-criterion optimization : 4th international conference, EMO 2007, Matsushima, Japan, March 5-8, 2007 : proceedings / Shigeru Obayashi [and others].

by EMO (Conference) (4th : 2007 : Sendai-shi, Miyagi-ken, Japan) | Ōbayashi, Shigeru.

Source: Springer e-booksMaterial 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 .
19.
Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers / Francisco Azevedo [and others](eds.).

by ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal) | Azevedo, Francisco | European Research Consortium for Informatics and Mathematics.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Other title: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming | CSCLP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Life system modeling and simulation : international conference, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings / Kang Li [and others] (eds.).

by International Conference on Life System Modeling and Simulation (2007 : Shanghai, China) | Li, Kang (Computer scientist).

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

Powered by Koha