FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

|
1. Recent Trends in Algebraic Development Techniques [electronic resource] :14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers /

by Bert, Didier [editor.] | Choppy, Christine [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

2. Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] :International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings /

by Leeuwen, Jan van [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

3. Casl Reference Manual [electronic resource] :The Complete Documentation of the Common Algebraic Specification Language /

by Mosses, Peter D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.Online access: Click here to access online Availability: No items available

4. CASL User Manual [electronic resource] :Introduction to Using the Common Algebraic Specification Language /

by Bidoit, Michel [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

5. Recent Trends in Algebraic Development Techniques [electronic resource] :17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /

by Fiadeiro, José Luiz [editor.] | Mosses, Peter D [editor.] | Orejas, Fernando [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in