年 〜
年

検索結果 12 件

Singularly perturbed and weakly coupled linear control systems : a recursive approach / Z. Gajić, D. Petkovski, X. Shen. (Lecture notes in control and information sciences)

Singularly perturbed and weakly coupled linear control systems : a recursive approach / Z. Gajić, D. Petkovski, X. Shen. (Lecture notes in control and information sciences)
紙図書
Springer-Verlagc1990.<M131-A75>
国立国会図書館
  • 件名制御理論. Control theory. Recursive programming.

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach. (Lecture notes in computer science ; 36)

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach. (Lecture notes in computer science ; 36)
紙図書
Springer-Verlag1975.<M159-58>
国立国会図書館
  • 件名Computer programming. Recursive programming. Computer programs.

Singularly perturbed and weakly coupled linear control systems : a recursive approach : gw : us

Singularly perturbed and weakly coupled linear control systems : a recursive approach : gw : us
紙図書
Z. Gajić, D. Petkovski, X. ShenSpringer-Verlagc1990
全国の図書館
  • 件名Control theory Recursive programming
  • 件名（識別子）Control theory Recursive programming

Recursive techniques in programming [by] D. W. Barron. (Macdonald computer monographs)

Recursive techniques in programming [by] D. W. Barron. (Macdonald computer monographs)
紙図書
Macdonald & Co.[1969]<M159-13>
国立国会図書館
  • 件名Computer programming. Recursive programming.

Rekursive Programmierung

Rekursive Programmierung
紙図書
Jürgen PerlHanser1979
全国の図書館
  • 件名Recursive programming
  • 件名（識別子）Recursive programming

Combinatory reduction systems pbk.

Combinatory reduction systems pbk.
紙図書
J.W. KlopMathematisch centrum1980
全国の図書館
  • 件名Combinatory logic Lambda calculus Recursive programming
  • 件名（識別子）Combinatory logic Lambda calculus Recursive programming

Modelling economic change : the recursive programming approach

Modelling economic change : the recursive programming approach
紙図書
Richard H. Day and Alessandro Cigno, with contributions by M. Abe ... [et al.]North-Hollandc1978
全国の図書館
  • 件名Economics -- Mathematical models Recursive programming
  • 件名（識別子）Economics -- Mathematical models Recursive programming

Recursive programming techniques

Recursive programming techniques
紙図書
William H. BurgeAddison-Wesleyc1975
全国の図書館
  • 件名Recursive programming Combinatory logic
  • 件名（識別子）Recursive programming Combinatory logic

Recursive program schemes : semantics and proof theory

Recursive program schemes : semantics and proof theory
紙図書
W. P. de Roever, JrMathematisch Centrum1976
全国の図書館
  • 件名Programming languages (Electronic computers) -- Semantics Recursive programming Proof theory
  • 件名（識別子）Programming languages (Electronic computers) -- Semantics Recursive programming Proof theory

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen
紙図書
N. WirthTeubner1975
全国の図書館
  • 件名Data structures (Computer science) Sorting (Electronic computers) Recursive programming
  • 件名（識別子）Data structures (Computer science) Sorting (Electronic computers) Recursive programming

Theory of program structures : schemes, semantics, verification : gw : us

Theory of program structures : schemes, semantics, verification : gw : us
紙図書
Sheila A. GreibachSpringer-Verlag1975
全国の図書館
  • 件名Electronic digital computers -- Programming Recursive programming Computer programs
  • 件名（識別子）Electronic digital computers -- Programming Recursive programming Computer programs

Recursive techniques in programming

Recursive techniques in programming
紙図書
[by] D.W. BarronMacdonald[1968]
全国の図書館
  • 件名Electronic digital computers -- Programming Recursive programming
  • 件名（識別子）Electronic digital computers -- Programming Recursive programming

検索結果は以上です。