PKK Library catalog › Results of search for 'se,phr:"Science'

Refine your search

Availability
- Limit to currently available items.
Authors
- Calingaert, Peter (19)
- Goos, G. (420)
- Hartmanis, J. (454)
- Jaggi, O. P. (19)
- Subbarao, E. C. (136)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (7206)
Home libraries
- PK Kelkar Library, IIT Kanpur (7185)
Item types
- Books (4248)
- Lect. Notes Comp. Sc. (Avl.Online) (1121)
- Lost (60)
- Technical Report (79)
- Withdrawn (139)
- Show more
Series
Places
- Numerical methods of celestial mechanics (1)
Topics
- Control Theory (27)
- Electronic Digital Computers -- Programming (56)
- Materials (188)
- Programming Languages (Electronic Computers) (23)
- Science -- Philosophy (29)
- Show more

	2721.	STRUCTURE OF THE RELATIONAL DATABASE MODEL by Paredaens, Jan. Material type: Book; Format: print ; Literary form: not fiction Description: x,231.Publisher: Berlin Springer-Verlag 1989Availability: No items available Place hold Add to cart (remove)
	2722.	COMMON LISP PROGRAMMING FOR ARTIFICIAL INTELLIGENCE by Hasemer, Tony \| Domingue, John. Material type: Book Description: xiii,444.Publisher: Wokingham Addison-Wesley c1989Availability: No items available Add to cart (remove)
	2723.	The clausal theory of types by Wolfram, D. A. Material type: Book; Format: print ; Literary form: not fiction Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: No items available Place hold Add to cart (remove)
	2724.	APPLICATIONS OF FINITE FIELDS by Menezes,Alfred J.[ed.]. Material type: Book Description: xi,218.Publisher: Boston Kluwer Academic Pub. c1993Availability: No items available Place hold Add to cart (remove)
	2725.	DATABASE THEORY AND PRACTICE by Frank, Lars \| Helmersen, Ole. Material type: Book; Format: print ; Literary form: not fiction Description: ix,374.Publisher: Wokingham Addison-Wesley 1988Availability: No items available Add to cart (remove)
	2726.	DISTRIBUTED SYSTEMS by Coulouris, George F \| Dollimore, Jean. Material type: Book; Format: print ; Literary form: not fiction Description: xvii,366.Publisher: Workingham Addison Wesley 1988Availability: No items available Place hold Add to cart (remove)
	2727.	DISTRIBUTED SYSTEMS by Coulouris, George F \| Dollimore, Jean. Material type: Book; Format: print ; Literary form: not fiction Description: xvii,366.Publisher: Workingham Addison Wesley 1988Availability: No items available Place hold Add to cart (remove)
	2728.	PREDICATE TRANSFORMER SEMANTICS by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: No items available Add to cart (remove)
	2729.	Implementation of functional programming languages by Jones, Simon L. Peyton. Material type: Book; Format: print ; Literary form: not fiction Description: xviii, 445p.Publisher: London Prentice-Hall International Pub. 1987Availability: No items available Place hold Add to cart (remove)
	2730.	SYNTHESIZER GENERATOR by Reps, Thomas W \| Teitelbam, Tim. Material type: Book Description: xiii,317.Publisher: New York Springer Verlag c1989Availability: No items available Place hold Add to cart (remove)
	2731.	DUSTY AND SELF-GRAVITATIONAL PLASMAS IN SPACE by Bliokh,Pavel, Sinitsin,Victor \| Yaroshenko,Victoria. Material type: Book Description: xvi,250.Publisher: Kluwer Academic Publishers, Dordrecht c1995Availability: No items available Place hold Add to cart (remove)
	2732.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: xii,513.Publisher: Springer-Verlag,Berlin 1995Online access: Click here to access online Availability: No items available Add to cart (remove)
	2733.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: xii,526.Publisher: Springer-Verlag, Berlin 1996Online access: Click here to access online Availability: No items available Add to cart (remove)
	2734.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: x,410.Publisher: Springer-Verlag,Berlin 1995Online access: Click here to access online Availability: No items available Add to cart (remove)
	2735.	STATISTICAL MECHANICS DEFORMATION ULTRASONIC SPECTRSCOPY by . Material type: Book; Format: print ; Literary form: not fiction Description: 197.Publisher: Springer-Verlag,Berlin 1996Availability: No items available Place hold Add to cart (remove)
	2736.	PARALLEL PROGRAMMING AND COMPILERS by Polychronopoulos, C. D. Material type: Book; Format: print ; Literary form: not fiction Description: x,240.Publisher: Boston Kluwer 1988Availability: No items available Place hold Add to cart (remove)
	2737.	FORMAL SPECIFICATION AND DESIGN by Feijs, L. M. G \| Jonkers, H. B. M. Material type: Book Description: xvi,335.Publisher: Cambridge Cambridge Univ. Press c1992Availability: No items available Place hold Add to cart (remove)
	2738.	Functional programming by Field, Anthony J \| Harrison, Peter G. Material type: Book; Format: print ; Literary form: not fiction Description: xiv, 602p.Publisher: Wokingham, England Addison-Wesley 1988Availability: No items available Place hold Add to cart (remove)
	2739.	STABILITY PROBLEMS IN FRACTURE MECHANICS by Bolotin,Vladimir V. Material type: Book; Format: print ; Literary form: not fiction Description: x,188.Publisher: John Wiley, New York 1996Availability: No items available Place hold Add to cart (remove)
	2740.	SUN USER'S GUIDE by Beer, Stephen \| Coffield, David. Material type: Book; Format: print ; Literary form: not fiction Description: viii,220.Publisher: Basingstoke Macmillan Education 1987Availability: No items available Place hold Add to cart (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Places

Topics