Your search returned 61 results.

Not what you expected? Check for suggestions
Sort
Results
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).
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).
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).
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).
Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe [and others] (eds.).

by APPSEM 2000 (2000 : Caminha, Portugal) | Barthe, Gilles, 1967-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2395.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).
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).
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).
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).
Attribute grammar inversion and source-to-source translation / Daniel M. Yellin.

by Yellin, Daniel M [edt].

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
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).
Journal on data semantics IX / Stefano Spaccapietra [and others] (eds.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 4601. | 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 Publication details: Berlin : Springer-Verlag, ©2007Other title: Journal on data semantics 9 | Journal on data semantics nine | Data semantics 9 | Data semantics nine.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
Journal on data semantics. VIII / Stefano Spaccapietra [and others] (eds.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 4380.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
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).
Journal on data semantics X / Stefano Spaccapietra (ed.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 4900. | 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 Publication details: Berlin : Springer, ©2008Other title: Journal on data semantics 10 | Journal on data semantics ten.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal syntax and semantics of Java / Jim Alves-Foss (ed.).

by Alves-Foss, James, 1964-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1523.Material type: Text Text; Format: available online remote; 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).
Journal on data semantics II / Stefano Spaccapietra [and others], (eds.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 3360.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2005Other title: Journal on data semantics 2.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
Pages

Powered by Koha