Your search returned 11283 results.

Results
	11141.	Formal techniques for distributed systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter. by International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal) Lee, David Lopes, Antonia Poetzsch-Heffter, Arnd SpringerLink (Online service) Series: Lecture notes in computer science ; 5522 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11142.	Software engineering for self-adaptive systems [electronic resource] / edited by Betty H.C. Cheng ... [et al.]. by Cheng, Betty H.C [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5525 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11143.	Pattern recognition and image analysis [electronic resource] : 4th Iberian conference, IbPRIA 2009, Povoa de Varzim, Portugal, June 10-12, 2009 : proceedings / edited by Helder Araujov ... [et al.]. by IbPRIA 2009 (2009 : Povoa de Varzim, Portugal) Araujo, Helder [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5524 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11144.	Frontiers in Algorithmics [electronic resource] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / edited by Xiaotie Deng, John E. Hopcroft, Jinyun Xue. by FAW 2009 (2009 : Hefei University of Technology) Deng, Xiaotie Hopcroft, John E Xue, Jinyun SpringerLink (Online service) Series: Lecture notes in computer science ; 5598 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11145.	Typed lambda calculi and applications [electronic resource] : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ edited by Pierre-Louis Curien. by International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilla, Brazil) Curien, Pierre-Louis SpringerLink (Online service) Series: Lecture notes in computer science ; 5608 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: TICA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11146.	Fuzzy logic and applications [electronic resource] : 8th international workshop, WILF 2009 Palermo, Italy, June 9 - 12, 2009 : proceedings / edited by Vito Di Gesu, Sankar Kumar Pal, Alfredo Petrosino. by International Workshop on Fuzzy Logic and Applications (8th : 2009 : Palermo, Italy) Di Gesu, Vito Pal, Sankar K Petrosino, Alfredo SpringerLink (Online service) Series: Lecture notes in computer science ; 5571 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11147.	Hybrid artificial intelligence systems [electronic resource] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009 : proceedings / edited by Emilio Corchado ... [et al.]. by International Workshop on Hybrid Artificial Intelligence Systems (4th : 2009 : Salamanca, Spain) Corchado, Emilio SpringerLink (Online service) Series: Lecture notes in computer science ; 5572 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11148.	Rewriting techniques and applications [electronic resource] : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / edited by Ralf Treinen. by International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasilia, Brazil) Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5595 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: RTA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11149.	Organized adaption in multi-agent systems [electronic resource] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / edited by George Vouros ... [et al.]. by OAMAS 2008 (2008 : Estoril, Portugal) Vouros, George A [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5368 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11150.	Progress in cryptology - AFRICACRYPT 2009 [electronic resource] : Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21 - 25, 2009 : Proceedings / edited by Bart Preneel. by International Conference on Cryptology in Africa (2nd : 2009 : Gammarth, Tunisia) Preneel, Bart [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5580 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11151.	Theory and practice of model transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / edited by Richard F. Paige. by ICMT 2009 (2009 : Zurich, Switzerland) Paige, Richard F SpringerLink (Online service) Series: Lecture notes in computer science ; 5563 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11152.	Types for proofs and programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro. by TYPES 2008 (2008 : Torino, Italy) Berardi, Stefano Damiani, Ferruccio De'Liguoro, Ugo SpringerLink (Online service) Series: Lecture notes in computer science ; 5497 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11153.	Future Multimedia Networking [electronic resource] : Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings / edited by Andreas Mauthe ... [et al.]. by FMN 2009 (2009 : Coimbra, Portugal) Mauthe, Andreas SpringerLink (Online service) Series: Lecture notes in computer science ; 5630 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FMN 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11154.	Information security and privacy [electronic resource] : 14th Australasian conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009 : proceedings / edited by Colin Boyd, Juan Gonzalez Nieto. by ACISP 2009 (2009 : Queensland University of Technology) Boyd, Colin Gonzalez Nieto, Juan SpringerLink (Online service) Series: Lecture notes in computer science ; 5594 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11155.	Scalability of networks and services [electronic resource] : third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, Enschede, The Netherlands, June 30 - July 2, 2009 : proceedings / edited by Ramin Sadre, Aiko Pras. by International Conference on Autonomous Infrastructure, Management and Security (3rd : 2009 : Enschade, Netherlands) Sadre, Ramin [editor.] Pras, Aiko [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5637 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: AIMS 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11156.	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.
	11157.	Web engineering [electronic resource] : 9th international conference, ICWE 2009, San Sebastian, Spain, June 24-26 2009 : proceedings / edited by Martin Gaedke, Michael Grossniklaus, Oscar Diaz. by ICWE 2009 (2009 : San Sebastian, Spain) Gaedke, Martin Grossniklaus, Michael Diaz, Oscar SpringerLink (Online service) Series: Lecture notes in computer science ; 5648 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11158.	RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / edited by Luca Iocchi ... [et al.]. by RoboCup 2008 (2008 : Suzhou, Jiangsu Sheng, China) Iocchi, Luca [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5399 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: Robot Soccer World Cup XII In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11159.	Tests and proofs [electronic resource] : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / edited by Catherine Dubois. by TAP 2009 (2009 : Eidgenossische Technische Hochschule Zurich, Switzerland) Dubois, Catherine SpringerLink (Online service) Series: Lecture notes in computer science ; 5668 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.T48 T172 2009. Place hold
	11160.	Rough sets and knowledge technology [electronic resource] : 4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / edited by Peng Wen ... [et al.]. by RSKT 2009 (2009 : Gold Coast, Qld.) Wen, Peng [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5589 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

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