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

Your search returned 99 results. Subscribe to this search

|
21. PRINCIPLES OF COMPUTATION

by Calingaert, Peter.

Material type: book Book; Format: print ; Literary form: not fiction Description: 200.Publisher: Reading, Mass. Addison-Wesley Pub. Co. 1965Availability: No items available Damaged (1).

22. PRINCIPLES OF COMPUTATION

by Calingaert, Peter.

Material type: book Book; Format: print ; Literary form: not fiction Description: 200.Publisher: Reading, Mass. Addison-Wesley Pub. Co. 1965Availability: No items available Damaged (1).

23. THE APPROXIMATION OF FUNCTIONS

by Rice, John Rischard.

Material type: book Book Description: 1 v.Publisher: Reading, Mass. Addison-Wesley Pub. Co. 1964-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 517.57 R363a] (1).

24. Science of Wine

by Austin, C.

Material type: book Book Description: 216.Publisher: Reading, Mass. Addison-Wesley 1968-Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K786a] (1).

25. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 H77f] (1).

26. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 H77f] (1).

27. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 H77f] (1).

28. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: No items available Withdrawn (1).

29. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: No items available Checked out (1).

30. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 H77f] (1).

31. FORMAL LANGUAGES AND THEIR RELATION TO AUTOMATA

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: 242.Publisher: Reading, Mass. Addison-Wesley Pub. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 H77f] (1).

32. SEQUENTIAL MACHINES

by Burks, Arthur W | Moore, Edward F.

Material type: book Book; Format: print ; Literary form: not fiction Description: 266.Publisher: Reading, Mass. Addison-Wesley Pub. 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8082 M782s] (1).

33. SEQUENTIAL MACHINES

by Burks, Arthur W | Moore, Edward F.

Material type: book Book; Format: print ; Literary form: not fiction Description: 266.Publisher: Reading, Mass. Addison-Wesley Pub. 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8082 M782s] (1).

34. VIEW OF PROGRAMMING LANGUAGES

by Galler, B. A | Perlis, A. J.

Material type: book Book; Format: print ; Literary form: not fiction Description: 282.Publisher: Reading, Mass. Addison-Wesley Pub. 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 G136] (1).

35. Primality and cryptography

by Kranakis, Evangelos.

Material type: book Book; Format: print ; Literary form: not fiction Description: 235p.Publisher: Chichester John Wiley & Sons 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.5436 K861p] (1).

36. LOCUS DISTRIBUTED SYSTEM ARCHITECTURE

by Popek, Gerald | Walker, Bruce J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,148.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.644 L819p] (1).

37. Functional programming : application and implementation

by Henderson, Peter.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 355p.Publisher: Englewood Cliffs, N.ew Jersey Prentice-Hall International 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H383f] (1).

38. Formal specification and software development

by Bjørner, Dines | B, Cliff.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1).

39. Foundations of program verification

by Loeckx, Jacques | Sieber, Kurt.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 230p.Publisher: Chichester, New York John Wiley 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f] (1).

40. Foundations of program verification [2nd ed.]

by Loeckx, Jacques | Sieber, Kurt.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix, 230p.Publisher: Chichester, New York John Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f2] (1).

Powered by Koha