Search

Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle [author.] \| Morgan, Carroll [author.] \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) , University Visvesvarayya College of Engineering (1) Call number: 005.1 MCL M. Place hold Log in to add tags Add to cart (remove)
		Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan. by Leucker, Martin [editor.] \| Morgan, Carroll [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5684Source: Springer eBooksMaterial type: Text; 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: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan. by Leucker, Martin [editor.] \| Morgan, Carroll [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5684Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Powered by Koha