Results of search for 'Provider:Ann Arbor and Science' › JRD Tata Memorial Library catalog

Results
	1.	No cover image available Study of the recoverability of computing systems by Philip Meir Merlin by Merlin, Philip Meir Material type: Text Publication details: Ann Arbor UMI 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N74.
	2.	No cover image available Net based uniform approach for sequential and concurrent control abstractions by Tai-Yuan Hou by Hou, Tai-Yuan Series: University of Washington, Ph.D.Thesis Material type: Text Publication details: Ann Arbor UMI 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N83.
	3.	No cover image available Petri net models of program execution in data flow environments by Steven Fletcher Jennings by Jennings, Steven Fletcher Series: Iowa State University, Ph.D. Thesis Material type: Text Publication details: Ann Arbor UMI 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N81.
	4.	No cover image available Type-theoretic models of concurrency. by Walter Rance Cleavelant. by Cleavelant, Walter Rance Material type: Text Publication details: Ann Arbor UMI 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8741.
	5.	No cover image available Software reuse in parallel programming environments. by Taejae Lee. by Lee, Taejae Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8915.
	6.	No cover image available Design, analysis and implementation of efficient parallel algorithms. Stephen Mark Sohn. by Sohn, Stephen Mark Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8916.
	7.	No cover image available Intermediate language and machine independent optimization issues in automatic code generation for vector processors. by Abbas S. Youssefi. by Youssefi, Abbas S Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8917.
	8.	No cover image available Techniques and data structures for parallel resource management by Jit Biswas by Biswas, Jit Material type: Text Publication details: Ann Arbor UMI 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N86.
	9.	No cover image available Design of a distributed debugger for action-based object-oriented programs by Chu-Chung Lin by Lin, Chu-Chung Material type: Text Publication details: Ann Arbor UMI 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N87.
	10.	No cover image available Mudbug-20 symbolic debugging environment by Robert Leo Silvatici by Silvatici, Robert Leo Material type: Text Publication details: Ann Arbor University Microfilms International 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.24 N89.
	11.	No cover image available Architectural and compiler support for efficient function calls by Miquel Huguet by Huguet, Miquel Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N894.
	12.	No cover image available Visual LISP debugging environment by Sandra Jean Loosemore by Loosemore, Sandra Jean Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N89.
	13.	No cover image available Significance of program dependences for software testing, debugging and maintenance by H. Andy Podgurski by Podgurski, H. Andy Material type: Text Publication details: Ann Arbor University Microfilms International 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N891.
	14.	No cover image available Automatic runtime consistency checking and debugging of formally specified programs by Sriram Sankar by Sankar, Sriram Material type: Text Publication details: Ann Arbor University Microfilms International 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N892.
	15.	No cover image available Message flow analysis for static deadlock detection and run-time verification in parallel programming by Sheausong Yang by Yang, Sheausong Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8922.
	16.	No cover image available Testing, debugging, and analysis of concurrent software by Richard H. Carver by Carver, Richard H Material type: Text Publication details: Ann Arbor UMI Dissertation Information Service 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N893.
	17.	No cover image available Beta operation a parallel primitive by Evan Reid Cohn by Cohn, Evan Reid Material type: Text Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8924.
	18.	No cover image available Deriving parallel and systolic programs from data dependance Chen, Lilei. by by Lilei Chen Series: Harvard University, Graduate School of Arts & Science, Ph.D. Thesis Material type: Text Publication details: Ann Arbor UMI 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N9211.
	19.	No cover image available Compiling parallel loops for high performance computers: partitioning, data assignment and remapping /David Edward Hudak by Hudak, David Edward Series: Univ. of Michigan, Dept. of Computer Science & Engineering, Ph.D., Thesis Material type: Text Publication details: Ann Arbor UMI 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N923.
	20.	Fluid flow Pumps, pipes and channels by Nicholas P. Cheremisinoff. by Cheremisinoff, Nicholas P Material type: Text Publication details: Michigan Ann Arbor Science 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 620.1064 N811. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 102 results.