استكشف مجموعتنا الشاملة من الكتب والمقالات والوسائط الرقمية وغيرها
Symbolic logic /
Discrete structures, logic, and computability /
Logic and knowledge : essays, 1901-1950 /
Dictionary of logical terms and symbols /
The logic of knowledge bases /
Logic /
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Philosophy of logic /
Fortran codes for classical methods in linear dynamics /
The foundations of mathematics /
Introduction to logic and computer design /
Logic and computer design fundamentals /
Computer science and multiple valued logic : theory and applications /
Hegel's science of logic /
Metalogic: an introduction to the metatheory of standard first order logic.
Dynamic programming and optimal control.
An introduction to modal logic /
Logic Design Lab \
VHDL for logic synthesis /
A transition to abstract mathematics : mathematical thinking and writing /
The 8086 Microprocessor Systems Lab Manual
FORTRAN IV computing and applications
International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Liege, Belgium, 4-7 April 1977 /
Fundamental structures of computer science /
Computer programming/Fortran /
Introduction to computers and basic programming /
Computers and intractability : a guide to the theory of NP-completeness /
Elementary COBOL programming; a step by step approach
Introduction to computers /
Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /
Understanding computation /
Introduction to algorithms /
ALGOL in brief: a short, practical guide to computer programming in ALGOL,
COBOL programming : an introduction for librarians /
Structured computer organization /
Software tools in Pascal /
Introduction to computer programming using Fortran 77
Introduction to computer data processing /
Computers and computing : an introduction through BASIC /
An introduction to computer science : an algorithmic approach /
Word and object /
Introduction to mathematical proof : a transition to advanced mathematics /
Transition to higher mathematics : structure and proof /
Foundations : essays in philosophy, logic, mathematics and economics /
Schaums outline of theory and problems of discrete mathematics/
First-order dynamic logic /
Mathematical foundations of programming /
Primality tests and their applications /