Logic and structured design for computer programmers /

Logic and structured design for computer programmers /

他のバージョン（2件）を表示する

57

書誌詳細
第一著者:	405314 Rood, Harold J.
フォーマット:
出版事項:	Boston, Mass. : PWS Pub., 1985
主題:	Electronic digital computers Structured programming Logic, Symbolic and mathematical

類似資料

Logic and structured design for computer programmers /
著者:: 405314 Rood, Harold J.
出版事項: (1992)

Logic and structured design for computer programmers /
著者:: 405314 Rood, Harold J.
出版事項: (2001)

The logic design of transistor digital computers/
著者:: Maley, Gerald A, 等
出版事項: (1963)

The logical basis for computer programming /
著者:: 179321 Manna, Zohar, 等
出版事項: (1985)

Logic for computer scientists /
著者:: 316142 Schoning, Uwe
出版事項: (2008)

Mathematical logic in computer science /
著者:: Domolki, B., 等
出版事項: (1981)

Introduction to digital logic design /
著者:: 319725 Hayes, John P.
出版事項: (1993)

Discrete structures, logic, and computability /
著者:: 437766 Hein, James L.
出版事項: (2010)

The logic of programming /
著者:: 395286 Hehner, Eric C. R.
出版事項: (1984)

Introduction to logic programming /
著者:: 240289 Hogger, Christopher John
出版事項: (1984)

Introduction to logic programming /
著者:: 240289 Hogger, Christopher John
出版事項: (1984)

Temporal logics and their applications /
著者:: Galton, Anthony
出版事項: (1987)

Mathematics and logic for digital devices /
著者:: 340314 Culberston, James Thomas
出版事項: (1958)

Logics of specification languages /
著者:: Bjorner, D. (Dines), 1937-, 等
出版事項: (2008)

Logic for computer science /
著者:: 318694 Reeves, Steve, 等
出版事項: (1990)

Mathematical logic and computability /
著者:: 404540 Keisler, H. Jerome, 等
出版事項: (1996)

Logic and structure /
著者:: Dalen, D. van (Dirk), 1932-
出版事項: (2004)

Mathematical logic and computability / [disket]
著者:: 404540 Keisler, H. Jerome, 等
出版事項: (1996)

Logic for mathematics and computer science /
著者:: 392348 Burris, Stanley N.
出版事項: (1998)

Mathematical logic for computer science /
著者:: 288973 Ben-Ari, Mordechai
出版事項: (2003)

Logic for problem solving /
著者:: 226060 Kowalski, Robert
出版事項: (1979)

Logic design theory /
著者:: Biswas, Nripendra Nath, 1928-
出版事項: (1993)

Introduction to mathematical logic : set theory computable functions model theory /
著者:: Malitz, J
出版事項: (1979)

Computation, logic, philosophy : a collection of essays /
著者:: 263016 Wang, Hao
出版事項: (1990)

Foundations of digital logic design /
著者:: 405703 Langholz, Gideon
出版事項: (1998)

logic for mathematicians /
著者:: 341990 Rosser, J. Barkley
出版事項: (1953)

Computability and logic /
著者:: 386993 Boolos, George, 等
出版事項: (1974)

Logic /
著者:: 344312 Earle, Nick
出版事項: (1973)

Computability and logic /
著者:: 386993 Boolos, George, 等
出版事項: (1989)

Multiple - conclusion logic /
著者:: 391053 Shoesmith, D. J., 等
出版事項: (1978)

Designing with programmable array logic /
著者:: 4010 Monolithic Memories
出版事項: (1978)

Introduction to symbolic logic /
著者:: 386873 Smith, Karl J.
出版事項: (1991)

Introduction to symbolic logic /
著者:: 386873 Smith, Karl J.
出版事項: (1974)

Logic of mathematics : a modern course of classical logic /
著者:: 454206 Adamowicz, Zofia, 等
出版事項: (1997)

Introduction to symbolic logic /
著者:: 389591 Basson, A. H., 等
出版事項: (1957)

Logic and algorithms, with applications to the computer and information sciences /
著者:: 377689 Korfhage, Robert R.
出版事項: (1966)

Combinatory logic /
著者:: 351193 Curry, Haskell Brooks, 等
出版事項: (1974)

Symbolic logic /
著者:: 372615 Jacquette, Dale
出版事項: (2001)

Mathematical logic /
著者:: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), 等
出版事項: (1978)

Introduction to logic /
著者:: 299767 Copi, Irving M., 等
出版事項: (1998)