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

Your search returned 763 results. Subscribe to this search

|
501. PROGRAMMING LANGUAGES

by Louden,Kenneth C.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xiii,694.Publisher: Thomson, Singapore 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 L926P2] (1).

502. COMPUTING FOR SCIENTISTS

by Barlow,R. J | Barnett,A. R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,276.Publisher: John Wiley, Chichester 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 B249C] (1).

503. PROGRAMMING LANGUAGE FUNDAMENTALS BY EXAMPLE

by Stevenson,D. E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,237.Publisher: Auerbach, Boca Raton 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 ST48P] (1).

504. HIGH-PERFORMANCE COMPUTING

by Yang,Laurence T. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xxxvii,778.Publisher: John Wiley & Sons Inc., New Jersey 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 H537] (1).

505. SEMANTICS WITH APPLICATIONS : AN APPETIZER

by Nielson,Hanne Riis | Nielson,Flemming.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,274.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 N554S] (1).

506. PRINCIPLES OF CONCURRENT AND DISTRIBUTED PROGRAMMING

by Ben-Ari,M.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xv,361.Publisher: Addison Wesley, Harlow 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B43P2] (1).

507. MICROSOFT FORTRAN OPTIMIZING COMPILER

by .

Material type: book Book; Literary form: Description: vii,374.Publisher: Microsoft Press, Redmond Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.453 M583] (1).

508. Applications software programming with fourth-generation languages

by Wojtkowski, W. Gregory | Wojtkowski, Wita.

Material type: book Book; Format: print ; Literary form: not fiction Description: 594p. (Missing pages from1-20p.).Publisher: Boston Boyd & Fraser Publishing 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W829a] (1).

509. Aspects of computation on asynchronous parallel processors

Material type: book Book; Literary form: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 In8a] (1).

510. The art of multiprocessor programming

by Herlihy, Maurice | Shavit, Nir.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 508p.Publisher: Burlington, Ma Morgan Kaufmann 2008Availability: No items available Checked out (1).

511. Parellel processing for scientific computing

by | Herous, Michael A, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 397p.Publisher: Philadelphia Siam 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 P212h] (1).

512. Programming language pragmatics

by Scott, Michael L.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxx, 910p.Publisher: Amsterdam Elsevier 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 Sco85p3] (1).

513. Introduction to concurrency in programming languages

by Sottile, Matthew J | Mattson, Timothy G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 330p.Publisher: Boca Raton Crc Press 2010Availability: No items available Checked out (1).

514. Steps in scala : an introduction to object-functional programming

by Loverdos, Christos K. K | Syropoulos, Apostolos.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 485p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 L945s] (2).

515. Computational semantics with functional programming

by Eijck, Jan Van | Unger, Christina.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 405p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Ei47c] (1).

516. Algorithms and parallel computing

by Gebali, Fayez.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 341p.Publisher: New York John Wiley & Sons 2011Availability: No items available Checked out (1).

517. Scheduling in distributed computing systems : analysis, design and models (a research monograph)

by | Vidyarthi, Deo Prakash.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 295p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 Sch22] (1).

518. Software engineering, artificial intelligence, networking and parallel/distributed computing

by | Roger Lee, Ed | 12th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing Sydney, N.S.W 2011.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 183p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).

519. Stochastically-based semantic analysis

by Minker, Wolfgang | Waibel, Alex.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).

520. Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems

by Bowman, Howard | Gomez, Rodolfo.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 435p.Publisher: London Springer 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B684c] (1).

Powered by Koha