Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001

by Fribourg, Laurent. Ed.

Series: Lecture notes in computer science ; 02142Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings / edited by Laurent Fribourg.

by Fribourg, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2142Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic Program Synthesis and Transformation — Meta-Programming in Logic [electronic resource] : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings / edited by Laurent Fribourg, Franco Turini.

by Fribourg, Laurent [editor.] | Turini, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 883Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg.

by Braberman, Víctor [editor.] | Fribourg, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8053Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha