Your search returned 3 results.

Not what you expected? Check for suggestions
E-BOOKS
Integration of Software Specification Techniques for Applications in Engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper.

by Ehrig, Hartmut [editor.] | Damm, Werner [editor.] | Desel, Jörg [editor.] | Große-Rhode, Martin [editor.] | Reif, Wolfgang [editor.] | Schnieder, Eckehard [editor.] | Westkämper, Engelbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3147Source: 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
Transactions on Petri Nets and Other Models of Concurrency XI [electronic resource] / edited by Maciej Koutny, Jörg Desel, Jetty Kleijn.

by Koutny, Maciej [editor.] | Desel, Jörg [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

Series: Transactions on Petri Nets and Other Models of Concurrency ; 9930 | Lecture Notes in Computer Science ; 9930Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online 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
Transactions on Petri Nets and Other Models of Concurrency X [electronic resource] / edited by Maciej Koutny, Jörg Desel, Serge Haddad.

by Koutny, Maciej [editor.] | Desel, Jörg [editor.] | Haddad, Serge [editor.] | SpringerLink (Online service).

Series: Transactions on Petri Nets and Other Models of Concurrency ; 9410 | Lecture Notes in Computer Science ; 9410Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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