Your search returned 18 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.	Confluent string rewriting by Matthias Jantzen by Jantzen, Matthias Series: EATCS monographs on theoretical computer science V.14 Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N888. Place hold
	4.	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.
	5.	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.
	6.	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.
	7.	Kolmogorov complexity and computational complexity ed. by Osamu Watanabe by watanabe, Osamu Series: EATCS monographs on theoretical computer science Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N922. Place hold
	8.	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.
	9.	Coloured petri nets basic concepts, analysis, methods and practical use - V.1 by Kurt Jensen by Jensen, Kurt Series: EATCS Monographs on Theoretical Computer Science Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N921.1. Place hold
	10.	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.
	11.	Public-Key cryptography by Arto Salomaa. by Salomaa, Arto Series: EATCS monographs on theoretical computer science V.23 Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N902. Place hold
	12.	Structural complexity I, II by Jose Luis Balcazar [et. al] by Balcazar, Jose Luis. [et. al] Series: EATCS monographs on theoretical computer science V.11 Edition: 2nd (vol.I) Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (2)Call number: 511.3 N952.1-N952.2, ... Place hold
	13.	Data structures and algorithms 3 multi-dimensional searching and computational geometry by Kurt Mehlhorn by Mehlhorn, Kurt Series: EATCS monographs on theoretical computer science ; 3 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 N84. Place hold
	14.	Algorithms in combinatorial geometry by Herbert Edelsbrunner by Edelsbrunner, Herbert Series: EATCS monographs on theoretical computer science ; vol.10 Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.13 N87. Place hold
	15.	Structural complexity V.1 by Jose Luis Balcazar, Josep Diaz and Joaquim Gabarro by Balcazar, Jose Luis Diaz, Josep Gabarro, Joaquim Series: EATCS Monographs on Theoretical computer science Material type: Book Publication details: Berlin Springer-Verlag 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 N88.1. Place hold
	16.	Structural complexity. V.2 by Jose Luis Balcazar, Josep Diaz and Joaquim Gabarro by Balcazar, Jose Luis Diaz, Josep Gabarro, Joaquim Series: EATCS Monographs on Theoretical Computer Science Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 N90.2. Place hold
	17.	Data structures and algorithms. 2, Graph algorithms and NP-completeness by Kurt Mehlhorn by Mehlhorn, Kurt Series: EATCS monographs on theoretical computer science ; 2 ; Material type: Book Publication details: Berlin Springer-Verlag, 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.73 N84. Place hold
	18.	Computing in horn clause theories by Peter Padawitz by Padawitz, Peter Series: EATCS monographs on theoretical computer science ; Material type: Book Publication details: Berlin Springer verlag 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N883. Place hold

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

Powered by Koha