Your search returned 7 results.

Results
	1.	Nonsequential processes a petri net view by Eike Best, Cesar C. Fernandez. by Best, Eike Fernandez, Cesar C Series: EATCS monographs on theoretical computer science ; v.13 Material type: Book Publication details: Berlin Springer Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N884.
	2.	Computability by Klaus Weihrauch. by Weihrauch, Klaus Series: EATCS monographs on theoretical computer science Material type: Book Publication details: Berlin Springer Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515.25 N87.
	3.	Temporal logic of programs. by Fred Kroger by Kroger, Fred Series: EATCS Monographs on theoretical computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N873.
	4.	Data structures and algorithms 1: sorting and searching by Kurt Melhorn. by Mehlhorn, Kurt Series: EATCS monographs on theoretical computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.73 N84.1.
	5.	Rational series and their languages by Jean Berstel and Christophe Reutenauer by Brestel, Jean Reutenauer, Christophe Series: EATCS monographs on theoretical computer science ; v.12 Material type: Book Publication details: New york Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N8811.
	6.	Universal algebra for computer scientists by by Wolfgang Wechler Wechler, Wolfgang Series: EATCS monographs on theoretical computer science Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.01512 N92.
	7.	Specification and analysis of concurrent systems COSY approach ed. by Ryszard Janicki, Peter E. Lauer by Janicki, Ryszard Lauer, Peter E Series: EATCS Monographs on Theoretical Computer Science Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N924.

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

Powered by Koha