Your search returned 201 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
3.
Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / S.P. Midkiff [and others] (eds.). by Series: Lecture notes in computer science ; 2017.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2001
Other title:
  • LCPC 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot, ed. by Series: Lecture notes in computer science ; 2126.
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
6.
7.
Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla, (eds.). by Series: Lecture notes in computer science ; 2477.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
10.
Programming languages and systems : first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / Atsushi Ohori (ed.). by Series: Lecture notes in computer science ; 2895.
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
11.
Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / Georg Lausen, Dan Suciu (eds.). by Series: Lecture notes in computer science ; 2921.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / Wei-Ngan Chin (ed.). by Series: Lecture notes in computer science ; 3302.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11341635
Publication details: Berlin ; New York : Springer, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers / Lawrence Rauchwerger (ed.). by Series: Lecture notes in computer science ; 2958.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
15.
16.
Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers / Christian Lengauer [and others] (eds.). by Series: Lecture notes in computer science ; 3016. | 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, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.). by Series: Lecture notes in computer science ; 3148.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11310426
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • 11th International Symposium, SAS 2004
  • Eleventh International Symposium, SAS 2004
  • International Symposium, SAS 2004
  • SAS 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers / Matteo Baldoni [and others] (eds.). by Series: Lecture notes in computer science ; 3904. | 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, ©2006
Other title:
  • Declarative agent languages and technologies 3
  • DALT 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds. by Series: Lecture notes in computer science ; 844.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Other title:
  • PLILP '94
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha