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
241.
242.
243.
SOFSEM 2007 : theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedings / Jan van Leeuwen [and others] (eds.). by Series: Lecture notes in computer science ; 4362.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • 33rd Conference on Current Trends in Theory and Practice of Computer Science
  • Thirty-third Conference on Current Trends in Theory and Practice of Computer Science
  • Conference on Current Trends in Theory and Practice of Computer Science
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
244.
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.). by Series: Lecture notes in computer science ; 4424.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • European Joint Conferences on Theory and Practice of Software 2007
  • TACAS 2007
  • Joint European Conferences on Theory and Practice of Software
  • ETAPS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
245.
Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings / Helmut Seidl (ed.). by Series: Lecture notes in computer science ; 4423.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • European Joint Conferences on Theory and Practice of Software 2007
  • FOSSACS 2007
  • Joint European Conferences on Theory and Practice of Software
  • ETAPS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
246.
247.
Agent and multi-agent systems-- technologies and applications : first KES international symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007 : proceedings / Ngoc Thanh Nguyen [and others] (eds.). by Series: Lecture notes in computer science ; 4496. | 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, ©2007
Other title:
  • KES-AMSTA 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
248.
Autonomous intelligent systems : agents and data mining : second international workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007 : proceedings / Vladimir Gorodetsky [and others] (eds.). by Series: Lecture notes in computer science ; 4476. | 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, ©2007
Other title:
  • Agents and data mining
  • AIS-ADM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
249.
Requirements engineering, foundation for software quality : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings / Pete Sawyer, Barbara Paech, Patrick Heymans (eds.). by Series: Lecture notes in computer science ; 4542. | 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, ©2007
Other title:
  • REFSQ 2007
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
250.
Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers / Nicolas Maudet, Simon Parsons, Iyad Rahwan (eds.). by Series: Lecture notes in computer science ; 4766. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Hot topics (Berlin, Germany)
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12171521
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ArgMAS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
251.
Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers / Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.). by Series: Lecture notes in computer science ; 4739. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12177400
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • EUROCAST 2007
  • 11th International Conference on Computer Aided Systems Theory
  • Eleventh International Conference on Computer Aided Systems Theory
  • International Conference on Computer Aided Systems Theory
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
252.
Multi-agent-based simulation VII : international workshop, MABS 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers / Luis Antunes, Keiki Takadama (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4442. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12186235
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Multi-agent-based simulation 7
  • Multi-agent-based simulation seven
  • MABS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
253.
Transactions on Aspect-Oriented Software Development IV / Awais Rashid, Mehmet Aksit (eds.). by Series: Lecture notes in computer science ; 4640. | 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, 2007
Other title:
  • Transactions on aspect-oriented software development four
  • Transactions on aspect-oriented software development 4
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
254.
Agent-oriented Information Systems IV : 8th international bi-conference workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006 : revised selected papers / Manuel Kolp [and others]. (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4898. | 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:
  • AOIS 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
255.
256.
257.
Mobile agents : second international workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 : proceedings / Kurt Rothermel, Fritz Hohl, eds. by Series: Lecture notes in computer science ; 1477.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • MA '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
258.
259.
Models and tools for managing development processes / Bernhard Westfechtel. by Series: Lecture notes in computer science ; 1646.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
260.
Pages

Powered by Koha