Your search returned 9 results.

Not what you expected? Check for suggestions
Sort
Results
A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio.

by Kurki-Suonio, Reino [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science An EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bj�rner.

by Bj�rner, Dines [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science an EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bj�rner.

by Bj�rner, Dines [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science An EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Finite Model Theory and Its Applications [electronic resource] / by Erich Gr�del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.

by Gr�del, Erich [author.] | Kolaitis, Phokion G [author.] | Libkin, Leonid [author.] | Marx, Maarten [author.] | Spencer, Joel [author.] | Vardi, Moshe Y [author.] | Venema, Yde [author.] | Weinstein, Scott [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science an EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Modelling Distributed Systems [electronic resource] / by Wan Fokkink.

by Fokkink, Wan [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science An EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Temporal Logic and State Systems [electronic resource] / by Fred Kr�ger, Stephan Merz.

by Kr�ger, Fred [author.] | Merz, Stephan [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science, An EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.

by Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science, An Eatcs SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.

by Gorrieri, Roberto [author.] | Versari, Cristian [author.] | SpringerLink (Online service).

Series: Texts in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Petri Net Synthesis [electronic resource] / by Eric Badouel, Luca Bernardinello, Philippe Darondeau.

by Badouel, Eric [author.] | Bernardinello, Luca [author.1] | Darondeau, Philippe [author.2] | SpringerLink (Online service)0.

Series: Texts in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooks0Material type: Text Text; 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: Bangalore University Library (1) .

Pages

Powered by Koha