Wellcome

Your search returned 7 results.

Sort
Results
Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen.

by Jensen, Kurt | Kristensen, Lars M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst.

by Jensen, Kurt | Aalst, Wil M. P | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5460Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Principles of Practice in Multi-Agent Systems [electronic resource] : 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings / edited by Jung-Jin Yang, Makoto Yokoo, Takayuki Ito, Zhi Jin, Paul Scerri.

by Yang, Jung-Jin | Yokoo, Makoto | Ito, Takayuki | Jin, Zhi | Scerri, Paul | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5925Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah.

by Braubach, Lars | Briot, Jean-Pierre | Thangarajah, John | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5919Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny.

by Jensen, Kurt | Donatelli, Susanna | Koutny, Maciej | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6550Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose.

by Kinny, David | Hsu, Jane Yung-jen | Governatori, Guido | Ghose, Aditya K | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7047Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
Geoinformatics: cyberinfrastructure for the solid Earth Sciences edited by G. Randy Keller;Chaitanya Baru

by Baru, Chaitanya [Editor] | Keller, Randy G [Editor].

Material type: Text Text Language: English Publication details: Cambridge Cambridge University Press 2011Availability: Items available for loan: Mysore University Main Library (1) Call number: 910.285 KEL B.
Pages

No. of hits (from 9th Mar 12) :

Powered by Koha