Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2732 results. Subscribe to this search

|
2161. Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / : [electronic resource] :

by Hromkovič, Juraj [author.] | Klasing, Ralf [author.] | Pelc, Andrzej [author.] | Ružička†, Peter [author.] | Unger, Walter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 364 p. 73 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2162. Component-Based Software Testing with UML : [electronic resource] /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 316 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2163. Analyzing Computer System Performance with Perl::PDQ : [electronic resource] /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIII, 436 p. 176 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2164. Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining / : [electronic resource] :

by Ishibuchi, Hisao [author.] | Nakashima, Tomoharu [author.] | Nii, Manabu [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 308 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2165. Universal Artificial Intellegence : Sequential Decisions Based on Algorithmic Probability / : [electronic resource] :

by Hutter, Marcus [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 278 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2166. Categories for Software Engineering : [electronic resource] /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 250 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2167. Form-Oriented Analysis : A New Methodology to Model Form-Based Applications / : [electronic resource] :

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 Description: XVIII, 372 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2168. A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / : [electronic resource] :

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 Description: XXXII, 352 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2169. A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / : [electronic resource] :

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 420 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2170. Supply Chain Management on Demand : Strategies, Technologies, Applications / : [electronic resource] :

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 Description: XVIII, 332 p. 87 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Other title: With contributions by numerous experts.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2171. Abstract Computing Machines : A Lambda Calculus Perspective / : [electronic resource] :

by Kluge, W [author.] | Brauer, W [editor.] | Rozenberg, G [editor.] | Salomaa, A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 384 p. 89 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2172. Learning Design : A Handbook on Modelling and Delivering Networked Education and Training / : [electronic resource] :

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 Description: XXVIII, 412 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2173. Web Component Development with Zope 3 : [electronic resource] /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 467 p. 39 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2174. JDF : Process Integration, Technology, Product Description / : [electronic resource] :

by Kühn, Wolfgang [author.] | Grell, Martin [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VII, 101 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2175. E-Business @ Print : Internet-Based Services and Processes / : [electronic resource] :

by König, Anne [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 121 p. 94 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2176. Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / : [electronic resource] :

by HromkoviČ, Juraj [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 277 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2177. Implementing Distributed Systems with Java and CORBA : [electronic resource] /

by Aleksy, Markus [author.] | Korthaus, Axel [author.] | Schader, Martin [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 346 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2178. Theoretical and Experimental DNA Computation : [electronic resource] /

by Amos, Martyn [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 173 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2179. Handbook of Geometric Computing : Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics / : [electronic resource] :

by Corrochano, Eduardo Bayro [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 779 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2180. Embedded Security in Cars : Securing Current and Future Automotive IT Applications / : [electronic resource] :

by Lemke, Kerstin [editor.] | Paar, Christof [editor.] | Wolf, Marko [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 273 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha