Refine your search

Your search returned 2856 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
162.
Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers / Francisco Azevedo [and others](eds.). by Series: Lecture notes in computer science ; 4651. | 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, ©2007
Other title:
  • ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
  • CSCLP 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
163.
Languages and compilers for parallel computing : 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers / George Almási, Călin Caşcaval, Peng Wu (eds.). by Series: Lecture notes in computer science ; 4382. | 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 : Springer-Verlag, ©2007
Other title:
  • LCPC 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
164.
Programming multi-agent systems : 4th international workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers / Rafael H. Bordini [and others] (eds.). by Series: Lecture notes in computer science ; 4411. | 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
Publication details: Berlin ; New York : Springer, 2007
Other title:
  • ProMAS 2006
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
165.
Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers / Fabrice Kordon, Janos Sztipanovits (eds.). by Series: Lecture notes in computer science ; 4322.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
166.
Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers / Thomas Kühne (ed.). by Series: Lecture notes in computer science ; 4364.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • MoDELS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
167.
Agent-oriented software engineering VII : 7th international workshop, AOSE 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers / Lin Padgham, Franco Zambonelli (eds.). by Series: Lecture notes in computer science ; 4405. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • AOSE 2006
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
168.
169.
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers / Irina Virbitskaite, Andrei Voronkov (eds.). by Series: Lecture notes in computer science ; 4378.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Perspectives of system informatics
  • 6th International Andrei Ershov Memorial Conference
  • Sixth International Andrei Ershov Memorial Conference
  • International Andrei Ershov Memorial Conference
  • PSI 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
170.
171.
Journal on data semantics. VIII / Stefano Spaccapietra [and others] (eds.). by Series: Lecture notes in computer science ; 4380.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
172.
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings / Michael Hanus (ed.). by Series: Lecture notes in computer science ; 4354.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • PADL 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
173.
High performance embedded architectures and compilers : second international conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007 : proceedings / Koen De Bosschere [and others] (eds.). by Series: Lecture notes in computer science ; 4367.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • HiPEAC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
174.
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by Series: Lecture notes in computer science ; 4349.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
175.
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
176.
177.
Fundamental approaches to software engineering : 10th international conference, FASE 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 / Matthew B. Dwyer, Antónia Lopes. by Series: Lecture notes in computer science ; 4422.
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
  • Software engineering
  • FASE 2007
  • Joint European Conferences on Theory and Practice of Software
  • ETAPS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
178.
Object-oriented technology : ECOOP 2006 workshop reader ; ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports / Mario Südholt, Charles Consel (eds.). by Series: Lecture notes in computer science ; 4379. | 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:
  • ECOOP 2006 workshop reader
  • ECOOP 2006 workshops
  • ECOOP 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
179.
Agile processes in software engineering and eXtreme programming : 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings / Giulio Concas [and others] (eds.). by Series: Lecture notes in computer science ; 4536. | 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:
  • XP 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
180.
Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / Simona Ronchi della Rocca (ed.). by Series: Lecture notes in computer science ; 4583.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • TLCA 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha