Your search returned 6353 results.

Results
	801.	Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings [electronic resource] / edited by Bernhard Beckert. by TABLEAUX 2005 (2005 : Koblenz, Germany) Beckert, Bernhard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3702 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: TABLEAUX 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	802.	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.
	803.	Automated technology for verification and analysis [electronic resource] : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / Kedar S. Namjoshi ... [et al.] (eds.). by ATVA 2007 (2007 : Tokyo, Japan) Namjoshi, Kedar S SpringerLink (Online service) Series: Lecture notes in computer science ; 4762 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ATVA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	804.	Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [electronic resource] / edited by Doron A. Peled, Yih-Kuen Tsay. by ATVA 2005 (2005 : Taipei, Taiwan) Peled, Doron A Tsay, Yih-Kuen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3707 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: ATVA 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	805.	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.
	806.	Automatic Differentiation: Applications, Theory, and Implementations [electronic resource] / edited by Martin Bucker ...[et al.]. by International Conference on Automatic Differentiation (4th : 2004 : Chicago, Ill.) Bucker, Martin SpringerLink (Online service) Series: Lecture Notes in Computational Science and Engineering ; 50 Publication details: Berlin, Heidelberg : Springer, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	807.	Automating the design of data mining algorithms [electronic resource] : an evolutionary computation approach / by Gisele L. Pappa, Alex Freitas. by Pappa, Gisele L Freitas, Alex SpringerLink (Online service) Series: Natural computing series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	808.	Automotive Control Systems [electronic resource] : For Engine, Driveline, and Vehicle / by Uwe Kiencke, Lars Nielsen. by Kiencke, Uwe Nielsen, Lars SpringerLink (Online service) Edition: Second edition. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	809.	Automotive engines [electronic resource] : control, estimation, statistical detection / by Alexander A. Stotsky. by Stotsky, Alexander A SpringerLink (Online service) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	810.	Automotive Lighting and Human Vision [electronic resource] / by Burkard Wordenweber ... [et al.]. by Wordenweber, Burkard SpringerLink (Online service) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	811.	Automotive Production Systems and Standardisation [electronic resource] : From Ford to the Case of Mercedes-Benz / by Constanze Clarke. by Clarke, Constanze SpringerLink (Online service) Series: Contributions to Management Science Publication details: Heidelberg : Physica-Verlag Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	812.	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.
	813.	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.
	814.	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.
	815.	Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings / edited by Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua. by ATC 2007 (2007 : Hong Kong, China) Xiao, Bin SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4610 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	816.	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.
	817.	Autonomic computing and communications systems [electronic resource] : Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009 : revised selected papers / edited by Athanasius V. Vasilakos ... [et al.]. by International ICST Conference on Autonomic Computing and Communication Systems (3rd : 2009 : Limassol, Cyprus) Vasilakos, Athanasius V SpringerLink (Online service) Series: Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 23 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: Autonomics 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	818.	Autonomic Management of Mobile Multimedia Services [electronic resource] : 9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006, Proceedings / edited by Ahmed Helmy. by International Conference on Management of Multimedia Networks and Services (9th : 2006 : Dublin, Ireland) Helmy, Ahmed SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4267 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	819.	Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings / edited by Dominique Gaiti ... [et al.]. by AN 2006 (2006 : Paris, France) Gaiti, Dominique SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4195 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	820.	Autonomic Principles of IP Operations and Management [electronic resource] : 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / edited by Gerald Parr, David Malone, Micheal O Foghlu. by IEEE International Workshop on IP Operations and Management (6th : 2006 : Dublin, Ireland) Parr, Gerald Malone, David O Foghlu, Micheal SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4268 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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
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