Your search returned 526 results.

Results
	421.	Reliable Software Technologies - Ada Europe 2007 [electronic resource] : 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007: Proceedings / edited by Nabil Abdennahder, Fabrice Kordon by Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland) Abdennahder, Nabil Kordon, Fabrice SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4498 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	422.	Reliable Software Technologies Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / edited by Fabrice Kordon, Tullio Vardanega. by Ada-Europe International Conference on Reliable Software Technologies (2008 : Venice, Italy) Kordon, Fabrice Vardanega, Tullio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5026 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	423.	Reliable software technologies-Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / edited by Fabrice Kordon, Yvon Kermarrec. by Ada-Europe International Conference on Reliable Software Technologies 14th : 2009 : Brest, France) Kordon, Fabrice [editor.] Kermarrec, Yvon [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5570 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: Ada-Europe 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	424.	Reliable software technologies - Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / edited by Jorge Real, Tullio Vardanega. by Ada-Europe International Conference on Reliable Software Technologies (15th : 2010 : Valencia, Spain) Real, Jorge Vardanega, Tullio SpringerLink (Online service) Series: Lecture notes in computer science ; 6106 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	425.	Reliable Software Technology - Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / edited by Tullio Vardanega, Andy Wellings. by Ada-Europe International Conference on Reliable Software Technologies (10th : 2005 : York, England) Vardanega, Tullio Wellings, Andy SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3555 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	426.	Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits. by Kordon, Fabrice Sztipanovits, Janos SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4322 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	427.	Representation and meaning : experiments with information processing systems / edited by Herbert A. Simon and Laurent Siklossy. by Simon, Herbert A. (Herbert Alexander), 1916- [author.] Siklossy, Laurent [author.] Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1972 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q335 .S5. Place hold
	428.	Requirements engineering [electronic resource] : foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 : proceedings / edited by Roel Wieringa, Anne Persson. by REFSQ 2010 (2010 : Essen, Germany) Wieringa, Roel Persson, Anne SpringerLink (Online service) Series: Lecture notes in computer science ; 6182 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	429.	Requirements engineering, foundation for software quality [electronic resource] : 15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / edited by Martin Glinz, Patrick Heymans. by REFSQ 2009 (2009 : Amsterdam, Netherlands) Glinz, Martin [editor.] Heymans, Patrick [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5512 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	430.	Research into practice - reality and gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010 : proceedings / edited by George T. Heineman, Jan Kofron, Frantisek Plasil. by International Conference on the Quality of Software Architectures (6th : 2010 : Prague, Czech Republic) Heineman, George T Plasil, Frantisek Kofron, Jan SpringerLink (Online service) Series: Lecture notes in computer science ; 6093 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: QoSA 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	431.	Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by ICTAC 2006 (2006 : Tunis, Tunisia) Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4281 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	432.	Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich. by Tonella, Paolo Potrich, Alessandra SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	433.	Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner. by Comon-Lundh, Hubert Kirchner, Claude Kirchner, Helene SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4600 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	434.	Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov. by International Conference on Rewriting Techniques and Applications (19th : 2008 : Hagenberg, Austria) Voronkov, Andrei SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5117 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	435.	Rewriting techniques and applications [electronic resource] : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / edited by Ralf Treinen. by International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasilia, Brazil) Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5595 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: RTA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	436.	The role of language in problem solving 1: proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984 / editors Robert Jernigan, Bruce W. Hamill and David M. Weintraub. by Jernigan, Robert Hamill, Bruce W Weintraub, David M John Hopkins University Applied Physics Laboratory Symposium on the Role of Language in Problem Solving (1st : 1984) Publication details: Amsterdam : North-Holland, 1985 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.7 .J64 1984 3 [00006002068]. Place hold
	437.	The role of language in problem solving : proceedings of the John Hopkins University ... held in Laurel, Maryland, 2-4 April, 1986 / editors J. C. Boudreaux, B. W. Hamill and r. Jernigan. by John Hopkins University Applied Physics Laboratory Symposium on the Role of Language in Problem Solving (2nd : 1986) Boudreaux, J. C 1944- Hamill, B. W Jernigan, R Publication details: Amsterdam : North-Holland, 1987 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.7 .J64 1986 3 [00006002069]. Place hold
	438.	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.
	439.	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.
	440.	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.

First
Previous
13
14
15
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