Your search returned 19 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / David S. Rosenblum, Gabriele Taentzer, (eds.). by Series: Lecture notes in computer science ; 6013. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Graph-theoretic concepts in computer science : 35th international workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / Christophe Paul, Michel Habib (eds.). by Series: Lecture notes in computer science ; 5911. | Lecture notes in computer science. Advanced research in computing and software science. | 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, ©2010
Other title:
  • WG 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Andrew D. Gordon (Ed.). by Series: Lecture notes in computer science ; 6012. | Lecture notes in computer science. Advanced research in computing and software science.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80011080
Publication details: Berlin : Springer, 2010
Other title:
  • ESOP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Compiler construction : 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Rajiv Gupta (ed.). by Series: Lecture notes in computer science ; 6011. | Lecture notes in computer science. Advanced research in computing and software science. | 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, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / Luke Ong (Ed.). by Series: Lecture notes in computer science ; 6014. | Lecture notes in computer science. Advanced research in computing and software science. | 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, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Javier Esparza, Rupak Majumdar (eds.). by Series: Lecture notes in computer science ; 6015. | Lecture notes in computer science. Advanced research in computing and software science. | 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, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings / Samson Abramsky [and others] (eds.). by Series: Lecture notes in computer science ; 6198-6199. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
Other title:
  • ICALP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 ; proceedings. Part I / Samson Abramsky [and others] (eds.). by Series: Lecture notes in computer science ; 6198. | Lecture notes in computer science. Advanced research in computing and software science. | 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, ©2010
Other title:
  • ICALP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Part II / Samson Abramsky [and others] (Eds.). by Series: Lecture notes in computer science ; 6199. | Lecture notes in computer science. Advanced research in computing and software science. | 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 ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • ICALP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
LATIN 2010: theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 ; proceedings / Alejandro Lopez-Ortiz (ed.). by Series: Lecture notes in computer science ; 6034. | Lecture notes in computer science. Advanced research in computing and software science.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80011789
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Distributed computing : 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010 : proceedings / Nancy A. Lynch, Alexander A. Shvartsman (eds.). by Series: Lecture notes in computer science ; 6343. | Lecture notes in computer science. Advanced research in computing and software science. | 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, ©2010
Other title:
  • DISC 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings / Petr Hliněný, Antonin Kučera (eds.). by Series: Lecture notes in computer science ; 6281. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
Other title:
  • MFCS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings / Anuj Dawar, Helmut Veith (eds.). by Series: Lecture notes in computer science ; 6247. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings / Radhia Cousot, Matthieu Martel (eds.). by Series: Lecture notes in computer science ; 6337. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • SAS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / Christian G. Fermüller, Andrei Voronkov (eds.). by Series: Lecture notes in computer science ; 6397. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
Other title:
  • LPAR-17
  • LPAR 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Algorithms : ESA 2010, 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Part I / Mark de Berg, Ulrich Meyer (ed.). by Series: Lecture notes in computer science ; 6346. | Lecture notes in computer science. Advanced research in computing and software science. | 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 ; Heidelberg ; New York, NY : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Algorithms-ESA 2010 : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings. Part II / Mark de Berg, Ulrich Meyer (Eds.). by Series: Lecture notes in computer science ; 6347. | Lecture notes in computer science. Advanced research in computing and software science. | 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 ; Heidelberg : Springer-Verlag, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Graph-theoretic concepts in computer science : 36th international workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 : revised papers / Dimitrios M. Thilikos (ed.). by Series: Lecture notes in computer science ; 6410. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
Other title:
  • WG 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Internet and network economics : 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings / Amin Saberi (ed.). by Series: Lecture notes in computer science ; 6484. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2010
Other title:
  • WINE 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha