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

Your search returned 1082 results. Subscribe to this search

|
421. ARTIFICIAL INTELLIGENCE : THEORY AND PRACTICE

by ,Sasikumar M.,Hegde,Jayprasad J | | ,Kavitha M | | Sasikumar M. ,Jayprasad J. Hegde,Kavitha M | .

Description: xiii,604.Publisher: Vikas, New Delhi 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AR784] (1).

422. Artificial Intelligence : proceedings...

by 19th National Conference on Artificial Intelligence California 2004.

Description: xxvii,1051p.Publisher: California Aaai Press 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 N213a] (1).

423. ARTIFICIAL INTELLIGENCE

by Veloso,Manuela M | .

Description: xlvi,1568.Publisher: Aaai,Menlo Park, Ca. 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 IN8AI] (1).

424. Artificial intelligence : edited by Manuela M. Veloso

by 20th Conference on Artificial Intelligence Hyderabad, India 6-12 January, 2007 | Veloso, Manuela M. [ed.].

Description: xlvi,1568p.Publisher: California Menlo Park 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 In8al] (1).

425. Intelligent decision support in process environments

by NATO Advanced Study Institute on Decision Support in Process Environments (1985 : San Miniato) | Hollnagel, Erik [ed.] | Mancini, Giuseppe | Woods, David D [ed.].

Description: xv,524p.Publisher: Berlin Springer-Verlag Pub. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.403 N214i] (1).

426. ARTIFICIAL INTELLIGENCE

by .

Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8a] (1).

427. LOGIC, INFORMATICS, LAW

by MARTINO, ANTONIO A.

Description: v.Publisher: Amsterdam North - Holland Pub. Co. 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.0634 IN8L] (1).

428. Artificial intelligence and network security

by | International Conference on Information Technology DESIDOC, Delhi 19-21 February 2015 | Jindal, Suresh Kumar, ed.

Material type: book Book Description: v, 289p.Publisher: New Delhi DESIDOC 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 In8a] (1).

429. Processing declarative knowledge : : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings /

by PDK '91 Kaiserslautern, Germany) (1991 : | Boley, H.,(ed.) | Richter, Michael M.,(ed.).

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 427 p.Publisher: Berlin ; New York : Springer-Verlag, c1991Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 v.567] (1).

430. Neural models of language processes

by Arbib, Michael A | Caplan, David | Marshall, John C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 571p.Publisher: New York Academic Press 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.6 N398] (1).

431. Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning : [electronic resource] /

by Leeuwen, Jos P. Van [editor.] | Timmermans, Harry J. P [editor.] | SpringerLink (Online service).

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

432. Emerging Solutions for Future Manufacturing Systems : IFP TC 5 / WG 5.5 Sixth IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services 27–29 September 2004, Vienna, Austria / : [electronic resource] :

by Camarinha-Matos, Luis M [editor.] | SpringerLink (Online service).

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

433. Ambient Intelligence : A Novel Paradigm / : [electronic resource] :

by Remagnino, Paolo [editor.] | Foresti, Gian Luca [editor.] | Ellis, Tim [editor.] | SpringerLink (Online service).

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

434. Multimodal Video Characterization and Summarization : [electronic resource] /

by Smith, Michael A [author.] | Kanade, Takeo [author.] | SpringerLink (Online service).

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

435. Intelligent Information Processing II : IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China / : [electronic resource] :

by Shi, Zhongzhi [editor.] | He, Qing [editor.] | SpringerLink (Online service).

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

436. Genetic Programming Theory and Practice II : [electronic resource] /

by O’Reilly, Una-May [editor.] | Yu, Tina [editor.] | Riolo, Rick [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service).

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

437. Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems : [electronic resource] /

by Pejaś, Jerzy [editor.] | Piegat, Andrzej [editor.] | SpringerLink (Online service).

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

438. Quantitative Measure for Discrete Event Supervisory Control : [electronic resource] /

by Ray, Asok [editor.] | Phoha, Vir V [editor.] | Phoha, Shashi P [editor.] | SpringerLink (Online service).

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

439. Evolutionary Synthesis of Pattern Recognition Systems : [electronic resource] /

by Bhanu, Bir [author.] | Lin, Yingqiang [author.] | Krawiec, Krzysztof [author.] | SpringerLink (Online service).

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

440. Algorithmic Learning in a Random World : [electronic resource] /

by Vovk, Vladimir [author.] | Gammerman, Alexander [author.] | Shafer, Glenn [author.] | SpringerLink (Online service).

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