Refine your search

Your search returned 6106 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
301.
Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. by Series: Lecture notes in computer science ; 2654. | 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, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
302.
Component-based software quality : methods and techniques / Alejandra Cechich, Mario Piattini, Antonio Vallecillo (eds.). by Series: Lecture notes in computer science ; 2693.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
303.
304.
Communication in multiagent systems : agent communication languages and conversation policies / Marc-Philippe Huget (ed.). by Series: Lecture notes in computer science ; 2650. | 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, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
305.
COTS-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / Rick Kazman, Dan Port (eds.). by Series: Lecture notes in computer science ; 2959.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • ICCBSS 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
306.
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers / Michael G. Hinchey [and others]. by Series: Lecture notes in computer science ; 2699. | 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, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
307.
308.
Multi-agent-based simulation III : 4th international workshop, MABS 2003, Melbourne, Australia, July 14, 2003 : revised papers / David Hales [and others]. (eds.). by Series: Lecture notes in computer science ; 2927. | 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, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
309.
310.
Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings / Rocco de Nicola, Gianluigi Ferrari, Greg Meredith (eds.). by Series: Lecture notes in computer science ; 2949.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2004
Other title:
  • COORDINATION 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
311.
Software engineering for multi-agent systems II : research issues and practical applications / Carlos Lucena [and others] (eds.). by Series: Lecture notes in computer science ; 2940.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
312.
Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 ; revised selected papers / Pierre Liardet [and others] (eds.). by Series: Lecture notes in computer science ; 2936.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • Evolution Artificielle
  • EA 2003
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
313.
Empirical methods and studies in software engineering : experiences from ESERNET / Reidar Conradi, Alf Inge Wang (eds.). by Series: Lecture notes in computer science ; 2765.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
314.
315.
Security engineering with patterns : origins, theoretical models, and new applications / Markus Schumacher. by Series: Lecture notes in computer science ; 2754.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
316.
Generic model management : concepts and algorithms / Sergey Melnik. by Series: Lecture notes in computer science ; 2967.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2004
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
317.
FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings / Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.). by Series: Lecture notes in computer science ; 2914.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Other title:
  • Foundations of software technology and theoretical computer science
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
318.
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.). by Series: Lecture notes in computer science ; 2923. | 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, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
319.
Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.). by Series: Lecture notes in computer science ; 2916.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Other title:
  • ICLP 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
320.
Pages

Powered by Koha