Your search returned 201 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
22.
23.
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.). by Series: Lecture notes in computer science ; 2694.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
24.
25.
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.). by Series: Lecture notes in computer science ; 4634. | 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:
  • SAS 2007
In: TSpringer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
26.
27.
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
28.
29.
Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers / Marcelo Arenas, Michael I. Schwartzbach (eds.). by Series: Lecture notes in computer science ; 4797. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12181230
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • DBPL 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
30.
Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings / Zhong Shao (ed.). by Series: Lecture notes in computer science ; 4807. | 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:
  • APLAS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
31.
Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed. by Series: Lecture notes in computer science ; 1503.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • SAS '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
32.
33.
Languages and compilers for parallel computing : 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 : proceedings / Larry Carter, Jeanne Ferrante (eds.). by Series: Lecture notes in computer science ; 1863.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Other title:
  • LCPC'99
  • LCPC '99
  • International Workshop LCPC '99
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
34.
Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings / Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.). by Series: Lecture notes in computer science ; 1853.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Other title:
  • ICALP 2000
  • International Colloquium ICALP 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
35.
Languages, compilers, and run-time systems for scalable computers : 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers / Sandhya Dwarkadas (ed.). by Series: Lecture notes in computer science ; 1915.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
36.
Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min, eds. by Series: Lecture notes in computer science ; 1985.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
37.
Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers / Matteo Baldoni [and others] (eds.). by Series: Lecture notes in computer science ; 4897. | 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:
  • DALT 2007
  • Declarative agent languages and technologies five
  • Declarative agent languages and technologies 5
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
38.
39.
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers / João Leite [and others] (eds.). by Series: Lecture notes in computer science ; 3476. | 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:
  • DALT 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
40.
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.). by Series: Lecture notes in computer science ; 3672.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11547662
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • SAS 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha