Your search returned 256 results.

Results
	201.	Runtime verification [electronic resource] : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / edited by Saddek Bensalem, Doron A. Peled. by RV 2009 (2009 : Grenoble, France) Bensalem, Saddek [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5779 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: RV 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	202.	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.
	203.	SCJP Exam for J2SE 5 [electronic resource] : A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam / by Paul Sanghera. by Sanghera, Paul SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	204.	Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson. by Nielson, Hanne Riis Nielson, Flemming SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Publication details: London : Springer-Verlag London Limited, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	205.	Silverlight recipes [electronic resource] : a problem solution approach / by Jit Ghosh, Rob Cameron. by Ghosh, Jit Cameron, Rob SpringerLink (Online service) Publication details: Berkeley, CA : Apress, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	206.	Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch. by Unland, Rainer Calisti, Monique Klusch, Matthias SpringerLink (Online service) Series: Whitestein Series in Software Agent Technologies Publication details: Basel : Birkhauser Verlag, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	207.	Software architecture [electronic resource] : second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / edited by Ron Morrison, Dharini Balasubramaniam, Katrina Falkner. by ECSA 2008 (2008 : Paphos, Cyprus) Morrison, R. (Ronald), 1946- Balasubramaniam, Dharini Falkner, Katrina SpringerLink (Online service) Series: Lecture notes in computer science ; 5292 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	208.	Software Architecture [electronic resource] : First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings / edited by Flavio Oquendo. by ECSA 2007 (2007 : Madrid, Spain) Oquendo, Flavio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4758 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	209.	Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Eric Tanter. by International Symposium, SC 2008 (7th : 2008 : Budapest, Hungary) Pautasso, Cesare Tanter, Eric SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4954 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	210.	Software engineering [electronic resource] : international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures / Andrea De Lucia, Filomena Ferrucci (eds.) by De Lucia, Andrea [editor.] Ferrucci, Filomena [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5413 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	211.	Software engineering for self-adaptive systems [electronic resource] / edited by Betty H.C. Cheng ... [et al.]. by Cheng, Betty H.C [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5525 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	212.	Software language engineering [electronic resource] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / edited by Dragan Gasevic, Ralf Lammel, Eric Van Wyk. by SLE 2008 (2008 : Toulouse, France) Gasevic, Dragan [editor.] Lammel, Ralf [editor.] Van Wyk, Eric [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5452 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: SLE 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	213.	A Software Process Model Handbook for Incorporating People's Capabilities [electronic resource] / by Silvia Teresita Acuna ... [et al.]. by Acuna, Silvia Teresita SpringerLink (Online service) Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	214.	Software Process Modeling [electronic resource] / edited by Silvia T. Acuna, Natalia Juristo. by Acuna, Silvia T Juristo, Natalia SpringerLink (Online service) Series: International Series in Software Engineering ; 10 Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	215.	Squeak [electronic resource] : Learn Programming with Robots / by Stephane Ducasse. by Ducasse, Stephane SpringerLink (Online service) Publication details: Berkeley, CA : New York : Apress ; Distributed to the book trade in the U.S. by Springer-Verlag, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	216.	Static analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / edited by Jens Palsberg, Zhendong Su. by International Static Analysis Symposium (16th : 2009 : Los Angeles, Calif.) Palsberg, Jens Su, Zhendong SpringerLink (Online service) Series: Lecture notes in computer science ; 5673 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	217.	Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007: Proceedings / edited by Hanne Riis Nielson, Gilberto File. by International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark) Nielson, hanne Riis File, Gilberto SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4634 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	218.	Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / edited by Chris Hankin, Igor Siveroni. by International Static Analysis Symposium (12th : 2005 : London, England) Hankin, Chris Siveroni, Igor SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3672 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	219.	System Level Design of Reconfigurable Systems-on-Chip [electronic resource] / edited by Nikolaos S. Voros, Konstantinos Masselos. by Voros, Nikolaos S Masselos, Konstantinos SpringerLink (Online service) Publication details: Boston, MA : Springer, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	220.	Term Rewriting and Applications (vol. # 4098) [electronic resource] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning. by International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.) Pfenning, Frank SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4098 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
2
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