Your search returned 256 results.

Results
	1.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W Brauer, W Rozenberg, G Salomaa, A SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Borger ... [et al.]. by ABZ 2008 (2008 : London, England) Borger, Egon SpringerLink (Online service) Series: lecture notes in computer science ; 5238 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle Morgan, Carroll 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.
	4.	Accelerated VB 2008 [electronic resource] / by Guy Fouche, Trey Nash. by Fouche, Guy Nash, Trey SpringerLink (Online service) Publication details: Berkeley, CA : Guy Fouche and Trey Nash, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Barnes, John SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5020 Publication details: Berlin, Heidelberg : John Barnes Informatics, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	6.	Advanced functional programming [electronic resource] : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. by AFP 2008 (2008 : Heijen, Netherlands) Koopman, Pieter Plasmeijer, Rinus Swierstra, Doaitse SpringerLink (Online service) Series: Lecture notes in computer science ; 5832 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: AFP 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	7.	Advances in software engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / edited by Egon Borger, Antonio Cisternino. by Lipari Summer School on Advances in Software Engineering (2007 : Lipari Island, Italy) Cisternino, Antonio Borger, Egon SpringerLink (Online service) Series: Lecture notes in computer science ; 5316 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	Advances in Software Engineering [electronic resource] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / edited by Dominik Slezak ... [et al.]. by International Conference on Advanced Software Engineering and Its Applications (2009 : Jeju Island, Korea) Slezak, Dominik SpringerLink (Online service) Series: Communications in computer and information science ; 59 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ASEA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	9.	The Agent Modeling Language--AML [electronic resource] : a comprehensive approach to modeling multi-agent systems / Radovan Cervenka, Ivan Trencansky. by Cervenka, Radovan Trencansky, Ivan SpringerLink (Online service) Series: Whitestein series in software agent technologies Publication details: Basel : Birkh{a}user Verlag AG, 2007 Other title: AML, the Agent Modeling Language In: Springer e-books Online resources: Click here to access online Availability: No items available.
	10.	Agent-oriented software engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / edited by Michael Luck, Jorge J. Gomez-Sanz. by AOSE 2008 (2008 : Estoril, Portugal) Luck, Michael Gomez-Sanz, Jorge J SpringerLink (Online service) Series: Lecture notes in computer science ; 5386 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: AOSE 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11.	Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. by International Seminar on Architecting Systems with Trustworthy Components (2004 : Dagstuhl Castle, Germany) Reussner, Ralf H Stafford, Judith A Szyperski, Clemens A SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3938 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	12.	Architectures for adaptive software systems [electronic resource] : 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister. by International Conference on the Quality of Software Architectures (5th : 2009 : East Stroudsburg, PA) Mirandola, Raffaela Gorton, Ian Hofmeister, Christine SpringerLink (Online service) Series: Lecture notes in computer science ; 5581 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: QOSA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	13.	Automata for branching and layered temporal structures [electronic resource] : an investigation into regularities of infinite transition systems / by Gabriele Puppis. by Puppis, Gabriele SpringerLink (Online service) Series: Lecture notes in computer science ; 5955 Publication details: Berlin, Heidelberg : Springer 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
	14.	Automated technology for verification and analysis [electronic resource] : 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / edited by Zhiming Liu, Anders P. Ravn. by ATVA 2009 (2009 : Macau, China) Liu, Zhiming Ravn, Anders P SpringerLink (Online service) Series: Lecture notes in computer science ; 5799 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ATVA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	15.	Automated Technology for Vertification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / edited by Susanne Graf, Wenhui Zhang. by ATVA 2006 (2006 : Beijing, China) Graf, Susanne Zhang, Wenhui SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4218 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	16.	Automatic Program Development [electronic resource] : A Tribute to Robert Paige / edited by Olivier Danvy ... [et al.]. by Danvy, Olivier SpringerLink (Online service) Publication details: Dordrecht : Springer Science + Business Media B. V, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	17.	Autonomics development [electronic resource] : a domain-specific aspect language approach / by Paul Soule. by Soule, Paul SpringerLink (Online service) Series: Autonomic systems Publication details: Basel : Springer Basel AG, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	18.	Beginning Apache Struts [electronic resource] : From Novice to Professional / by Arnold Doray. by Doray, Arnold SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	19.	Beginning ASP.NET 2.0 in C# 2005 [electronic resource] : From Novice to Professional / by Matthew MacDonald. by MacDonald, Matthew SpringerLink (Online service) Edition: 2. Publication details: Berkeley, CA : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20.	Beginning ASP.NET 2.0 in VB 2005 [electronic resource] : From Novice to Professional / by Matthew MacDonald. by MacDonald, Matthew SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.

1
2
3
4
5
6
7
8
9
10
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