Results of search for 'ccl=se,phr:"Computer science ."'

Results
	1221.	Symbolic and algebraic computation international symposium ISSAC'88, Rome, July 4-8,1988, proceedings ed. by P. Gianni by International Symposium ISSAC'88 (1988 : Rome) Gianni, P. (Patricia), 1952- Series: Lecture notes in computer science ; 358 Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.95.I57 1988, ... Place hold
	1222.	Symbolic logic and mechanical theorem proving Chin-Liang Chang, Richard Char-Tung Lee by Chang, Chin-Liang, 1937- Lee, Richard Char-Tung Series: Computer science and applied mathematics Publication details: New York Academic Press 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.C49, ... Place hold
	1223.	System sensitivity analysis/ edited by Jose B. Cruz, Jr. by Cruz, Jose B. (Jose Bejar) [editor.] Series: Benchmark papers in electrical engineering and computer science Publication details: Hutchinson & Ross, Stroudsburg, Pa.: Dowden, 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: TA168. S94. Place hold
	1224.	TEMPO a unified treatment of binding time and parameter passing concepts in programming languages Neil D. Jones, Steven S. Muchnick. by Jones, Neil D [author.] Muchnick, Steven S, 1945- [editor.] Series: Lecture notes in computer science ; 66 Publication details: Berlin: Springer-Verlag, 1978 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.T45. J66. Place hold
	1225.	Temporal logic in specification Altrincham, UK, April 8-10, 1987 proceediings B. Banieqbal, H. Barringe A. Pnueli by Banieqbal, B Barringer, H Pnueli, A Series: Lectures notes in computer science ; 398 Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.S88T42. Place hold
	1226.	Text processing : algorithms, languages, and applications / Allen B. Tucker, Jr. by Tucker, Allen B Series: Computer science and applied mathematics Publication details: New York : Academic Press, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: P98.T8. Place hold
	1227.	Theoretical computer science : 5th GI-Conference Karlsruhe, March 23-25, 1981 / edited by Peter Deussen. by Deussen, Peter [editor.] Series: Lectures notes in computer science ; 104 Publication details: Berlin : Springer-Verlag, 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.T47[00008035388]. Place hold
	1228.	Theory and applications of problem solving / B. Zhang, L. Zhang. by Zhang, B, 1935- Zhang, L, 1937- Series: Studies in computer science and artificial intelligence ; 9. Publication details: Amsterdam : North-Holland, 1992 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q335 .Z53. Place hold
	1229.	No cover image available The theory of matrices with applications/ P. Lancaster, M. Tismenetsky. by Lancaster, Peter, 1929- Tismenetsky, M. (Miron) Series: Computer science and applied mathematics Edition: 2nd ed. Publication details: New York Academic Press 1985 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA188.L36 1985. Place hold
	1230.	Theory of program structures schemes, semantics, verification Sheila A. Greibach by Greibach, Sheila, 1939- Series: Lecture notes in computer science ; 36 Publication details: Berlin Springer-Verlag 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.G743 1975[00008033328]. Place hold
	1231.	Thinking with models : mathematical models in the physical, biological, and social sciences / by Thomas L. Saaty and Joyce M. Alexander. by Saaty, Thomas L Alexander, Joyce M Series: International series in modern applied mathematics and computer science ; v. 2 Publication details: Oxford : Pergamon Press, 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA401 .S19. Place hold
	1232.	No cover image available The Thoth system multi-process structuring and portability/ David R. Cheriton. by Cheriton, David R Series: The Computer science library ; 8 Publication details: New York North Holland 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.C443[00008033280]. Place hold
	1233.	Three-dimensional object recognition from range images / Minsoo Suk, Suchendra M. Bhandarkar by Suk, Minsoo, 1948- Bhandarkar, S. M Series: Computer science workbench Publication details: Tokyo : Springer-Verlag, 1992 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TA1632.S865 3 [00006003077]. Place hold
	1234.	Topics in expert system design : methdologies and tools / edited by Giovanni Guida, Carlo Tasso. by Guida, Giovanni [editor.] Tasso, Carlo [editor.] Series: Studies in computer science and artificial intelligence ; 5 Publication details: Amsterdam : Elsevier Science, 1989 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.76.E95T67 3 [00006002425]. Not available: PERPUSTAKAAN TUN SERI LANANG: Checked out (1). Place hold
	1235.	Trees in algebra and programming, 6th Colloquium, Genoa ,March 5 7, 1981 proceedings edited by E.Astesians and C.Bohm by CAAP'81 (6th : 1981 : Genoa, Italy) Astesiano, E. (Egidio), 1939- Bohm, C. (Corrado), 1923- Series: Lecture notes in computer science ; 112 Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA166.2.C3 1981[00008034589]. Place hold
	1236.	Two-dimensional digital signal processing / edited by Sanjit K. Mitra and Michael P. Ekstrom. by Mitra, Sanjit K. (Sanjit Kumar) Ekstrom, Michael P Series: Benchmark papers in electrical engineering and computer science ; v.20. Publication details: Hutchinson & Ross, Stroudsburg, Pa. : Dowden, 1978 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TK5102.5.T92 3 (00006004246). PERPUSTAKAAN TUN SERI LANANG (1)Call number: TK5102.5.T92. Place hold
	1237.	Uncertainty in knowledge bases : 3rd International ... IPMU'90, Paris, July 2-6, 1990 proceedings / B. Bouchon-Meunier, R. R. Yager, L. A. Zadeh, editors by International Conference on Information Processing and Management of Uncertainty Knowledge Based System (3rd : 1990 : Paris, France) Zadeh, Lotfi Asker Yager, Ronald R, 1941- Bouchon-Meunier, B. (Bernadette), 1948- Series: Lecture notes in computer science ; 521 Publication details: Berlin: Springer-Verlag, 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: Q375.I58 1990, ... Place hold
	1238.	The unnormalized relational data model : for office form processor design / H. Kitagawa , T. L. Kunii by Kitagawa, H. (Hiroyuki), 1955- Kunii, Toshiyasu Series: Computer science workbench Publication details: Tokyo : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.9.D26K58[00008034308], ... Place hold
	1239.	No cover image available User-designed computing : free-enterprise application design \ Louis Schlueter, Jr by Schlueter, Louis Series: Lexington Books series in computer science Publication details: Lexington, Mass Lexington Books 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.S88S34[00008034224]. Place hold
	1240.	Using sophisticated models in resolution theorem proving / David M. Sandford by Sandford, David M Series: Lecture note in computer science ; 90 Publication details: Berlin : Springer-Verlag, 1980 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96S36[00008034296]. Place hold

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Titles

Your search returned 2491 results.

Contact Us

Copyright ©The National University of Malaysia Library