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

Refine your search

Your search returned 84 results. Subscribe to this search

|
41. Concurrent Zero-Knowledge : With Additional Background by Oded Goldreich / : [electronic resource] :

by Rosen, Alon [author.] | SpringerLink (Online service).

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

42. Software Engineering 2 : Specification of Systems and Languages / : [electronic resource] :

by Bj�rner, Dines [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 780 p. 151 illus. 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).

43. Software Engineering 3 : Domains, Requirements, and Software Design / : [electronic resource] :

by Bjøner, Dines [author.] | SpringerLink (Online service).

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

44. Interactive Computation : The New Paradigm / : [electronic resource] :

by Goldin, Dina [editor.] | Smolka, Scott A [editor.] | Wegner, Peter [editor.] | SpringerLink (Online service).

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

45. Software Agent-Based Applications, Platforms and Development Kits : [electronic resource] /

by Unland, Rainer [editor.] | Calisti, Monique [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service).

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

46. Ontologies for Agents: Theory and Experiences : [electronic resource] /

by Tamma, Valentina [editor.] | Cranefield, Stephen [editor.] | Finin, Timothy W [editor.] | Willmott, Steven [editor.] | SpringerLink (Online service).

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

47. Applications of Agent Technology in Traffic and Transportation : [electronic resource] /

by Kl�gl, Franziska [editor.1 ] | [editor.1 ] | [editor.2 ].

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 209 p. online resource.Basel : Birkh�user Basel, 2005. Availability: Items available for loan: (1).

48. Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming : [electronic resource] /

by Nowak, Ivo [author.] | SpringerLink (Online service).

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

49. Agent-based Supply Network Event Management : [electronic resource] /

by Zimmermann, Roland [author.] | SpringerLink (Online service)0.

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

50. Algorithms for Fuzzy Clustering : Methods in c-Means Clustering with Applications / : [electronic resource] :

by Miyamoto, Sadaaki [author.] | Ichihashi, Hidetomo [author.] | Honda, Katsuhiro [author.] | SpringerLink (Online service).

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

51. Automatic Quantum Computer Programming : A Genetic Programming Approach / : [electronic resource] :

by Spector, Lee [editor.] | SpringerLink (Online service).

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

52. Evolutionary Algorithms for Solving Multi-Objective Problems : Second Edition / : [electronic resource] :

by Coello, Carlos A. Coello [author.] | Lamont, Gary B [author.] | Veldhuizen, David A. Van [author.] | SpringerLink (Online service).

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

53. Software Verification and Validation : An Engineering and Scientific Approach / : [electronic resource] :

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

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

54. Genetic Programming Theory and Practice IV : [electronic resource] /

by Riolo, Rick [editor.] | Soule, Terence [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service).

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

55. Introduction to C++ Programming and Graphics : [electronic resource] /

by Pozrikidis, Constantine [author.] | SpringerLink (Online service)0.

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

56. An Introduction to Network Programming with Java : [electronic resource] /

by Graba, Jan [author.] | SpringerLink (Online service).

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

57. An Introduction to HTML and JavaScript : for Scientists and Engineers / : [electronic resource] :

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

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

58. Embedded Java Security : Security for Mobile Devices / : [electronic resource] :

by Debbabi, Mourad [author.] | Saleh, Mohamed [author.] | Talhi, Chamseddine [author.] | Zhioua, Sami [author.] | SpringerLink (Online service).

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

59. Java Methods for Financial Engineering : Applications in Finance and Investment / : [electronic resource] :

by Barker, Philip [author.] | SpringerLink (Online service).

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

60. Principles of Data Mining : [electronic resource] /

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

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

Powered by Koha