Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Results
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5387Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5387Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available.

Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings / edited by Giuliana Franceschinis, Karsten Wolf.

by Franceschinis, Giuliana [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5606Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings / edited by Giuliana Franceschinis, Karsten Wolf.

by Franceschinis, Giuliana [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5606Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available.

Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf.

by Jensen, Kurt [editor.] | Aalst, Wil M. P. van der [editor.] | Balbo, Gianfranco [editor.] | Koutny, Maciej [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7480Source: Springer eBooksMaterial type: Text Text; 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: Bangalore University Library (1) .

Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf.

by Jensen, Kurt [editor.] | Aalst, Wil M. P. van der [editor.] | Balbo, Gianfranco [editor.] | Koutny, Maciej [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7480Source: Springer eBooksMaterial type: Text Text; 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: No items available.

Pages

Powered by Koha