Refine your search

Your search returned 2122 results.

Not what you expected? Check for suggestions
Sort
Results
421.
Product-focused software process improvement : 9th international conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008 : proceedings / Andreas Jedlitschka, Outi Salo (eds.). by Series: Lecture notes in computer science ; 5089. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2008
Other title:
  • PROFES 2008
Online resources:
Availability: Items available for loan: e-Library (1).
422.
Agents and peer-to-peer computing : 5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers / Sam Joseph [and others] (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 4461.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
423.
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (eds.). by Series: Lecture notes in computer science ; 5123. | 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:
  • CAV 2008
Online resources:
Availability: Items available for loan: e-Library (1).
424.
Engineering environment-mediated multi-agent systems : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007 : selected Rrvised and ivited ppers / Danny Weyns, Sven A. Brueckner, Yves Demazeau (Eds.). by Series: Lecture notes in computer science ; 5049. | 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
Online resources:
Availability: Items available for loan: e-Library (1).
425.
426.
Languages, methodologies and development tools for multi-agent systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007 : revised selected and invited papers / Mehdi Dastani [and others] (eds.). by Series: Lecture notes in computer science ; 5118. | 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
Online resources:
Availability: Items available for loan: e-Library (1).
427.
The common component modeling example : comparing software component models / Andreas Rausch [and others] (eds.). by Series: Lecture notes in computer science ; 5153. | Lecture notes in computer science. Tutorial.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2008
Online resources:
Availability: Items available for loan: e-Library (1).
428.
429.
Massively multi-agent technology : AAMAS workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007, Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007 : selected and revised papers / Nadeem Jamali, Paul Scerri, Toshiharu Sugawara (eds.). by Series: Lecture notes in computer science ; 5043. | Lecture notes in computer science ; 5043. | 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 : Springer, ©2008
Other title:
  • AAMAS workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007, Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007 : selected and revised papers
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
430.
Multiagent system technologies : 6th German conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008 ; proceedings / Ralph Bergmann [and others] (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 5244. | 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 : Springer, ©2008
Other title:
  • MATES 2008
Online resources:
Availability: Items available for loan: e-Library (1).
431.
Engineering societies in the agents world VIII : 8th international workshop, ESAW 2007, Athens, Greece, October 22-24, 2007 : revised selected papers / Alexander Artikis [and others] (eds.). by Series: Lecture notes in computer science ; 4995. | 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 : Springer, ©2008
Other title:
  • ESAW 2007
Online resources:
Availability: Items available for loan: e-Library (1).
432.
Cooperative information agents XII : 12th international workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008 ; proceedings / Matthias Klusch, Michal Pechoucek, Axel Polleres (eds.). by Series: Lecture notes in computer science ; 5180. | 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 : Springer, ©2008
Other title:
  • Cooperative information agents 12
  • Cooperative information agents twelve
  • CIA 2008
Online resources:
Availability: Items available for loan: e-Library (1).
433.
434.
Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings / Michael D. Harrison, Mark-Alexander Sujan (eds.). by Series: Lecture notes in computer science ; 5219. | 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, 2008
Other title:
  • SAFECOMP 2008
Online resources:
Availability: Items available for loan: e-Library (1).
435.
Agent communication II : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006 : selected and revised papers / Frank Dignum, Rogier M. van Eijk, Roberto Flores (eds.). by Series: Lecture notes in computer science ; 3859. | 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:
  • Agent communication 2
  • Agent communication two
  • International Workshops on Agent Communication
  • AC 2005
  • AC 2006
Online resources:
Availability: Items available for loan: e-Library (1).
436.
Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus and others]. by Series: Lecture notes in computer science ; 55.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1977
Online resources:
Availability: Items available for loan: e-Library (1).
437.
Discovery Science. 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings / Jean-François Boulicaut, Michael R. Berthold, Tamás Horváth, editors. by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 5255.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2008
Other title:
  • DS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
438.
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and Invited papers / Fariba Sadri, Ken Satoh (eds.). by Series: Lecture notes in computer science ; 5056. | 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 : Springer-Verlag, ©2008
Other title:
  • CLIMA VIII
  • CLIMA 8
  • CLIMA eight
Online resources:
Availability: Items available for loan: e-Library (1).
439.
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers / Martin Leucker (Ed.). by Series: Lecture notes in computer science ; 5289. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
440.
Intelligent data engineering and automated learning : IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings / Colin Fyfe [and others] (eds.). by Series: Lecture notes in computer science ; 5326.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha