本文に飛ぶ

年 〜
年

検索結果 4 件

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)
紙図書
Springer-Verlag1980.<M159-121>
国立国会図書館
  • 件名Computer programming. Metamathematics. Teoria Da Computacao. Logica E Semantica De Program...

Decision tables: theory and practice [by] Solomon L. Pollack, Harry T. Hicks, Jr. [and] William J. Harrison. (Wiley communigraph series on business data processing)

Decision tables: theory and practice [by] Solomon L. Pollack, Harry T. Hicks, Jr. [and] William J. Harrison. (Wiley communigraph series on business data processing)
紙図書
Wiley-Interscience[1971]<DH213-9>
国立国会図書館
  • 件名Decision logic tables. Teoria Da Computacao.

3. [i.e. dritte] Jahrestagung : Hamburg, 8.-10. Oktober 1973 / Hrsg. in Auftrag der Gesellschaft für Informatik von Wilfried Brauer. (Lecture notes in computer science ; 1)

3. [i.e. dritte] Jahrestagung : Hamburg, 8.-10. Oktober 1973 / Hrsg. in Auftrag der Gesellschaft für Informatik von Wilfried Brauer. (Lecture notes in computer science ; 1)
紙図書
Springer-Verlag1973.<M121-72>
国立国会図書館
  • 件名...-- Congresses. Teoria Da Computacao.

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes. (Lecture notes in computer science ; 25)

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes. (Lecture notes in computer science ; 25)
紙図書
Springer-Verlag1975.<MA67-209>
国立国会図書館
  • 件名...a De Controle. Teoria Da Computacao.

検索結果は以上です。

RSS