Your search returned 33 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings / M. Main [and others], eds.

by Main, M. (Michael), 1956- | International Conference on the Mathematical Foundations of Programming Semantics (5th : 1989 : Tulane University).

Series: Serienbezeichnung | Lecture notes in computer science ; 442.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : SpringerVerlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
No cover image available
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes [and others], eds.

by International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.) | Brookes, S. D. (Stephen D.).

Series: Serienbezeichnung | Lecture notes in computer science ; 802.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton.

by Melton, Austin.

Series: Serienbezeichnung | Lecture notes in computer science ; 239.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1986Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn.

by International Symposium on Semantics of Concurrent Computation (1979 : Évian-les-Bains, France) | Kahn, G.

Series: Serienbezeichnung | Lecture notes in computer science ; 70.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.).

by PADL '99 (1999 : San Antonio, Tex.) | Gupta, Gopal.

Series: Serienbezeichnung | Lecture notes in computer science ; 1551.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.).

by PADL 2000 (2000 : Boston, Mass.) | Pontelli, Enrico, 1967- | Santos Costa, Vítor, 1961-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1753.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2000Other title: PADL 2000, practical aspects of declarative languages.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings / I.V. Ramakrishnan (ed.).

by PADL 2001 (2001 : Las Vegas, Nev.) | Ramakrishnan, I. V.

Series: Serienbezeichnung | Lecture notes in computer science ; 1990.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).

by PADL 2002 (2002 : Portland, Or.) | Krishnamurthi, Shriram | Ramakrishnan, C. R | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 2257.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: PADL 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings / Veronica Dahl, Philip Wadler (eds.).

by PADL 2003 (2003 : New Orleans, La.) | Dahl, Veronica, 1950- | Wadler, Philip, 1956-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2562.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings / Bharat Jayaraman, (ed.).

by PADL 2004 (2004 : Dallas, Tex.) | Jayaraman, Bharat.

Series: Serienbezeichnung | Lecture notes in computer science ; 3057.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11014027Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main [and others] (eds.).

by Main, Michael [edt] | Workshop on the Mathematical Foundations of Programming Language Semantics (3 : 08-04-1987 - 10-04-1987 : New Orleans, La.).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : SpringerLink, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).

by RR (Conference) (1st : 2007 : Innsbruck, Austria) | Marchiori, M. (Massimo) | Pan, Jeff Z | Sainte Marie, Christian de.

Series: Serienbezeichnung | Lecture notes in computer science ; 4524.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: RR 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC (Colloquium) (4th : 2007 : Macau, China).

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4710. | Lecture notes in computer science. Tutorial.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: Duration caculus.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / Balder D. ten Cate, Henk W. Zeevat (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia) | Cate, Balder David ten | Zeevat, Henk, 1952-.

Series: Serienbezeichnung | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4363. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: 6th International Tbilisi Symposium on Logic, Language, and Computation | Sixth International Tbilisi Symposium on Logic, Language, and Computation | International Tbilisi Symposium on Logic, Language, and Computation | TbiLLC 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings / Michael Hanus (ed.).

by PADL 2007 (2007 : Nice, France) | Hanus, Michael, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4354.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: PADL 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings / Paul Hudak, David S. Warren (eds.).

by PADL 2008 (2008 : San Francisco, Calif.) | Hudak, Paul | Warren, David S.

Series: Serienbezeichnung | Lecture notes in computer science ; 4902. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12209545Publication details: Berlin ; New York : Springer, ©2008Other title: PADL 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / Manuel Hermenegildo, Daniel Cabeza (eds.).

by PADL 2005 (2005 : Long Beach, Calif.) | Hermenegildo, Manuel | Cabeza, Daniel.

Series: Serienbezeichnung | Lecture notes in computer science ; 3350.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11377474Publication details: Berlin ; New York : Springer, 2005Other title: PADL 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers / Stefan Leue, Tarja Johanna Systä (eds.).

by Leue, Stefan | Systä, Tarja Johanna.

Series: Serienbezeichnung | Lecture notes in computer science ; 3466.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Practical aspects of declarative languages : 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings / Pascal Van Hentenryck (ed.).

by PADL 2006 (2006 : Charleston, S.C.) | Van Hentenryck, Pascal.

Series: Serienbezeichnung | Lecture notes in computer science ; 3819.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: PADL 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings / H. Alblas, B. Melichar (eds.).

by International Summer School on Attribute Grammars, Applications and Systems (1991 : Prague, Czech Republic) | Alblas, H | Melichar, B. (Bǒrivoj), 1942- | International Summer School on Attribute Grammars, Applications and Systems (1991 : Prague, Czech Republic).

Series: Serienbezeichnung | Lecture notes in computer science ; 545.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha