Your search returned 9 results.

Results
	1.	No cover image available Partial orders and fully abstract models for concurrency. by Engberg, Uffe Series: Aarhus Univ., Computer Science Dept. DAIMI PB-307 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N901.
	2.	No cover image available Development of interactive systems: bridging the gaps between developers & users. by Grudin, Jonathan Series: Aarhus Univ. , Computer Science Dept. DAIMIPB-320 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N905.
	3.	No cover image available True concurrency can be traced. by Engberg, Uffe Henrik Series: Aarhus Univ., Computer Science Dept., DAIMI PB-308 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N902.
	4.	No cover image available Logical charecterization of asynchronously communicating agents. by Christensen, Soren Series: Aarhus Univ., Computer Science Dept, DAIMIPB-309 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36015113 N901. Place hold
	5.	No cover image available Elementary transition systems /by. M. Nielson, G. Rozenberg, P.S. Thiagarajan. by Nielson, M Rozenberg, G Thiagarajan, P.S Series: Aarhus Univ. Computer Science Dept. D A I M I P B 310 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36015113 N90. Place hold
	6.	No cover image available Compositional checking of validity. by Winksel, Glynn Series: Aarhus Univ. Computer Science Dept, DAIMI PB 324 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N90.
	7.	No cover image available Data flow analysis as model checking. by Steffen. Bernhard Series: Aarhus University, Computer Science Dept. DIAMI PB-325 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N90.
	8.	No cover image available Systematic sources of sub-optimal interface design in large product development organisations. by Grudin, Jonathan Series: Aarhus Univ., Computer Science Dept. DAIMI PB-321 Material type: Book Publication details: Aarhus Aarhus Univ. Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N904.
	9.	No cover image available Papers by European Workshop on Applications and Theory of Petri Nets (5 1984 Aarhus) Material type: Book Publication details: Aarhus Aarhus Univ. 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N841.

Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832

Powered by Koha