Refine your search

Your search returned 854 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
Advances in rule interchange and applications : international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 ; proceedings / Adrian Paschke, Yevgen Biletskiy (eds.). by Series: Lecture notes in computer science ; 4824. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12180622
Publication details: Berlin : Springer, 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
162.
Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 : proceedings / Zili Zhang, Jörg Siekmann (eds.). by Series: Lecture notes in computer science ; 4798. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12190126
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • KSEM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
163.
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.). by Series: Lecture notes in computer science ; 4996. | 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, ©2008
Other title:
  • Satisfiability testing
  • SAT 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
164.
Knowledge management for health care procedures : from knowledge to global care, AIME 2007 Workshop K4CARE 2007, Amsterdam, the Netherlands, July 7, 2007 : revised selected papers / David Rian̋o (ed.). by Series: Lecture notes in computer science ; 4924. | 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, ©2008
Other title:
  • K4CARE 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
165.
Advances in intelligent computing : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005 : proceedings / De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang (eds.). by Series: Lecture notes in computer science ; 3644-3645.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • International Conference on Intelligent Computing
  • ICIC 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
166.
Evolutionary multi-criterion optimization : third international conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005 : proceedings / Carlos A. Coello Coello, Arturo Hernández Aguirre, Eckart Zitzler (eds.). by Series: Lecture notes in computer science ; 3410.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11393993
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • EMO 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
167.
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.). by Series: Lecture notes in computer science ; 3569.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • SAT 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
168.
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.). by Series: Lecture notes in computer science ; 3542.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Satisfiability testing
  • SAT 2004
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
169.
Modeling decisions for artificial intelligence : third international conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006 : proceedings / Vicenç Torra [and others] (eds.). by Series: Lecture notes in computer science ; 3885. | 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, ©2006
Other title:
  • MDAI 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
170.
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.). by Series: Lecture notes in computer science ; 4121.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • SAT 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
171.
172.
173.
Resolution methods for the decision problem / C. Fermüller [and others]. by Series: Lecture notes in computer science ; 679. | 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-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
174.
Medical data analysis : Second International Symposium, ISMDA 2001, Madrid, Spain, October 8-9, 2001 : proceedings / Jose Crespo, Victor Maojo, Fernando Martin (eds.). by Series: Lecture notes in computer science ; 2199.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Other title:
  • ISMDA 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
175.
Evolutionary multi-criterion optimization : first international conference, EMO 2001, Zurich, Switzerland, March 2001 : proceedings / Eckart Zitzler [and others] (eds.). by Series: Lecture notes in computer science ; 1993.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
176.
Evolutionary multi-criterion optimization : 5th international conference, EMO 2009, Nantes, France, April 7-10, 2009 ; proceedings / Matthias Ehrgott [and others] (eds.). by Series: Lecture notes in computer science ; 5467.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
177.
Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings / Oliver Kullmann (ed.). by Series: Lecture notes in computer science ; 5584. | 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, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
178.
Knowledge management for health care procedures : ECAI 2008 workshop, K4HelP 2008, Patras, Greece, July 21, 2008 : revised selected papers / David Riaño (ed.). by Series: Lecture notes in computer science ; 5626. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • K4HeIP 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
179.
Computational collective intelligence : semantic web, social networks and multiagent systems : first international conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009 : proceedings / Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen (eds.). by Series: Lecture notes in computer science ; 5796. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12753499
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • ICCCI 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
180.
Algorithmic decision theory : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009, proceedings / Francesca Rossi, Alexis Tsoukias (eds.). by Series: Lecture notes in computer science ; 5783. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2009
Other title:
  • ADT 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha