Refine your search

Your search returned 3186 results.

Sort
Results
1401.
Temporal logic in specification Altrincham, UK, April 8-10, 1987 proceediings B. Banieqbal, H. Barringe A. Pnueli by 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.

1402.
Text processing : algorithms, languages, and applications / Allen B. Tucker, Jr. by 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.

1403.
Theoretical computer science : 5th GI-Conference Karlsruhe, March 23-25, 1981 / edited by Peter Deussen. by 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].

1404.
Theoretical foundations of computer graphics and CAD / edited by R. A. Earnshaw. by Series: NATO ASI series. Series F, Computer and systems sciences ; 40.
Publication details: Berlin : Springer-Verlag, 1988
Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: T385.N374 1987 3 [00006001162]. PERPUSTAKAAN TUN SERI LANANG (1)Call number: T385.N374 1987.

1405.
Theory and applications of problem solving / B. Zhang, L. Zhang. by 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.

1406.
Theory and practice of microprocessors / K. G. Nichols and E. J. Zaluska. by Series: Computer system engineering series
Publication details: New York : Crane Russak, 1982
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.5 .N52.

1407.
The theory of matrices with applications/ P. Lancaster, M. Tismenetsky. by 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.

1408.
Theory of program structures schemes, semantics, verification Sheila A. Greibach by 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].

1409.
The theory of relational databases / by David Maier by Series: Computer software engineering series
Publication details: Rockville, Md. : Computer Science Press, 1983
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.D3M33.

1410.
Thinking with models : mathematical models in the physical, biological, and social sciences / by Thomas L. Saaty and Joyce M. Alexander. by 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.

1411.
The Thoth system multi-process structuring and portability/ David R. Cheriton. by 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].

1412.
Three-dimensional object recognition from range images / Minsoo Suk, Suchendra M. Bhandarkar by 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].

1413.
Time dependent methods for quantum dynamics editor Kenneth C. Kulander. by Series: A thematic issue of computer physics communications
Publication details: Amsterdam: North-Holland, 1991
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QC174.125. T56.

1414.
The token-ring management guide / Martin A. W. Nemzow by Series: McGraw-Hill series on computer communications
Publication details: New York : McGraw-Hill, 1993
Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TK5105.8.I24N46 3.

1415.
Topics in expert system design : methdologies and tools / edited by Giovanni Guida, Carlo Tasso. by 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).

1416.
Trees in algebra and programming, 6th Colloquium, Genoa ,March 5 7, 1981 proceedings edited by E.Astesians and C.Bohm by 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].

1417.
Two-dimensional digital signal processing / edited by Sanjit K. Mitra and Michael P. Ekstrom. by 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.

1418.
1419.
Universal service obligations in a competitive telecommunications environment by Series: Information computer communications policy ; no.38
Publication details: Paris : OECD, 1995
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: OECD 3 C651.

1420.
The unnormalized relational data model : for office form processor design / H. Kitagawa , T. L. Kunii by 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], ...

Pages

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library