Your search returned 2506 results. Subscribe to this search

Not what you expected? Check for suggestions
|
101. Constructing Correct Software [electronic resource] / by John Cooke.

by Cooke, John [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 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
102. Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef.

by Fitzgerald, John [author.] | Larsen, Peter Gorm [author.] | Mukherjee, Paul [author.] | Plat, Nico [author.] | Verhoef, Marcel [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

103. Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / edited by Felix Redmill, Tom Anderson.

by Redmill, Felix [editor.] | Anderson, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

104. Artificial Life Models in Software [electronic resource] / edited by Andrew Adamatzky, Maciej Komosinski.

by Adamatzky, Andrew [editor.] | Komosinski, Maciej [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

105. Designing Virtual Reality Systems The Structured Approach [electronic resource] / by Gerard Jounghyun Kim.

by Kim, Gerard Jounghyun [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

106. Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / edited by Vincent Danos, Vincent Schachter.

by Danos, Vincent [editor.] | Schachter, Vincent [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

107. Secure Systems Development with UML [electronic resource] / by Jan J�rjens.

by J�rjens, Jan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

108. Domain Decomposition Methods — Algorithms and Theory [electronic resource] / by Andrea Toselli, Olof B. Widlund.

by Toselli, Andrea [author.] | Widlund, Olof B [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

109. Component-Based Software Testing with UML [electronic resource] / by Hans-Gerhard Gross.

by Gross, Hans-Gerhard [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

110. Best Practices in Software Measurement [electronic resource] : How to use metrics to improve project and process performance / by Christof Ebert, Manfred Bundschuh, Reiner Dumke, Andreas Schmietendorf.

by Ebert, Christof [author.] | Bundschuh, Manfred [author.] | Dumke, Reiner [author.] | Schmietendorf, Andreas [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

111. Analyzing Computer System Performance with Perl::PDQ [electronic resource] / by Neil J. Gunther.

by Gunther, Neil J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

112. Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro.

by Fiadeiro, José Luiz [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

113. Form-Oriented Analysis [electronic resource] : A New Methodology to Model Form-Based Applications / by Dirk Draheim, Gerald Weber.

by Draheim, Dirk [author.] | Weber, Gerald [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

114. Testing Commercial-off-the-Shelf Components and Systems [electronic resource] / edited by Sami Beydeda, Volker Gruhn.

by Beydeda, Sami [editor.] | Gruhn, Volker [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

115. Design of Adaptive Finite Element Software [electronic resource] : The Finite Element Toolbox ALBERTA.

by SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

116. A Theory of Distributed Objects [electronic resource] : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio.

by Caromel, Denis [author.] | Henrio, Ludovic [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

117. 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).

Source: Springer eBooksMaterial type: book Book; 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).

118. Supply Chain Management on Demand [electronic resource] : Strategies, Technologies, Applications / edited by Chae An, Hansjörg Fromm.

by An, Chae [editor.] | Fromm, Hansjörg [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Other title: With contributions by numerous experts.Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

119. Learning Design [electronic resource] : A Handbook on Modelling and Delivering Networked Education and Training / edited by Rob Koper, Colin Tattersall.

by Koper, Rob [editor.] | Tattersall, Colin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

120. Web Component Development with Zope 3 [electronic resource] / by Philipp von Weitershausen.

by Weitershausen, Philipp von [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; 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).

Copyright © 2019 Bangalore University, Bangalore. All Rights Reserved.
You are Visitor No.
Web Counter

Powered by Koha