Your search returned 526 results.

Results
	481.	Theory and practice of model transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / edited by Richard F. Paige. by ICMT 2009 (2009 : Zurich, Switzerland) Paige, Richard F SpringerLink (Online service) Series: Lecture notes in computer science ; 5563 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	482.	A theory of programming language semantics Robert Milne and Christopher Strachey by Milne, Robert, 1948- Strachey, Christopher Publication details: London Chapman & Hall 1976 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.7.M54[00008033446], ... Place hold
	483.	Time-shared computer languages : an introduction to conversational computing / Lee David Schur. by Schur, Lee David Publication details: Reading, Mass. : Addison-Wesley, 1973 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.7 .S36 3 . Place hold
	484.	No cover image available Toward a natural simulation language / [by] E.C. DeLand, G.A. Bekey [and] G.P. Moore by DeLand, Edward Charles, 1922 [author.] Bekey, George A, 1928 [author.] Moore, George P, 1932 [author.] Research and Development Corporation [issuing body.] Series: The Rand paper series ; P-4688Publisher: Santa Monica, California : Rand Corporation, .1971 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: RAND 7 P-4688 1971. Place hold
	485.	Transactions on aspect-oriented software development IV [electronic resource] / Awais Rashid, Mehmet Aksit (eds.). by Rashid, Awais Aksit, Mehmet SpringerLink (Online service) Series: Lecture notes in computer science ; 4640 \| LNCS sublibrary. SL2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	486.	Transactions on Aspect-Oriented Software Development I [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais Aksit, Mehmet SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3880 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	487.	Transactions on Aspect-Oriented Software Development II [electronic resource] : Focus: AOP Systems, Software and Middleware / edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais Aksit, Mehmet SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4242 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	488.	Transactions on aspect-oriented software development III [electronic resource] / Awais Rashid, Mehmet Aksit (eds.). by Rashid, Awais Aksit, Mehmet SpringerLink (Online service) Series: Lecture notes in computer science ; 4620 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: Transactions on aspect-oriented software development three Transactions on aspect-oriented software development 3 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	489.	Transactions on aspect-oriented software development V [electronic resource] / edited by Awais Rashid, Harold Ossher. by Rashid, Awais Ossher, Harold SpringerLink (Online service) Series: Lecture notes in computer science ; 5490 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	490.	Transactions on aspect-oriented software development VI [electronic resource] : special issue on aspects and model-driven engineering / edited by Shmuel Katz ... [et al.]. by Katz, Shmuel SpringerLink (Online service) Series: Lecture notes in computer science ; 5560 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	491.	Transactions on high-performance embedded architectures and compilers. I [electronic resource] / Per Stenstrom ... [et al.] (eds.). by Stenstrom, Per SpringerLink (Online service) Series: Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: High-performance embedded architectures and compilers I. HiPEAC. HiPEAC compilation architecture. In: Springer e-books Online resources: Click here to access online Availability: No items available.
	492.	Transactions on pattern languages of programming I [electronic resource] / edited by James Noble, Ralph Johnson. by Noble, James Johnson, Ralph SpringerLink (Online service) Series: Lecture notes in computer science ; 5770 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	493.	Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cedric Fournet. by TGC 2007 (2007 : Sophia-Antipolis, France) Barthe, Gilles Fournet, Cedric SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4912 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	494.	Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers [electronic resource] / edited by Rocco De Nicola, Davide Sangiorgi. by TGC 2005 (2005 : Edinburgh, Scotland) De Nicola, Rocco Sangiorgi, Davide SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3705 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: TGC 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	495.	Trustworthy global computing [electronic resource] : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers / Ugo Montanari, Donald Sannella, Roberto Bruni (eds.). by TGC 2006 (2006 : Lucca, Italy) Montanari, U. (Ugo) Sannella, D. (Donald), 1956- Bruni, Roberto SpringerLink (Online service) Series: Lecture notes in computer science ; 4661 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: TGC 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	496.	Trustworthy global computing [electronic resource] : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / edited by Christos Kaklamanis, Flemming Nielson. by TGC 2008 (2008 : Barcelona, Spain) Kaklamanis, Christos Nielson, Flemming SpringerLink (Online service) Series: Lecture notes in computer science ; 5474 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: TGC 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	497.	Typed lambda calculi and applications [electronic resource] : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / Simona Ronchi della Rocca (ed.). by International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France) Ronchi Della Rocca, S. (Simona) SpringerLink (Online service) Series: Lecture notes in computer science ; 4583 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: TLCA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	498.	Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / edited by Pawel Urzyczyn. by International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara, Japan) Urzyczyn, Pawel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3461 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	499.	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.
	500.	Types for proofs and programs [electronic resource] : international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino Honsell, Furio Scagnetto, Ivan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4941 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

First
Previous
16
17
18
19
20
21
22
23
24
25
26
27
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