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

Refine your search

Your search returned 564 results. Subscribe to this search

|
421. Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / : [electronic resource] :

by Huang, De-Shuang [editor.] | Wunsch, Donald C [editor.] | Levine, Daniel S [editor.] | Jo, Kang-Hyun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 559 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

422. Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / : [electronic resource] :

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

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

423. Computer Vision and Computer Graphics. Theory and Applications : International Conference VISIGRAPP 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers / : [electronic resource] :

by Braz, José [editor.] | Ranchordas, Alpesh [editor.] | Araújo, Hélder J [editor.] | Pereira, João Madeiras [editor.] | SpringerLink (Online service).

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

424. Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning / : [electronic resource] :

by Lamers, Eugen [author.] | SpringerLink (Online service).

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

425. The Statistics of Gene Mapping : [electronic resource] /

by Siegmund, David [author.] | Yakir, Benjamin [author.] | SpringerLink (Online service).

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

426. Lattice Boltzmann Modeling : An Introduction for Geoscientists and Engineers / : [electronic resource] :

by Sukop, Michael C [author.] | Thorne, Daniel T [author.] | SpringerLink (Online service).

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

427. Univariate Time Series in Geosciences : Theory and Examples / : [electronic resource] :

by Gilgen, Hans [author.] | SpringerLink (Online service).

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

428. Simulation Approaches in Transportation Analysis : Recent Advances and Challenges / : [electronic resource] :

by Kitamura, Ryuichi [editor.] | Kuwahara, Maso [editor.] | SpringerLink (Online service).

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

429. Agent-Based Computational Modelling : Applications in Demography, Social, Economic and Environmental Sciences / : [electronic resource] :

by Billari, Francesco C [editor.] | Fent, Thomas [editor.] | Prskawetz, Alexia [editor.] | Scheffran, Jürgen [editor.] | SpringerLink (Online service).

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

430. Agent-Based Simulation: From Modeling Methodologies to Real-World Applications : Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 / : [electronic resource] :

by Terano, Takao [editor.] | Kita, Hajime [editor.] | Kaneda, Toshiyuki [editor.] | Arai, Kiyoshi [editor.] | Deguchi, Hiroshi [editor.] | SpringerLink (Online service).

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

431. High Resolution Numerical Modelling of the Atmosphere and Ocean : [electronic resource] /

by Hamilton, Kevin [editor.] | Ohfuchi, Wataru [editor.] | SpringerLink (Online service).

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

432. Information Fusion and Geographic Information Systems : Proceedings of the Third International Workshop / : [electronic resource] :

by Popovich, Vasily V [editor.] | Schrenk, Manfred [editor.] | Korolenko, Kyrill V [editor.] | SpringerLink (Online service).

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

433. Cellular Automaton Modeling of Biological Pattern Formation : Characterization, Applications, and Analysis / : [electronic resource] :

by Deutsch, Andreas [author.] | Dormann, Sabine [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIII, 331 p. online resource.Publisher: Boston, MA : Birkh�user Boston, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

434. Missing Data and Small-Area Estimation : Modern Analytical Equipment for the Survey Statistician / : [electronic resource] :

by Longford, Nicholas T [author.] | SpringerLink (Online service).

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

435. Advances in Multiresolution for Geometric Modelling : [electronic resource] /

by Dodgson, Neil A [editor.] | Floater, Michael S [editor.] | Sabin, Malcolm A [editor.] | SpringerLink (Online service).

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

436. Computer Simulation Studies in Condensed-Matter Physics XVIII : Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005 / : [electronic resource] :

by Landau, David P [editor.] | Lewis, Steven P [editor.] | Schüttler, Heinz-Bernd [editor.] | SpringerLink (Online service).

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

437. ARIS Design Platform : Getting Started with BPM / : [electronic resource] :

by Davis, Rob [author.] | Brabänder, Eric [author.] | SpringerLink (Online service).

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

438. ARIS Design Platform : Advanced Process Modelling and Administration / : [electronic resource] :

by Davis, Rob [author.] | SpringerLink (Online service).

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

439. Mixed-Signal Layout Generation Concepts : [electronic resource] /

by Lin, Chieh [author.] | Roermund, Arthur H. M. van [author.] | Leenaerts, Domine M. W [author.] | SpringerLink (Online service).

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

440. Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL’04 / : [electronic resource] :

by Boulet, Pierre [editor.] | SpringerLink (Online service).

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

Powered by Koha