Search

Your search returned 9 results.

Not what you expected? Check for suggestions

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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)
		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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)
		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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)
		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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)
		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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)
		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; 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: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		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; 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: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)
		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; Format: electronic available online ; 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) . Place hold Log in to add tags Add to cart (remove)

Powered by Koha