Your search returned 2199 results.

Results
	221.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto ... [et al.]. by International Colloquium on Automata, Languages, and Programming (35th : 2008 : Reykjavik, Iceland) Aceto, Luca SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5125 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	222.	Automata, Languages and Programming : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings [electronic resource] / edited by Lars Arge ... [et al.]. by International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroc;law, Poland) Arge, Lars SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4596 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	223.	Automata, languages and programming [electronic resource] : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings. Part I / edited by Susanne Albers ... [et al.]. by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) Albers, Susanne SpringerLink (Online service) Series: Lecture notes in computer science ; 5555 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	224.	Automata, languages and programming [electronic resource] : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings. Part II / edited by Susanne Albers ... [et al.]. by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) Albers, Susanne SpringerLink (Online service) Series: Lecture notes in computer science ; 5556 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: ICALP 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	225.	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.
	226.	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.
	227.	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.
	228.	Automated Smith chart software and user's manual / Leonard M. Schwab; C language translation by Neil Montague by Schwab, Leonard M Publication details: Boston : Artech House, 1991 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TK153.S33 3. Place hold
	229.	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.
	230.	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.
	231.	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.
	232.	Automating code and documentation management (CDM) the intelligent guidaance of change Margaret E. Singleton by Singleton, Margaret E Publication details: Inc., Englewood Cliffs, N. J. A Reston Book By Prentice-Hall 1987 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.754.S56 3 [00006002404]. Place hold
	233.	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.
	234.	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.
	235.	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.
	236.	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.
	237.	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.
	238.	Autonomous agents and multi-agent systems : explorations in learning, self-organization, and adaptive computation / Jiming Liu. by Liu, Jiming, 1962- Publication details: Singapore ; River Edge, N.J. : World Scientific, 2001 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.I58L583. Place hold
	239.	Autonomous and autonomic systems [electronic resource] : with applications to NASA intelligent spacecraft operations and exploration systems / by Walt Truszkowski ... [et al.]. by Truszkowski, Walt SpringerLink (Online service) Series: NASA monographs in systems and software engineering Publication details: London : Springer-Verlag London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	240.	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
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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