Your search returned 584 results.

Results
	181.	Finite automata and application to cryptography [electronic resource] / by Renji Tao. by Tao, Renji SpringerLink (Online service) 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: ebook. Place hold
	182.	Formal aspects in security and trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / edited by Pierpaolo Degano, Joshua D. Guttman. by FAST 2009 (2009 : Eindhoven, Netherlands) Degano, Pierpaolo Guttman, Joshua D SpringerLink (Online service) Series: Lecture notes in computer science ; 5983 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	183.	Formal aspects in security and trust [electronic resource] : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli. by FAST 2008 (2008 : Malaga, Spain) Degano, Pierpaolo Guttman, Joshua Martinelli, Fabio SpringerLink (Online service) Series: Lecture notes in computer science ; 5491 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FAST 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	184.	Formal Aspects in Security and Trust (vol. # 3866) [electronic resource] : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos ... [et al.]. by FAST 2005 (2005 : Newcastle upon Tyne, England) Dimitrakos, Theo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3866 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	185.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / edited by Andras Horvath, Miklos Telek. by EPEW 2006 (2006 : Budapest, Hungary) Horvath, Andras Telek, Miklos SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4054 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	186.	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / edited by Marco Bernardo, Alessandro Cimatti. by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Bernardo, Marco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3965 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	187.	Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy) Gorrieri, Roberto Wehrheim, Heike SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4037 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	188.	Formal techniques for distributed systems [electronic resource] : Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / edited by John Hatcliff, Elena Zucca. by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands) Hatcliff, John Zucca, Elena SpringerLink (Online service) Series: Lecture notes in computer science ; 6117 Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	189.	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.
	190.	Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / edited by Elie Najm, Veronique, Donzeau-Gouge,Jean-Francois Pradat-Peyre. by FORTE 2006 (2006 : Paris, France) Najm, Elie Donzeau-Gouge, Veronique Pradat-Peyre, Jean-Francois SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4229 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	191.	Foundations and applications of security analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / edited by Pierpaolo Degano, Luca Vigano. by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England) Degano, Pierpaolo Vigano, Luca SpringerLink (Online service) Series: Lecture notes in computer science ; 5511 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	192.	Foundations of Computer Security [electronic resource] / by David Salomon. by Salomon, David SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	193.	Foundations of computer software [electronic resource] : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / edited by Christine Choppy, Oleg Sokolsky. by Monterey Workshop (15th : 2008 Budapest, Hungary) Choppy, Christine Sokolsky, Oleg SpringerLink (Online service) Series: Lecture notes in computer science ; 6028 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	194.	Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto Barthe, Gilles SpringerLink (Online service) Series: Lecture notes in computer science ; 5705 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	195.	From P2P and grids to services on the web [electronic resource] : bevolving distributed communities / A. J. Sammes, Ian J. Taylor, Andrew B. Harrison. by Taylor, Ian J Sammes, A. J SpringerLink (Online service) Series: Computer communications and networks Edition: 2nd ed. Publication details: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	196.	From P2P to Web Services and Grids [electronic resource] : Peers in a Client/Server World / by Ian J. Taylor. by Taylor, Ian J SpringerLink (Online service) Series: Computer Communications and Networks Publication details: London : Springer-Verlag London Limited, 2005 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
	197.	From Specification to Embedded Systems Application [electronic resource] / edited by Franz J. Rammig, Achim Rettberg, Mauro C. Zanella. by IFIP TC10 Working Conference: International Embedded Systems Symposium (2005 : Manaus, Brazil) Rammig, Franz J Rettberg, Achim Zanella, Mauro C SpringerLink (Online service) Series: IFIP International Federation for Information Proc ; 184 Publication details: Norwell, MA : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	198.	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.
	199.	Frontiers of High Performance Computing and Networking ? ISPA 2006 Workshops [electronic resource] : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006 : proceedings / edited by Geyong Min ... [et al.]. by ISPA 2006 (2006 : Sorrento, Italy) Min, Geyong SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4331 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	200.	Frontiers of WWW Research and Development -- APWeb 2006 [electronic resource] : 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings / edited by Xiaofang ZhouJianzhong Li ... [et al.]. by Asia-Pacific Web Conference (8th : 2006 : Harbin, China) Zhou, Xiaofang SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3841 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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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