Your search returned 22 results.

Sort
Results
1.
Structural complexity by Jose Luis Balcazar, Joseph Diaz, Joaquim Gabarro. by
  • Balcazar, Jose Luis
  • Diaz, Joseph
  • Gabarro, Joaquim
Series: EATCS Monographs on theoretical computer science
Material type: Text Book
Publication details: Berlin S-V 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N881.

2.
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: Text 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.

3.
Computability by Klaus Weihrauch. by
  • Weihrauch, Klaus
Series: EATCS monographs on theoretical computer science
Material type: Text 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.

4.
Confluent string rewriting by Matthias Jantzen by
  • Jantzen, Matthias
Series: EATCS monographs on theoretical computer science V.14
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N888.

5.
Temporal logic of programs. by Fred Kroger by
  • Kroger, Fred
Series: EATCS Monographs on theoretical computer science ;
Material type: Text 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.

6.
Data structures and algorithms 1: sorting and searching by Kurt Melhorn. by
  • Mehlhorn, Kurt
Series: EATCS monographs on theoretical computer science ;
Material type: Text 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.

7.
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: Text 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.

8.
Structural complexity II by Jose Luis Balcazar, Joseph Diaz, Joaquin Gabarro. by
  • Balazar, Jose Luis
  • Diaz, Joseph
  • Gabarro, Joaquin
Series: EATCS Monographs on theoretical computer science ; Vol. 22
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1015113 N90.2.

9.
Kolmogorov complexity and computational complexity ed. by Osamu Watanabe by
  • watanabe, Osamu
Series: EATCS monographs on theoretical computer science
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N922.

10.
Universal algebra for computer scientists by
  • by Wolfgang Wechler
  • Wechler, Wolfgang
Series: EATCS monographs on theoretical computer science
Material type: Text 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.

11.
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: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N921.1.

12.
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: Text 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.

13.
Iteration theories: the equational logic of iterative processes /Stephen L. Bloom, Zoltan Esik by
  • Bloom. Stephen L
  • Esik, Zoltan
Series: EATCS Monographs on Theoretical Computer Science
Material type: Text Book
Publication details: Berlin S-V 1993
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N93.

14.
Relations and graphs: discrete mathematics for computer scientists /Gunther Schmidt, Thomas Strohlein by
  • Schmidt, Gunther
  • Strohlein, Thomas
Series: EATCS Monographs on Theoretical Computer Science
Material type: Text Book
Publication details: Berlin S-V 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.0151 N933.

15.
Public-Key cryptography by Arto Salomaa. by
  • Salomaa, Arto
Series: EATCS monographs on theoretical computer science V.23
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N902.

16.
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: Text 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, ...

17.
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: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 N84.

18.
Algorithms in combinatorial geometry by Herbert Edelsbrunner by
  • Edelsbrunner, Herbert
Series: EATCS monographs on theoretical computer science ; vol.10
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.13 N87.

19.
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: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 N88.1.

20.
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: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 N90.2.

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