Your search returned 256 results.

Results
	221.	Testing of software and communication systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / edited by Manuel Nunez, Paul Baker, Mercedes G. Merayo. by Nunez, Manuel Baker, Paul Merayo, Mercedes G SpringerLink (Online service) Series: Lecture notes in computer science ; 5826 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	222.	Testing techniques in software engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / edited by Paulo Borba ... [et al.]. by Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil) Borba, Paulo SpringerLink (Online service) Series: Lecture notes in computer science ; 6153 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: PSSE 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	223.	Tests and proofs [electronic resource] : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / edited by Gordon Fraser, Angelo Gargantini. by TAP 2010 (4th : 2010 : Malaga, Spain) Fraser, Gordon Gargantini, Angelo SpringerLink (Online service) Series: Lecture notes in computer science ; 6143 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	224.	Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by Mills, Bruce SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	225.	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.
	226.	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.
	227.	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.
	228.	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.
	229.	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.
	230.	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.
	231.	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.
	232.	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.
	233.	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.
	234.	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.
	235.	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.
	236.	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.
	237.	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.
	238.	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.
	239.	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.
	240.	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.

First
Previous
3
4
5
6
7
8
9
10
11
12
13
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