Your search returned 44 results.

Sort
Results
1.
Information randomness and incompleteness papers on algorithmic information theory Gregory J. Chaitin by Series: World scientific series in computer science ; v.8
Material type: Text Text
Publication details: Singapore World Scientific 1987
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.8 C435I.

2.
Theory of computation Walter S. Brainerd and Lawrence H. Landweber by
Material type: Text Text
Publication details: New York Wiley Interscience 1974
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 519.4 B814T.

3.
Basic for theoretical computer science Michael A. Arbib, A. J. Kfoury and Robert N. Moll by Series: AKM series in theoretical computer science
Material type: Text Text
Publication details: New York Springer-Verlag 1981
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (3)Call number: 001.64 A664B :3, ...

4.
Machines, Languages, and computation Peter J. Denning, Jack B. Dennis and Joseph E. Qualitz by
Material type: Text Text
Publication details: New Jersey Prentice-Hall 1978
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.64 D411M.

5.
Complexity of computing John E. Savage by
Material type: Text Text
Publication details: New York John Wiley 1976
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.64 S264C.

6.
Applied computation theory analysis, design, modeling editor Raymond T. Yeh by Series: Prentice-Hall series in automatic computation
Material type: Text Text
Publication details: New Jersey Prentice-Hall 1976
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.64044 Y7A.

7.
Automata languages and programming editor J. Diaz; sponsore European Association for Theortical Computer Science by Series: Lecture notes in computer science; 154
Material type: Text Text
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 001.6424 C714A.

8.
Automaton theory and modeling of biological systems M. L. Tsetlin; translator Scitran by Series: Mathematics in science and engineering; v.102
Material type: Text Text
Publication details: New York Academic 1973
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 003 T882A.

9.
Feedback shift registers Christian Ronse by Series: Lecture notes in computer science 169
Material type: Text Text
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.7 R774F.

10.
Computer algebra symbolic and algebric computation editors B. Buchberger, G. E. Collins and R. Loos by Series: Computing supplementum; 4
Material type: Text Text
Publication details: New York Springer-Verlag 1982
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 512.02854 B918C.

11.
Algebraic theory of machines, languages, and semigroups editor Michael A. Arbib by
Material type: Text Text
Publication details: New York Academic 1968
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 512.5 A664A.

12.
Algebraic and structural automata theory L. Beyga...[et al]; editor Boleslaw Mikolajczak by Series: Annals of discrete mathematics; 44
Material type: Text Text
Publication details: New York North-Holland 1991
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 M636A.

13.
Linear sequential switching circuits selected technical papers D. A. Huffman...[et al.]; editor William H. Kautz by Series: Holden-Day series in information systems
Material type: Text Text
Publication details: San Francisco Holden-Day 1965
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 621.381537 K21L.

14.
Linear sequential circuits analysis,synthesis,and applications Arthur Gill by
Material type: Text Text
Publication details: New YOrk McGraw-Hill 1966
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 621.381958 G475L.

15.
Formal languages and their relation to automata John E. Hopcroft and Jeffrey D. Ullman by Series: Addison-wesley series in computer science and information processing
Material type: Text Text
Publication details: Reading Addison-Wesley 1969
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.8312 H791F.

16.
Introduction to the theory of finite automata N. E. Kobrinskii and B. A. Trakhtenbrot by Series: Studies in logic and the foundations of mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland 1965
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.8 K75I.

17.
Synthesis of digital automata editors V. G. Lazarev and A. V. Zakrevskii by
Material type: Text Text
Publication details: New York Consultants Bureau 1969
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.8312 L431S.

18.
Sequential machines selected papers editor Edward F. Moore by
Material type: Text Text
Publication details: Massachusetts Addison-Wesley 1964
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.8 M821S.

19.
Theories of abstract automata Michael A. Arbib by Series: Prentice-Hall seies in automatic computation
Material type: Text Text
Publication details: New Jersey Prentice-Hall 1969
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.8312 A664T.

20.
Logical systems for industrial applications Jerzy Jaczewski by
Material type: Text Text
Publication details: Amsterdam Elsevier Scientific 1978
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 629.891 J21L.

Pages
Copyright © 2020 GBPUAT. All Rights Reserved.