Your search returned 3261 results.

Results
	3121.	Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007: Proceedings / edited by Gregor Engels ... [et al.]. by MoDELS 2007 (2007 : Nashville, Tenn.) Engels, Gregor SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4735 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3122.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007: Proceedings / edited by Franck Cappello, Thomas Herault, Jack Dongarra. by European PVM/MPI Users' Group Meeting (14th : 2007 : Paris, France) Cappello, Franck Dongarra, Jack Herault, Thomas SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4757 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3123.	Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers. / edited by Roman Obermaisser ... [et al.]. by SEUS 2007 (2007 : Thera Island, Greece) Obermaisser, Roman SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4761 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3124.	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.
	3125.	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.
	3126.	Principles and practice of constraint programming--CP 2007 [electronic resource] : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings / Christian Bessiere (ed.). by CP 2007 (2007 : Providence, RI) Bessiere, Christian SpringerLink (Online service) Series: Lecture notes in computer science ; 4741 \| LNCS sublibrary. SL 2, 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.
	3127.	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.
	3128.	Software process dynamics and agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings / Qing Wang, Dietmar Pfahl, David M. Raffo (eds.). by International Conference on the Software Process (2007 : Minneapolis, Minn.) Wang, Qing, 1964 Jan. 29- Pfahl, Dietmar Raffo, David Mitchell SpringerLink (Online service) International Workshop on Software Process Simulation and Modeling (2007 : Minneapolis, Minn.) Software Process Workshop (2007 : Minneapolis, Minn.) Series: Lecture notes in computer science ; 4470 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: International Conference on Software Process ICSP 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3129.	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.
	3130.	Programming languages and systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Rocco De Nicola (ed.). by European Symposium on Programming (16th : 2007 : Braga, Portugal) De Nicola, Rocco SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) Series: Lecture notes in computer science ; 4421 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ESOP 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3131.	Wireless sensor networks [electronic resource] : 4th European conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007 : proceedings / Koen Langendoen, Thiemo Voigt (eds.). by EWSN 2007 (2007 : Delft, Netherlands) Langendoen, K. G Voigt, Thiemo SpringerLink (Online service) Series: Lecture notes in computer science ; 4373 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: EWSN 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3132.	Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by VMCAI 2007 (2007 : Nice, France) Cook, Byron Podelski, Andreas SpringerLink (Online service) Series: Lecture notes in computer science ; 4349 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	3133.	Practical aspects of declarative languages [electronic resource] : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings / Michael Hanus (ed.). by PADL 2007 (2007 : Nice, France) Hanus, Michael, 1959- SpringerLink (Online service) Series: Lecture notes in computer science ; 4354 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: PADL 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3134.	Metaheuristics [electronic resource] : Progress in Complex Systems Optimization / edited by Karl F. Doerner ... [et al.]. by Doerner, Karl F SpringerLink (Online service) Series: Operations Research/Computer Science Interfaces Series ; 39 Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3135.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstadt, Dieter Kratsch, Haiko M{u}ller. by Conference on Graphtheoretic Concepts in Computer Science (33rd : 2007 : Dornburg, Thuringia, Germany) Brandstadt, Andreas Kratsch, D. (Dieter) Muller, Haiko SpringerLink (Online service) Series: Lecture notes in computer science ; 4769 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: WG 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3136.	Runtime verification [electronic resource] : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Ta{o}siran (eds.). by RV 2007 (2007 : Vancouver, B.C.) Sokolsky, Oleg Tasiran, Serdar SpringerLink (Online service) Series: Lecture notes in computer science ; 4839 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: RV 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3137.	Processing [electronic resource] : creative coding and computational art / Ira Greenberg. by Greenberg, Ira SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3138.	Microsoft SharePoint [electronic resource] : building Office 2007 solutions in VB 2005 / Scot Hillier. by Hillier, Scot SpringerLink (Online service) Series: The expert's voice in SharePoint Publication details: Berkeley, CA : Springer, 2007 Other title: SharePoint In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3139.	Windows Home Server User's Guide [electronic resource] / by Andrew Edney. by Edney, Andrew SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3140.	Software Engineering. 2, Specification of Systems and Languages [electronic resource] / by Dines Bjorner. by Bjorner, Dines SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.

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