Your search returned 2020 results.

Results
	481.	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.
	482.	Automated reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / edited by Jurgen Giesl, Reiner Hahnle. by IJCAR 2010 (2010 : Edinburgh, Scotland) Giesl, Jurgen Hahnle, Reiner SpringerLink (Online service) Series: Lecture notes in computer science ; 6173 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: IJCAR 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	483.	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.
	484.	Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings [electronic resource] / edited by Nicola Olivetti. by TABLEAUX 2007 (2007 : Aix en Provence, France) Olivetti, Nicola SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4548 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	485.	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.
	486.	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.
	487.	Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings [electronic resource] / 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.
	488.	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.
	489.	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.
	490.	Automatic differentiation techniques and applications Louis B.Rall by Rall, Louis B Series: Lecture notes in computer science ; 120 Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA304.R34[00008036428]. Place hold
	491.	Automatic verification methods for finite state systems International Workshop, Grenoble, France, June 12-14, 1989, proceedings J.Sifakis (ed.) by Sifakis, J Series: Lecture notes in computer science ; 407 Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TK5105.5.A97 3 (00006004259). Place hold
	492.	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.
	493.	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.
	494.	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.
	495.	Autonomic and Trusted Computing : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings [electronic resource] / 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.
	496.	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.
	497.	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.
	498.	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.
	499.	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.
	500.	Autonomous intelligent systems : agents and data mining : second international workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007 : proceedings [electronic resource] / Vladimir Gorodetsky ... [et al.] (eds.). by AIS-ADM 2007 (2007 : Saint Petersburg, Russia) Gorodetski, Vladimir I, 1937- SpringerLink (Online service) Series: Lecture notes in computer science ; 4476. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: Agents and data mining AIS-ADM 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.

First
Previous
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
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