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

Refine your search

Your search returned 971 results. Subscribe to this search

|
81. Project E-Society: Building Bricks : 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland / : [electronic resource] :

by Suomi, Reima [editor.] | Cabral, Regis [editor.] | Hampe, J. Felix [editor.] | Heikkilä, Arto [editor.] | Järveläinen, Jonna [editor.] | Koskivaara, Eija [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 454 p. 88 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

82. Mathematical Morphology: 40 Years On : Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005 / : [electronic resource] :

by Ronse, Christian [editor.] | Najman, Laurent [editor.] | Decencière, Etienne [editor.] | SpringerLink (Online service).

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

83. Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / : [electronic resource] :

by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service).

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

84. INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I : [electronic resource] /

by BRAZ, JOSÉ [editor.] | ARAÚJO, HELDER [editor.] | VIEIRA, ALVES [editor.] | ENCARNAÇÃO, BRUNO [editor.] | SpringerLink (Online service).

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

85. Computer Vision Beyond the Visible Spectrum : [electronic resource] /

by Bhanu, Bir [editor.] | Pavlidis, Ioannis [editor.] | SpringerLink (Online service).

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

86. Interoperability of Enterprise Software and Applications : [electronic resource] /

by Konstantas, Dimitri [editor.] | Bourrières, Jean-Paul [editor.] | Léonard, Michel [editor.] | Boudjlida, Nacer [editor.] | SpringerLink (Online service).

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

87. Virtual Machines : [electronic resource] /

by Craig, Iain D [author.] | SpringerLink (Online service).

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

88. Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / : [electronic resource] :

by Bowman, Howard [author.] | Gomez, Rodolfo [author.] | SpringerLink (Online service).

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

89. Networked Neighbourhoods : The Connected Community in Context / : [electronic resource] :

by Purcell, Patrick [editor.] | SpringerLink (Online service).

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

90. Transformations and Projections in Computer Graphics : [electronic resource] /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 290 p. 198 illus., 16 illus. in color. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

91. Developing Ambient Intelligence : Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06) / : [electronic resource] :

by Maña, Antonio [author.] | Lotz, Volkmar [author.] | SpringerLink (Online service).

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

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

93. Testing Commercial-off-the-Shelf Components and Systems : [electronic resource] /

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 Description: XIV, 410 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).

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

95. Engineering and Managing Software Requirements : [electronic resource] /

by Aurum, Aybüke [editor.] | Wohlin, Claes [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 478 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).

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

97. Model-Driven Software Development : [electronic resource] /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 464 p. 195 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).

98. New Algorithms for Macromolecular Simulation : [electronic resource] /

by Leimkuhler, Benedict [editor.1] | Chipot, Christophe [editor.1] | Elber, Ron [editor.1] | Laaksonen, Aatto [editor.1] | Mark, Alan [editor.1] | Schlick, Tamar [editor.1] | Sch�tte, Christoph [editor.1 ] | Skeel, Robert [editor.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 367 p. 85 illus., 8 illus. in color. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

99. Distributed Event-Based Systems : [electronic resource] /

by Mühl, Gero [author.] | Fiege, Ludger [author.] | Pietzuch, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 388 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).

100. Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic / : [electronic resource] :

by Bollig, Benedikt [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 181 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