Your search returned 6219 results.

Results
	5921.	Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings / edited by Manuel Kauers ... [et al.]. by Calculemus 2007 (2007 : Hagenberg im Muhlkreis, Austria) Kauers, Manuel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4573 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5922.	Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren ... [et al.]. by SELMAS 2006 (2006 : Shanghai, China) Choren, Ricardo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4408 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5923.	Reliable Software Technologies - Ada Europe 2007 [electronic resource] : 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007: Proceedings / edited by Nabil Abdennahder, Fabrice Kordon by Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland) Abdennahder, Nabil Kordon, Fabrice SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4498 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5924.	Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007: Proceedings / edited by Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore. by European Workshop on Security in Ad-Hoc and Sensor Networks (4th : 2007 : Cambridge, England) Stajano, Frank SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4572 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5925.	Universal Acess in Human Computer Interaction. Coping with Diversity [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007 :proceedings / edited by Constantine Stephanidis. by International Conference on Universal Access in Human-Computer Interaction (4th : 2007 : Beijing, China) Stephanidis, Constantine SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4554 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5926.	Ubiquitous Intelligence and Computing [electronic resource] : 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007: Proceedings / edited by Jadwiga Indulska ... [et al.]. by UIC 2007 (2007 : Hong Kong, China) Indulska, Jadwiga SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4611 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5927.	Web Engineering [electronic resource] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings / edited by Luciano Baresi, Piero Fraternali, Geert-Jan Houben. by ICWE 2007 (2007 : Como, Italy) Baresi, Luciano Fraternali, Piero Houben, Geert-Jan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4607 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5928.	Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by TAP 2007 (2007 : Zurich, Switzerland) Gurevich, Yuri Meyer, Bertrand SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4454 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	5929.	RoboCup 2006: Robot Soccer World Cup X [electronic resource] / edited by Gerhard Lakemeyer ... [et al.]. by RoboCup 2006 (2006 : Bremen, Germany) Lakemeyer, Gerhard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4434 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5930.	Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007: Proceedings / edited by Christopher Kruegel, Richard Lippmann, Andrew Clark. by RAID 2007 (2007 : Gold Coast, Qld.) Kruegel, Christopher Clark, Andrew Lippmann, Richard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4637 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5931.	Trust, Privacy and Security in Digital Business [electronic resource] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007: Proceedings / edited by Costas Lambrinoudakis, Gunther Pernul, A Min Tjoa. by TrustBus 2007 (2007 : Regensburg, Germany) Lambrinoudakis, Costas Pernul, Gunther Tjoa, A Min SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4657 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5932.	Selected Areas in Cryptography [electronic resource] : 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers / edited by Eli Biham, Amr M. Youssef. by SAC 2006 (2006 : Montreal, Quebec) Biham, Eli Youssef, Amr M SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4356 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5933.	Euro-Par 2007 Parallel Processing [electronic resource] : 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007: Proceedings / edited by Anne-Marie Kermarrec, Luc Bouge, Thierry Priol. by International EURO-PAR Conference (13th : 2007 : Rennes, France) Kermarrec, Anne-Marie Bouge, Luc Priol, Thierry SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4641 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5934.	Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. / edited by Grigoris Antoniou ... [et al.]. by Summer School on Reasoning Web (3rd : 2007 : Dresden, Germany) Antoniou, Grigoris SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4636 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5935.	Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings / edited by Evangelos Kranakis, Jaroslav Opatrny. by ADHOC-NOW 2007 (2007 : Morelia, Michoacan de Ocampo, Mexico) Kranakis, Evangelos Opatrny, Jaroslav SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4686 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5936.	UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings / edited by John Krumm ... [et al.]. by UbiComp 2007 (2007 : Innsbruck, Austria) Krumm, John SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4717 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5937.	Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007: Proceedings / edited by David Hutchison, Randy H. Katz. by IWSOS 2007 (2007 : Keswick, Cumbria, England) Hutchison, David Katz, Randy H SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4725 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5938.	Service-Oriented Computing - ICSOC 2007 [electronic resource] : Fifth International Conference, Vienna, Austria, September 17-20, 2007: Proceedings / edited by Bernd J. Kramer, Kwei-Jay Lin, Priya Narasimhan. by ICSOC 2007 (2007 : Vienna, Austria) Kramer, Bernd J Lin, Kwei-Jay Narasimhan, Priya SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4749 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5939.	SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. by SDL Forum (13th : 2007 : Paris, France) Gaudin, Emmanuel Najm, Elie Reed, Rick SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4745 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5940.	Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007: Proceedings / edited by Willem Jonker, Milan Petkovic. by SDM 2007 (2007 : Vienna, Austria) Jonker, Willem Petkovic, Milan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4721 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books 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