|
|
61.
|
COMPUTABILITY AND LOGIC
by Cohen, Daniel E. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 245.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 C66c] (1).
|
|
|
62.
|
MECHANISMS IN MODERN ENGINEERING DESIGN
by Artobolevsky, Ivan I | Weinstein, Nicholas. Material type: Book Description: v.Publisher: Moscow Mir Pub. 1975-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.8 Ar78mE] (1).
|
|
|
63.
|
PROGRAMS, MACHINES AND COMPUTATION
by Clark, Keith | Cowell, Don. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,176.Publisher: London Mcgraw-Hill 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C548p] (1).
|
|
|
64.
|
AUTOMATA THEORY
by Aleksander, Igor | Hanna, F. Keith. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 172.Publisher: New York Crane Russak 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.89 AL25a] (1).
|
|
|
65.
|
LOGICAL SYSTEMS FOR INDUSTRIAL APPLICATIONS
by Jaczewski, Jerzy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,452.Publisher: Amsterdam Elsevier 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.891 J169uE] (1).
|
|
|
66.
|
MACHINES LANGUAGES AND COMPUTATION
by Denning, Peter J | Qualitz, Joseph E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,601.Publisher: Englewood Cliffs Prentice-Hall 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 D422m] (1).
|
|
|
67.
|
MACHINES LANGUAGES AND COMPUTATION
by Denning, Peter J | Qualitz, Joseph E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,601.Publisher: Englewood Cliffs Prentice-Hall 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 D422m] (1).
|
|
|
68.
|
THE MATHEMATICS OF PETRI NETS
by Reutenauer, Christophe. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,117.Publisher: Hertfordshire Prentice-Hall 1990Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511 R319aE] (1).
|
|
|
69.
|
THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS
by Maslov, Sergei Iur'Evich | Lifschitx, Vladimir. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,151.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M379t] (1).
|
|
|
70.
|
COMPUTATION OF LANGUAGE
by Hausser, Roland. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,425.Publisher: Berlin Springer-Verlag 1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 H296c] (1).
|
|
|
71.
|
INFORMATION RANDOMNESS & INCOMPLETENESS
by Chaitin, Gregory J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,272.Publisher: Singapore World Scientific 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349i] (1).
|
|
|
72.
|
COMPUTATION ENGINEERING
by Gopalakrishnan,Ganesh. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxv,471.Publisher: Springer Science+Business Media Inc., New York 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 G646C] (1).
|
|
|
73.
|
THEORIES OF COMPUTABILITY
by Pippenger,Nicholas. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,251.Publisher: Cambridge Univ. Press, Cambridge 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P662T] (1).
|
|
|
74.
|
Introduction to the theory of computation
by Sipser, Michael. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 396p.Publisher: Boston Pws-Kent 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Si75I] (2).
|
|
|
75.
|
UNKNOWABLE
by Chaitin,Gregory J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,122.Publisher: Springer Verlag, Singapore 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349U] (1).
|
|
|
76.
|
UNKNOWABLE
by Chaitin,Gregory J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,122.Publisher: Springer Verlag, Singapore 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349U] (1).
|
|
|
77.
|
CLASSICAL AND QUANTUM COMPUTATION
by Kitaev,A. Yu.,Shen,A. H | Vyalyi,M. N. Material type: Book Description: xiii,257.Publisher: American Mathematical Society, Rhode Island c2002Availability: No items available Checked out (1).
|
|
|
78.
|
WORD PROCESSING IN GROUPS
by Epstein,David B.A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,330.Publisher: Jones And Bartlett Pub., Boston 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 W891E] (1).
|
|
|
79.
|
HANDBOOK OF PROCESS ALGEBRA
by J. A. Bergstra,A. Ponse,S. A. Smolka | Smolka,S. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,1342.Publisher: Elsevier, Amsterdam 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H192] (1).
|
|
|
80.
|
INTRODUCTION TO THE THEORY OF COMPUTATION
by Sipser,Michael. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,437.Publisher: Thomson, Australia 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 SI75I2] (1).
|
