Your search returned 546 results.

Results
	501.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner. by TYPES 2004 (2004 : Jouy-en-Josas, France) Filliatre, Jean-Christophe Paulin-Mohring, Christine Werner, Benjamin SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3839 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	502.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by TYPES'98 (2006 : Nottingham, UK) Altenkirch, Thorsten McBride, Conor SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4502 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	503.	Types for proofs and programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro. by TYPES 2008 (2008 : Torino, Italy) Berardi, Stefano Damiani, Ferruccio De'Liguoro, Ugo SpringerLink (Online service) Series: Lecture notes in computer science ; 5497 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	504.	No cover image available The UCSD p-system on the IBM PC by Christopher Van Buren by Van Buren, Christopher Publication details: Englewood Cliffs, N.J. Prentice-Hall 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.8.I2594V36. Place hold
	505.	UCSD Pascal featuring the Apple IIe and II Plus Roger W. Haigh, Loren E. Radford by Haigh, Roger W Radford, Loren E Publication details: Boston, MA PWS Publishing 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.8.A6623H35. Place hold
	506.	Understanding excel worksheet strategies for your IBM PC Bill O'Brien by O'Brien, Bill Publication details: Foresman and Company, Glenview, Ill. Scott 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: HF5548.4.M523O275. Place hold
	507.	Understanding the IBM 360 and 370 computers : with machine language programming / Willam T. Batten. by Batten, William T [author.] Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1974 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.8.I12B3[00008033951], ... Place hold
	508.	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by UTP 2006 (2006 : Darlington, England) Dunne, Steve Stoddart, Bill SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4010 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	509.	Useful BASIC programs for the IBM PC Stanley R. Trost by Trost, S. R. (Stanley R.) Publication details: Berkeley, CA Sybex Inc. 1983 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.8.I2594T76. Place hold
	510.	No cover image available User's guide for KEYSTAT a statistical system for microcomputers Harold R. Strang, Allison H. Innes by Strang, Harold R Innes, Allison H Publication details: Monterey, Ca. Brooks/Cole Publishing Co. 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA276.4.S85[00008035976]. Place hold
	511.	No cover image available Using CMS a study guide by International Business Machines Corporation Series: IBM independent study program Publication details: Poughkeepsie, N.Y. IBM Corporation 1980 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.6.I123U84[00008033339], ... Place hold
	512.	No cover image available Using CMS terminal guide by International Business Machines Corporation Series: IBM independent study program Publication details: Poughkeepsie, N.Y. IBM Corporation 1980 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.8.1126U87[00008034076]. Place hold
	513.	Using pageMaker 6 for the Mac / Rick Wallace. by Wallace, Rick Edition: [Special edition]. Publication details: Indianapolis, Ind. : Que Corporation, 1996 Other title: Using Pagemaker Six for the Mac. Using Pagemaker 6 for the Mac. Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Z286.D47 W34. Place hold
	514.	Using photoshop 3 for macintosh/ Bill Harrel ... (et al.). by Harrel, Bill Edition: Special ed. Publication details: Indianapolis, Ind. : Que Corporation, 1995 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: T385 .U88 1995. Place hold
	515.	No cover image available Using the IBM PC, PFS, file/PFS, report / W. Robert Crowley by Crowley, W. Robert Publication details: Rinehart and Winston, New York : Holt, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.8.I2594C76[00008034088]. Place hold
	516.	Using the IBM Personal Computer : EasyWriter / Ada W. Finifter by Finifter, Ada W, 1938- Publication details: Rinehart and Winston, New York : Holt, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Z52.5.E27F56. Place hold
	517.	Using the IBM personal computer / T.G. Lewis by Lewis, T. G. (Theodore Gyle) Publication details: Reston, Va. : Reston Pub. Co., 1983 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.8.I2594L48 3 [00006002477]. PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.8.I2594L48[00008034101], ... Place hold
	518.	No cover image available Using the IBM Personal Computer, VisiCalc / Robert Crowley by Crowley, Robert Publication details: Rinehart and Winston, New York : Holt, 1983 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: HF5548.4.V57C76. Place hold
	519.	No cover image available Using utility programs [videorecording] Series: Fundamentals of OS / VS [videorecording]Language: English Publication details: Chicago : Science Research Associates Inc, 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: video QA76.73.A8F86. Place hold
	520.	Using WordPerfect 5.0 / Gwynne Larson & Verlene Leeburg by Larsen, Gwynne Leeburg, Verlene Publication details: Watsonville, CA. : Mitchell Publishing , 1989 Availability: Items available for loan: PERPUSTAKAAN DR ABDUL LATIFF (1)Call number: Z52.5.W65L362. Place hold

First
Previous
17
18
19
20
21
22
23
24
25
26
27
28
Next
Last

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