Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
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 Text; Format: electronic available online remote; 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.

Workflow in the 2007 Microsoft Office System [electronic resource] / by David Mann.

by Mann, David [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2007Online 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 MIC.

Distributed and Parallel Systems [electronic resource] : In Focus: Desktop Grid Computing / edited by P�ter Kacsuk, R�bert Lovas, Zsolt N�meth.

by Kacsuk, P�ter [editor.] | Lovas, R�bert [editor.] | N�meth, Zsolt [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) , University Visvesvarayya College of Engineering (1) Call number: 004.6.

Pages

Powered by Koha