Refine your search

Your search returned 2122 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
321.
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.). by Series: Lecture notes in computer science ; 3576.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11513988
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • CAV 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
322.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.). by Series: Lecture notes in computer science ; 3639.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • 12th International SPIN Workshop
  • Twelfth International SPIN Workshop
  • International SPIN Workshop
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
323.
Evolvable systems : from biology to hardware : 6th international conference, ICES 2005, Sitges, Spain, September 12-14, 2005 : proceedings / J. Manuel Moreno, Jordi Madrenas, Jordi Cosp (eds.). by Series: Lecture notes in computer science ; 3637.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • ICES 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
324.
Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings / Lionel Briand, Clay Williams (eds.). by Series: Lecture notes in computer science ; 3713.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • MoDELS 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
325.
326.
Service availability : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005 : revised selected papers / Miroslaw Malek, Edgar Nett, Neeraj Suri (eds.). by Series: Lecture notes in computer science ; 3694.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11560333
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Second International Service Availability Symposium
  • International Service Availability Symposium
  • ISAS 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
327.
Mobility aware technologies and applications : second international workshop, MATA 2005, Montreal, Canada, October 17-19, 2005 : proceedings / [Thomas Magedanz ... (eds.)]. by Series: Lecture notes in computer science ; 3744.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11569510
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • MATA 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
328.
Computer supported cooperative work in design I : 8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers / Weiming Shen [and others] (eds.). by Series: Lecture notes in computer science ; 3168.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • CSCWD 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
329.
Software process improvement : 12th European conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings / Ita Richardson, Pekka Abrahamsson, Richard Messnarz (eds.). by Series: Lecture notes in computer science ; 3792.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11586012
Publication details: Berlin ; New York : Springer, ©2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
330.
Universal access in health telematics : a design code of practice / Constantine Stephanidis (ed.). by Series: Hot topics (Berlin, Germany) | Lecture notes in computer science ; 3041.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
331.
Product focused software process improvement : 6th international conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 ; proceedings / Frank Bomarius, Seija Komi-Sirviö (eds.). by Series: Lecture notes in computer science ; 3547.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • PROFES 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
332.
Intelligent data engineering and automated learning -- IDEAL 2005 : 6th international conference, Brisbane, Australia, July 6-8, 2005 : proceedings / Marcus Gallagher, James Hogan, Frederic Maire (eds.). by Series: Lecture notes in computer science ; 3578.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • IDEAL 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
333.
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.). by Series: Lecture notes in computer science ; 3582.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • Formal methods 2005
  • International Symposium of Formal Methods Europe
  • FME
  • Formal methods Europe
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
334.
Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers / João Leite, Paolo Torroni (eds.). by Series: Lecture notes in computer science ; 3487. | 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, ©2005
Other title:
  • CLIMA V
  • CLIMA 5
  • CLIMA five
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
335.
Holonic and multi-agent systems for manufacturing : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005 : proceedings / Vladimír Mařík, Robert W. Brennan, Michal Pěchouček (eds.). by Series: Lecture notes in computer science ; 3593. | 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, ©2005
Other title:
  • Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems
  • International Conference on Industrial Applications of Holonic and Multi-Agent Systems
  • HoloMAS 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
336.
Multiagent system technologies : third German conference, MATES 2005, Koblenz, Germany, September 11-13, 2005 : proceedings / Torsten Eymann [and others] (eds.). by Series: Lecture notes in computer science ; 3550. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11550648
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • MATES 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
337.
Software product lines : 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings / Henk Obbink, Klaus Pohl (eds.). by Series: Lecture notes in computer science ; 3714.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • SPLC 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
338.
339.
Multi-agent systems and applications IV : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005 : proceedings / Michael Pěchouček, Paolo Petta, László Zsolt Varga (eds.). by Series: Lecture notes in computer science ; 3690. | 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, ©2005
Other title:
  • Multi-agent systems and applications 4
  • Multi-agent systems and applications four
  • 4th International Central and Eastern European Conference on Multi-Agent Systems
  • Fourth International Central and Eastern European Conference on Multi-Agent Systems
  • CEEMAS 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
340.
Pages

Powered by Koha