Your search returned 4 results.

Not what you expected? Check for suggestions
E-BOOKS
Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth.

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3051Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings / edited by Eerke A. Boiten, Bernhard Möller.

by Boiten, Eerke A [editor.] | Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2386Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman.

by Möller, Bernhard [editor.] | Partsch, Helmut [editor.] | Schuman, Steve [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 755Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller.

by Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 947Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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