Your search returned 9 results.

Sort
Results
1.
Foundations of computer science/ J. W. De Bakker, (ed.). by
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Advanced Course on the Foundations of Computer Science (1974 : University of Amsterdam)
Series: Mathematical Centre tracts ; 63.
Publication details: Amsterdam ; Mathematisch Centrum, 1975
Availability: Items available for loan: Castorina (1)Call number: 004.15 F771 1975 IMPA.

2.
Foundations of computer science III.: Part 1: automata, data structures, complexity. by
  • Bakker, J. W. de (Jacobus Willem), 1939- [ed.]
  • Leeuwen, J. van (Jan) [ed.]
Series: Mathematical Centre tracts ; 108
Publication details: Amsterdam; Mathematisch Centrum, 1981
Availability: Items available for loan: Castorina (1)Call number: 004.015 F771 1981 IMPA.

3.
Mathematics and computer science: proceedings of the CWI symposium, November 1983/ edited by J.W. de Bakker, M. Hazewinkel, J.K. Lenstra. by
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Hazewinkel, Michiel
  • Lenstra, J. K
  • Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
  • Symposium on Mathematics and Computer Science (1983 : Centrum voor Wiskunde en Informatica)
Series: CWI monograph ; 1
Publication details: Amsterdam: New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1986
Availability: Items available for loan: Castorina (1)Call number: 004.0151 M427 1986 IMPA.

4.
Foundations of computer science III, Part 2: languages, logic semantics. by
  • Bakker, J. W. de (Jacobus Willem), 1939- [ed.]
  • Leeuwen, J. van (Jan) [ed.]
Series: Mathematical Centre tracts ; 109
Publication details: Amsterdam: Mathematisch Centrum, 1981
Availability: Items available for loan: Castorina (1)Call number: 004.015 F771 1981 IMPA.

5.
Foundations of computer science II/ K. R. Apt (ed.), J. W. De Bakker (ed.). by
  • Apt, Krzysztof R, 1949-
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Advanced Course on the Foundations of Computer Science (2nd: 1976: University of Amsterdam)
Series: Mathematical Centre tracts ; 81-82
Publication details: Amsterdam; Mathematisch Centrum, 1976
Availability: Items available for loan: Castorina (2)Call number: 004.015 F771 1976 IMPA, ...

6.
Foundations of computer science III/ J. W. de Bakker, (ed.), J. Van Leeuwen (ed.). by
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Leeuwen, J. van (Jan)
Series: Mathematical Centre tracts ; 108-109
Publication details: Amsterdam; Mathematisch Centrum, 1979
Availability: Items available for loan: Castorina (2)Call number: 004.015 F771 1983 IMPA, ...

7.
Recursive procedures/ by J. W. de Bakker. by
  • Bakker, J. W. de (Jacobus Willem), 1939-
Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 24.Mathematical Centre tracts ; 24.
Publication details: Amsterdam ; Mathematisch Centrum, 1973
Availability: Items available for loan: Castorina (1)Call number: 511.3 B168r 1973 IMPA.

8.
Formal definition of programming languages: With an application to the definition of algol 60/ By J. W. de Bakker. by
  • Bakker, J. W. de (Jacobus Willem), 1939-
Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 16.Mathematical Centre tracts ; 16
Edition: 2d ed.
Publication details: Amsterdam: Mathematisch Centrum, 1970
Availability: Items available for loan: Castorina (1)Call number: 005.133 B168f 1970 IMPA.

9.
MC-25 informatica symposium/ by J.W. de Bakker ... [and others]. by
  • Mathematisch Centrum (Amsterdam, Netherlands)
  • Wijngaarden, Adriaan van
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • MC-25 Informatica Symposium (1972: Amsterdam)
Series: Mathematical Centre tracts ; 37.Mathematical Centre tracts
Publication details: Amsterdam: Mathematisch Centrum, 1971
Availability: Items available for loan: Castorina (1)Call number: 510.92 M478 1971 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha