IndCat

Per Page:

Sort By:

Search results for ' ' (0.006 seconds ) Total Hits : 1001

581	Verification of digital systems using linear time temporal logic
582	Problems in computational geometry
Language:	English
583	Proof theory for exception handling in distributed programs
584	Compositional verification of distributed programs
Language:	English
585	Theories and models distributed logic programs
586	Computer methods and models to administer selection of candidates for proffesional courses
Language:	English
587	Design of a time division multiplexed analog data monitoring system using some novel transducers for use in mines
588	Studies on computer performance evolution
Language:	English
589	Optional synthesis of packet switched computer communication net works
590	On query transactions in distributed relational database management systems
Language:	English
591	Advanced microcomputer based numerical control systems
592	Some approximations for filter design
Language:	English
593	study of somehigh frequency braodband matching schemes for resonant loads
594	Spectral domain analysis of microstrip resonant structures
Language:	English
595	Studies on open-ended circular waveguide radiators with modified aperture-ends
596	Studies on methods of optimum design of waveguide fed slot arrays
Language:	English
597	Synthesis of multifunction active RC filters using grounded capacitors
598	Study of the frequency dependence of the operational amplifier gain and its use in active network synthesis
Language:	English
599	Studies in digital signal processing
600	Studies in discrete data control systems
Language:	English