| عنوان الكتاب | المؤلف | دار النشر | السنة | رقم التصنيف |
|---|---|---|---|---|
| Empirical analysis for expert systems. | Politakis ,Peter G | 1985 | 1985 | QA76.76E95P65 1985 |
| Uncertainty & intelligeut systems. | 1988 | 1988 | QA 76.76 E95I5751989 | |
| Systems software development using vdm. | Jones,Cli,ff B. | 1986 | 1986 | QA 76.76D47J661986 |
| Computational compleyity & natural language. | Barton,G.Edward | 1987 | 1987 | QA 267 B361987 |
| A basis for theoretical computer science. | Arbib,Michacl | 1981 | 1981 | QA 267A664b1981 |
| An introduction to finite mathematics. | Meserve,Bruce E. | 1972 | 1972 | QA 247.3 M578i1972 |
| Introduction to approximation theory. | Cheney,E.W. | 1966 | 1966 | QA 221C518i1966 |
| An introduction to matrices,sets & groups for science students. | Stephenson,G | 1986 | 1986 | QA188 S691986 |
| Matrix theory & applications for engineers & mathematicians. | Graham,Alexander | 1979 | 1979 | QA188 G738m 1979 |
| Introduction to some methods of algebraic K-Theory. | Bass,Hyman | 1974 | 1974 | QA 169 B371974 |