Your search returned 61 results.

Not what you expected? Check for suggestions
Sort
Results
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).
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).
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).
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).
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).
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).
Journal on data semantics IV / Stefano Spaccapietra (ed.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 3730. | Lecture notes in computer science. Journal subline.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: Journal on data semantics 4 | Journal on data semantics four | Data semantics IV.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Journal on data semantics V / Stefano Spaccapietra [and others] (eds.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 3870.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2006Other title: Journal on data semantics 5 | Journal on data semantics five.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Journal on data semantics VII / Stefano Spaccapietra (Ed.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science. Journal subline. | Lecture notes in computer science ; 4244.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York [N.Y.] : Springer, ©2006Other title: Journal on data semantics 7 | Journal on data semantics seven.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Journal on data semantics VI : Special issue on emergent semantics / Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.).

by Spaccapietra, S | Aberer, Karl | Cudré-Mauroux, Philippe.

Series: Serienbezeichnung | Lecture notes in computer science ; 4090. | Lecture notes in computer science. Journal subline.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York [N.Y.] : Springer, ©2006Other title: Special issue on emergent semantics | Journal on data semantics 6 | Journal on data semantics six.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Journal on data semantics XI / Stefano Spaccapietra [and others], eds.

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 5383.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.

by Bjørner, D. (Dines), 1937- | Oest, O. N.

Series: Serienbezeichnung | Lecture notes in computer science ; 98.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1980Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / Peter Bosch, David Gabelaia, Jérôme Lang (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (7th : 2007 : Tʻbilisi, Georgia) | Bosch, Peter, 1949 August 25- | Gabelaia, David | Lang, Jérôme.

Series: Serienbezeichnung | Lecture notes in computer science ; 5422. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12614431Publication details: Berlin ; Heidelberg : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Journal on data semantics XII / Stefano Spaccapietra (Ed.).

by Spaccapietra, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 5480.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009Other title: Journal on data semantics twelve | Journal on data semantics 12.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Compiling natural semantics / Mikael Pettersson.

by Pettersson, Mikael.

Series: Serienbezeichnung | Lecture notes in computer science ; 1549.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 XIII / Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.).

by Spaccapietra, S | Zimányi, Esteban | Song, Il-Yeol.

Series: Serienbezeichnung | Lecture notes in computer science ; 5530.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©2009Other title: Data semantics | Data semantics 13 | Data semantics thirteen | Journal on data semantics 13 | Journal on data semantics thirteen.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.).

by Ecole de printemps d'informatique théorique (1990 : La Roche-Posay, France) | Guessarian, Irène, 1948- | Laboratoire informatique théorique et programmation (France) | Institut pour la recherche en informatique de Toulouse.

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

Powered by Koha