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

Your search returned 7482 results. Subscribe to this search

|
4441. Automating Business Modelling : A Guide to Using Logic to Represent Informal Methods and Support Reasoning / : [electronic resource] :

by Chen-Burger, Yun-Heh [author.] | Robertson, Dave [author.] | SpringerLink (Online service).

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

4442. Validated Designs for Object-oriented Systems : [electronic resource] /

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 Description: XII, 404 p. 65 illus. 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).

4443. Computer Graphics and Geometric Modeling : Implementation and Algorithms / : [electronic resource] :

by Agoston, Max K [author.] | SpringerLink (Online service).

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

4444. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective : [electronic resource] /

by Besnard, Denis [editor.] | Gacek, Cristina [editor.] | Jones, Cliff B [editor.] | SpringerLink (Online service).

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

4445. Geometry for Computer Graphics : Formulae, Examples and Proofs / : [electronic resource] :

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

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

4446. Information Processing with Evolutionary Algorithms : From Industrial Applications to Academic Speculations / : [electronic resource] :

by Wu, Xindong [editor.] | Jain, Lakhmi [editor.] | Graña, Manuel [editor.] | Duro, Richard J [editor.] | d’Anjou, Alicia [editor.] | Wang, Paul P [editor.] | SpringerLink (Online service).

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

4447. Hebbian Learning and Negative Feedback Networks : [electronic resource] /

by Fyfe, Colin [author.] | SpringerLink (Online service).

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

4448. Probabilistic Modeling in Bioinformatics and Medical Informatics : [electronic resource] /

by Husmeier, Dirk [editor.] | Dybowski, Richard [editor.] | Roberts, Stephen [editor.] | SpringerLink (Online service).

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

4449. Computer Graphics and Geometric Modeling : Mathematics / : [electronic resource] :

by Agoston, Max K [author.] | SpringerLink (Online service).

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

4450. Constituents of Modern System-safety Thinking : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / : [electronic resource] :

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 Description: X, 226 p. 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).

4451. Multiobjective Evolutionary Algorithms and Applications : [electronic resource] /

by Tan, K.C [author.] | Khor, E.F [author.] | Lee, T.H [author.] | SpringerLink (Online service).

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

4452. Evolutionary Multiobjective Optimization : Theoretical Advances and Applications / : [electronic resource] :

by Abraham, Ajith [editor.] | Jain, Lakhmi [editor.] | Goldberg, Robert [editor.] | SpringerLink (Online service).

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

4453. Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction : [electronic resource] /

by Carson, Tom [author.] | Baker, Donna L [author.] | SpringerLink (Online service).

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

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

4455. Data Complexity in Pattern Recognition : [electronic resource] /

by Basu, Mitra [editor.] | Ho, Tin Kam [editor.] | SpringerLink (Online service).

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

4456. Fast Track to MDX : [electronic resource] /

by Whitehorn, Mark [author.] | Zare, Robert [author.] | Pasumansky, Mosha [author.] | SpringerLink (Online service).

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

4457. Advanced Techniques in Knowledge Discovery and Data Mining : [electronic resource] /

by Pal, Nikhil R [editor.] | Jain, Lakhmi [editor.] | SpringerLink (Online service).

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

4458. Accessible Access 2003 : [electronic resource] /

by Whitehorn, Mark [author.] | Marklyn, Bill [author.] | SpringerLink (Online service).

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

4459. Mobile World : Past, Present and Future / : [electronic resource] :

by Sanger, Colston [author.] | Hamill, Lynne [editor.] | Lasen, Amparo [editor.] | Diaper, Dan [editor.] | SpringerLink (Online service).

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

4460. Logic Programming with Prolog : [electronic resource] /

by Bramer, Max [author.] | SpringerLink (Online service).

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

Powered by Koha