Your search returned 782 results.

Results
	81.	Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by IJCAR 2006 (2006 : Seattle, Wash.) Furbach, Ulrich Shankar, Natarajan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4130 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	82.	Automated reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by IJCAR 2001 (2008 : Sydney, Australia) Armando, Alessandro Baumgartner, Peter Dowek, Gilles SpringerLink (Online service) Series: Lecture notes in computer science. Lecture notes in artificial intelligence, ; 5195 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	83.	Automated reasoning with analytic tableaux and related methods [electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / edited by Martin Giese, Arild Waaler. by TABLEAUX 2009 (2009 : Oslo, Norway) Giese, Martin Waaler, Arild SpringerLink (Online service) Series: Lecture notes in computer science ; 5607 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	84.	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.
	85.	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.
	86.	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.
	87.	Automotive Software- Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf Kruger, Michael. by Automotive Software Workshop (1st : 2004 : San Diego, Calif.) Broy, Manfred Kruger, Ingolf Meisinger, Michael SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4147 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	88.	Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 / edited by Laurence T. Yang ... [et al.]. by ATC 2006 (2006 : Wuhan, China) Yang, Laurence T SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4158 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	89.	Autonomic and Trusted Computing [electronic resource] : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings / edited by Chunming Rong ...[et al.]. by ATC 2007 (2008 : Oslo, Norway) Rong, Chunming SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5060 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: ATC 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	90.	Autonomic and trusted computing [electronic resource] : 6th international conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 ; proceedings / edited by Juan Gonzalez Nieto ... [et al.]. by ATC 2009 (2009 : Brisbane, Qld.) Gonzalez Nieto, Juan SpringerLink (Online service) Series: Lecture notes in computer science ; 5586 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	91.	B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / edited by Jacques Julliand, Olga Kouchnarenko. by International B Conference (7th : 2007 : Besancon, France) Julliand, Jacques Kouchnarenko, Olga SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4355 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	92.	Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.). by IFIP TC 2 Central and East European Conference on Software Engineering Techniques (2nd : 2007 : Poznac, Poland) Meyer, Bertrand, 1950- Nawrocki, Jerzy R Walter, Bartosz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5082 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	93.	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.
	94.	Beginning Java EE 5 [electronic resource] : From Novice to Professional / by Kevin Mukhar, Chris Zelenak, James L. Weaver, Jim Crume. by Mukhar, Kevin Zelenak, Chris Weaver, James L Crume, Jim SpringerLink (Online service) Publication details: Berkeley, CA : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	95.	Beginning POJOs [electronic resource] : From Novice to Professional / by Brian Sam-Bodden. by Sam-Bodden, Brian 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.
	96.	The Best Software Writing I [electronic resource] / [selected and introduced by] Joel Spolsky. by Spolsky, Joel SpringerLink (Online service) Publication details: Berkeley, CA : Apress, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	97.	Beyond loop level parallelism in OpenMP [electronic resource] : accelerators, tasking and more : 6th international workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 : proceedings / edited by Mitsuhisa Sato ... [et al.]. by IWOMP 2010 (2010 : Tsukuba, Japan) Sato, Mitsuhisa SpringerLink (Online service) Series: Lecture notes in computer science ; 6132 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	98.	Bioinformatics software engineering : delivering effective applications / Paul Weston by Weston, Paul Publication details: Chichester, West Sussex, England : John Wiley, 2004 Online resources: Table of contents Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QH324.2.W476. Place hold
	99.	Breakthroughs in software science and computational intelligence [electronic resource] / Yingxu Wang, editor. by Wang, Yingxu IGI Global Publisher: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2012 In: IGI Global e-books Online resources: Click here to access online Availability: No items available.
	100.	Building Online Communities with Drupal, phpBB, and WordPress [electronic resource] / by Robert T. Douglass, Mike Little, Jared W. Smith. by Douglass, Robert T Little, Mike Smith, Jared W 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
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