IMSc Library catalog › Results of search for 'au:"Jensen, Kurt."'

Your search returned 8 results.

Not what you expected? Check for suggestions

			Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski. by Jensen, Kurt [editor.] \| Podelski, Andreas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2988Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; 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
			Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington. by Jensen, Kurt [editor.] \| Aalst, Wil M. P [editor.] \| Billington, Jonathan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5100Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			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 [editor.] \| Aalst, Wil M. P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5460Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. by Jensen, Kurt [editor.] \| Billington, Jonathan [editor.] \| Koutny, Maciej [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5800Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny. by Jensen, Kurt [editor.] \| Donatelli, Susanna [editor.] \| Koutny, Maciej [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6550Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn. by Jensen, Kurt [editor.] \| Donatelli, Susanna [editor.] \| Kleijn, Jetty [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6900Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt [editor.] \| Aalst, Wil M [editor.] \| Ajmone Marsan, Marco [editor.] \| Franceschinis, Giuliana [editor.] \| Kleijn, Jetty [editor.] \| Kristensen, Lars Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7400Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by Jensen, Kurt [editor.] \| Aalst, Wil M. P [editor.] \| Balbo, Gianfranco [editor.] \| Koutny, Maciej [editor.] \| Wolf, Karsten [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7480Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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