Your search returned 3 results.

Sort
Results
1.
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 Book
Publication details: Ann Arbor UMI 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N83.

2.
Automatic verification of serializers. by
  • Atkinson, Russel Roger
Series: Massachusetts Institue of Technology/Laboratory for Computer Science/TR-229
Material type: Text Book
Publication details: Cambridge MIT 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.7406 N80.

3.
Alternating Sequential/Parallel Processing by Y Wallach by
  • Wallach, Y
Series: Lecture notes in computer science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 .

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha