Jump to main content

yr 〜
yr

Search results 12

Теория сложности вычислений : сборник работ

Теория сложности вычислений : сборник работ
Paper図書
под редакцией Д. Ю. ГригорьеваНаука1982-1989
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures Computational complexity -- A...
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures Computational complexity -- A...

Parallel processes and related automata = Parallele Prozesse und damit zusammenhängende Automaten : au : us

Parallel processes and related automata = Parallele Prozesse und damit zusammenhängende Automaten : au : us
Paper図書
editors, W. Knödel, H.J. SchneiderSpringer-Verlagc1981
Other Libraries in Japan
  • Subject Heading...says, lectures Machine theory -- Addresses, essays, lectures Händler, Wolfgang, 1920-
  • Subject Heading (ID)...says, lectures Machine theory -- Addresses, essays, lectures Händler, Wolfgang, 1920-

Foundations of computer science III pbk. : v. 1 pbk. : v. 2

Foundations of computer science III pbk. : v. 1 pbk. : v. 2
Paper図書
J. W. de Bakker, (ed.), J. Van Leeuwen (ed.)Mathematisch Centrum1979
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures Data structures (Computer sci...
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures Data structures (Computer sci...

Mathematical foundations of computer science

Mathematical foundations of computer science
Paper図書
ed. Antoni Mazurkïewicz, Zdzisław PawlakPolish Scientific Publ.1977(WarszDRP)
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures Formal languages -- Addresses...
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures Formal languages -- Addresses...

Теоретические применения методов математической логики : сборник работ

Теоретические применения методов математической логики : сборник работ
Paper図書
под редакцией С. Ю. Маслова и Г. Е. МинцаНаука1975-1981
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures Computational complexity -- A...
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures Computational complexity -- A...

Synthesis of digital automata

Synthesis of digital automata
Paper図書
edited by V. G. Lazarev and A. D. Zakrevskii ; translated from Russian by Edwin S. SpiegelthalConsultants Bureau1969
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures

Systems and computer science

Systems and computer science
Paper図書
editors, John F. Hart, Satoru TakasuUniversity of Toronto Press in association with the University of Western Ontarioc1967
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures

Stochastic optimization and control : proceedings of an advanced seminar

Stochastic optimization and control : proceedings of an advanced seminar
Paper図書
edited by Herman F. KarremanWileyc1968
Other Libraries in Japan
  • Subject HeadingSystem analysis -- Addresses, essays, lectures Machine theory -- Addresses, essays, lectures
  • Subject Heading (ID)System analysis -- Addresses, essays, lectures Machine theory -- Addresses, essays, lectures

Automaton theory and learning systems

Automaton theory and learning systems
Paper図書
edited by D. J. Stewart ; from contributions selected by Stafford Beer, F. H. George and Richard GoodmanAcademic Press1967
Other Libraries in Japan
  • Subject HeadingMachine theory -- Addresses, essays, lectures Artificial intelligence -- Ad...
  • Subject Heading (ID)Machine theory -- Addresses, essays, lectures Artificial intelligence -- Ad...

Logique, automatique, informatique

Logique, automatique, informatique
Paper図書
[recherches, sous la direction de Gr.C. Moisil]Éditions de l'Académie de la République Socialiste de Roumanie1971
Other Libraries in Japan
  • Subject Heading...res Sequential machine theory -- Addresses, essays, lectures
  • Subject Heading (ID)...res Sequential machine theory -- Addresses, essays, lectures

Sequential machines : selected papers

Sequential machines : selected papers
Paper図書
by Arthur W. Burks ... [et al.] ; edited by Edward F. MooreAddison-Wesleyc1964
Other Libraries in Japan
  • Subject HeadingSequential machine theory -- Addresses, essays, lectures
  • Subject Heading (ID)Sequential machine theory -- Addresses, essays, lectures

Summaries of talks presented at the Summer Institute for Symbolic Logic 2nd ed

Summaries of talks presented at the Summer Institute for Symbolic Logic 2nd ed
Paper図書
Communications Research Division, Institute for Defense Analyses1960
Other Libraries in Japan
  • Subject Heading...says, lectures Machine theory -- Addresses, essays, lectures
  • Subject Heading (ID)...says, lectures Machine theory -- Addresses, essays, lectures

Reached to the end of result.

RSS