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

Your search returned 2255 results. Subscribe to this search

|
1061. WARREN'S ABSTRACT MACHINE : Hassan Ait-Kaci

by Ait-Kaci, Hassan.

Material type: book Book Description: xvi,114p.Publisher: Cambridge MIT Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AI93w] (1).

1062. SEMANTICS OF PROGRAMMING LANGUAGES

by Gunter,Carl A.

Material type: book Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).

1063. THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

by Winskel,Glynn.

Material type: book Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).

1064. A COMPUTER-ASSISTED ANALYSIS SYSTEM FOR MATHEMATICAL PROGRAMMING MODELS AND SOLUTIONS

by Greenberg,Harvey J.

Material type: book Book Description: various.Publisher: Kluwer Academic Publishers, Boston c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 G829C] (1).

1065. MATHEMATICAL PRGRAMMING APPLICATIONS

by Hayhurst, George.

Material type: book Book; Format: print ; Literary form: not fiction Description: v,483.Publisher: New York Macmillan 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 H331m] (1).

1066. LINEAR PROGRAMMING

by Sultan, Alan.

Material type: book Book Description: x,568.Publisher: Boston Academic Press c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 Su59L] (1).

1067. NONLINEAR PROGRAMMING

by Bazaraa, Mokhtar S | Shetty, C. M.

Edition: 2ndMaterial type: book Book Description: xiii,638.Publisher: New York John Wiley c1993Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 519.76 B347n2] (1).

1068. GENETIC ENGINEERING

by Kingsman,S.M.

Material type: book Book Description: xii,356.Publisher: Reading, Mass. Addison-Wesley c1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 574.873282 K617G] (1).

1069. FOUNDATIONS OF INTEGER PROGRAMMING

by Salkin, Harvey M | Mathur, Kamlesh.

Material type: book Book Description: xix,755.Publisher: New York North-Holland c1989Availability: No items available Checked out (1).

1070. THE MATHEMATICS OF NONLINEAR PROGRAMMING

by Peressini, Anthony L | Uhl, J. J.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,273.Publisher: New York Springer-Verlag 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.76 P415m] (1).

1071. OBJECT-ORIENTED PROGRAMMING WITH PROTOTYPES

by Blaschek,Gunther.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,335.Publisher: Springer-Verlag, Berlin 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 B613] (1).

1072. INTELLIGENT MANUFACTURING : PROGRAMMING ENVIRONMENTS FOR CIM

by Gruver, W. A | Boudreaux, J. C.

Material type: book Book Description: xii, 280p.Publisher: London Springer-Verlag c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.28551 IN8G] (1).

1073. OPERATIONS RESEARCH

by Murty,Katta G.

Material type: book Book Description: xx,581.Publisher: Prentice Hall, Englewood Cliffs c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M969O] (1).

1074. HIGH-PERFORMANCE COMPUTING IN ENGINEERING

by H. No Power,C. A. Brebbia | Brebbia,C. A.

Material type: book Book Description: viii,282.Publisher: Computational Mechanics Pub., Southampton c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00285 H537P] (1).

1075. HIGH-PERFORMANCE COMPUTING IN ENGINEERING

by H. No Power,C. A. Brebbia | Brebbia,C. A.

Material type: book Book Description: viii,326.Publisher: Computational Mechanics Pub., Southampton c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00285 H537P] (1).

1076. BUILDING YOUR OWN COMPILER WITH C++

by Holmes,Jim.

Material type: book Book Description: viii,199.Publisher: Prentice Hall, Englewood Cliffs c1995Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.453 H736B] (1).

1077. Object-Oriented programming in Eiffel

by Thomas, Pete | Weedon, Ray.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 518p.Publisher: Wokingham, England Addision-Wisley Publishing Company 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 T361] (1).

1078. FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES

by Slonneger,Kenneth | Kurtz,Barry L.

Material type: book Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).

1079. Introduction to programming and problem solving with PASCAL [2nd ed.]

by Weingart, Steven W | Perlman, David M.

Edition: 2ndMaterial type: book Book Description: xi, 468p.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).

1080. ELEMENTARY LINEAR PROGRAMMING WITH APPLICATIONS

by Kolman,Bernard | Beck,Robert E.

Edition: 2ndMaterial type: book Book Description: xxii,449.Publisher: Academic Press, San Diego c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 K834E2] (1).

Powered by Koha