Results of search for 'ccl=su:"Computer software"'

Results
	861.	Time for verification [electronic resource] : essays in memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled. by Manna, Zohar Peled, Doron A SpringerLink (Online service) Series: Lecture notes in computer science ; 6200 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	862.	Today's critical PC issues Paul M. Leghart by Leghart, Paul M Computer Technology Research Corp Publication details: Charleston, S.C. Computer Technology Research Corp. 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.5.L4236. Place hold
	863.	Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings / edited by Holger Hermanns, Jens Palsberg. by TACAS 2006 (2006 : Vienna, Austria) Hermanns, Holger Palsberg, Jens SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3920 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	864.	Tools and algorithms for the construction and analysis of systems [electronic resource] : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.). by TACAS 2008 (2008 : Budapest, Hungary) Ramakrishnan, C. R Rehof, Jakob SpringerLink (Online service) ETAPS 2008 (2008 : Budapest, Hungary) Series: Lecture notes in computer science ; 4963 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	865.	Tools and algorithms for the construction and analysis of systems [electronic resource] : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.). by TACAS 2007 (2007 : Braga, Portugal) Grumberg, Orna Huth, Michael, 1962- SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) Series: Lecture notes in computer science ; 4424 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: European Joint Conferences on Theory and Practice of Software 2007 TACAS 2007 Joint European Conferences on Theory and Practice of Software ETAPS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	866.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by TACAS 2005 (2005 : Edinburgh, Scotland) Halbwachs, Nicolas Zuck, Lenore SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3440 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	867.	Tools and applications with artificial intelligence [electronic resource] / edited by Constantinos Koutsojannis, Spiros Sirmakessis. by Koutsojannis, Constantinos Sirmakessis, Spiros SpringerLink (Online service) Series: Studies in computational intelligence ; v.166 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	868.	The top 10 shareware manual / Michel Pelletier by Pelletier, Michel, 1960- Publication details: Harlow, England : Prentice Hall, 1999 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (2)Call number: QA76.76.S46P4513 1999 3, ... Place hold
	869.	TQM for computer software / by Robert H. Dunn and Richard S. Ullman by Dunn, Robert H, 1929- Ullman, Richard S Edition: 2nd ed. Publication details: New York : McGraw-Hill, 1994 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.Q35D88 1994. Place hold
	870.	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.
	871.	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.
	872.	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.
	873.	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.
	874.	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.
	875.	Transition to object-oriented software development / Mohamed Fayad, Mauri Laitinen. by Fayad, Mohamed, 1950- Laitinen, Mauri, 1947- Publication details: New York : Wiley, 1998 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.64.F39. Place hold
	876.	Trends in information technology edited by D. A. Linkens & R. I. Nicolson by Linkens, D. A Nicolson, R. I Series: IEE control engineering series ; v. 43 Publication details: London Peter Peregrinus on behalf of the Institution of Electrical Engineers 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.5. T688. Place hold
	877.	Trends in practical applications of agents and multiagent systems [electronic resource] : 8th International Conference on Practical Applications of Agents and Multiagent Systems / edited by Yves Demazeau ... [et al.]. by Demazeau, Yves SpringerLink (Online service) Series: Advances in intelligent and soft computing ; 71 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	878.	Trust in agent societies [electronic resource] : 11th international workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. revised selected and invited papers / edited by Rino Falcone ... [et al.]. by International Workshop on Trust in Agent Societies (11th : 2008 : Estoril, Portugal) Falcone, Rino SpringerLink (Online service) Series: Lecture notes in computer science ; 5396 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	879.	Trust in Technology: A Socio-Technical Perspective [electronic resource] / edited by Karen Clarke ... [et al.]. by Clarke, Karen SpringerLink (Online service) Series: Computer Supported Cooperative Work ; 36 Publication details: Dordrecht : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	880.	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.

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 919 results.

Contact Us

Copyright ©The National University of Malaysia Library