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

Your search returned 53 results. Subscribe to this search

|
21. ALOGRITHM THEORY -- SWAT '92

by Nurmi, O | Ukkonen, E | .

Description: viii,433.Publisher: Barlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

22. PARALLEL PROCESSING

by Bouge, L.

Description: xvii,853.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

23. SOFTWARE PROCESS TECHNOLOGY

by Derniame, J. C.

Description: viii,253.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

24. CONSTRUCTIVITY IN COMPUTER SCIENCE

by Myers, J. P | Donnell, M. J. O | .

Description: x,246.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

25. NETWORK AND OPERATING SYSTEM SUPPORT FOR DIGITAL AUDIO AND VIDEO

by Herrtwich, R. G.

Description: xii,402.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

26. APPLICATION AND THEORY OF THE PETRI NETS 1992

by Jenson, K.

Description: 398.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

27. ADVANCED DATABASE SYSTEMS

by Gray, P. M. D | Lucas, R. J | .

Description: x,260.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

28. META PROGRAMMING IN LOGIC

by Pettorossi, A.

Description: xii,351.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

29. ALOGRITHMS AND COMPUTATION

by Ibaraki, T.

Description: xi,510.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

30. COMPUTER SCIENCE LOGIC

by Borger, E.

Description: viii,428.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

31. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992

by Havel, I. M | Koubek, V | .

Description: ix,521.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

32. CONCUR'92

by Cleaveland, W. R.

Description: 580.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

33. PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRMMING

by Bruynooghe, M | Wirsing, M | .

Description: xi,492.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

34. ALGEBRAIC AND LOGIC PROGRAMMING

by Kirchner, H | Levi, G | .

Description: ix,457.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

35. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE

by Shyamasundar, R.

Description: xiii,403.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

36. COMPILER CONSTRUCTION

by Kastens, U | | Pfahler, P | .

Description: .Publisher: Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

37. EUROPEAN CONGRESS ON INTELLIGENT TECHNIQUES AND SOFT COMPUTING

Description: xxvi,728.Publisher: Aachen Institute Of Technology,Aachen c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 EU74] (1).

38. EUROPEAN CONGRESS ON INTELLIGENT TECHNIQUES AND SOFT COMPUTING

Description: xxvi,1446.Publisher: Aachen Institute Of Technology,Aachen c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 EU74] (1).

39. EUROPEAN CONGRESS ON INTELLIGENT TECHNIQUES AND SOFT COMPUTING

Description: xxvi,2010.Publisher: Aachen Institute Of Technology,Aachen c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 EU74] (1).

40. KNOWLEDGE-BASED INTELLIGENT INFORMATION ENGINEERING SYSTEMS (KES '99) : edited by L. C. Jain

by Jain, L.C. [ed.] | 3rd Conference on Knowledge Based Inelligent Information Engineering Systems Adelaide, South Australia 31 August-1 September 1999 | Jain,L.C. [ed.].

Description: 559p.Publisher: Ieee, Piscataway c1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 In8] (1).

Powered by Koha