Your search returned 3186 results.

Results
	2321.	Formal methods and testing [electronic resource] : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). by Hierons, Robert M Bowen, J. P. (Jonathan Peter), 1956- Harman, Mark SpringerLink (Online service) Series: Lecture notes in computer science ; 4949 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2322.	Relations and Kleene algebra in computer science [electronic resource] : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Moller, Georg Struth (eds.). by International Seminar on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany) Berghammer, R. (Rudolf), 1952- Moller, Bernhard, 1953- Struth, Georg SpringerLink (Online service) International Workshop on Applications of Kleene Algebra (5th : 2008 : Frauenworth, Germany) Series: Lecture notes in computer science ; 4988 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: RelMiCS/AKA 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2323.	Progress in WWW research and development [electronic resource] : 10th Asia-Pacific web conference, APWEB 2008, Shenyang, China, April 26-28, 2008. proceedings / [edited by] Yanchun Zhang...[et al.]. by Zhang, Yanchun SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4976 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2324.	Research in computational molecular biology [electronic resource] : 12th annual international conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. proceedings / [edited by] Martin Vingron, Limsoon Wong. by Vingron, Martin Wong, Limsoon SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4955 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2325.	Tools and algorithms for the construction and analysis of systems [electronic resource] : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.). by TACAS 2008 (2008 : Budapest, Hungary) Ramakrishnan, C. R Rehof, Jakob SpringerLink (Online service) ETAPS 2008 (2008 : Budapest, Hungary) Series: Lecture notes in computer science ; 4963 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2326.	Latin 2008 [electronic resource] : theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / Eduardo Sany Laber ... [et al.], (eds.). by Latin American Symposium on Theoretical Informatics (8th : 2008 : Armacao dos Buzios, Brazil) Laber, Eduardo Sany SpringerLink (Online service) Series: Lecture notes in computer science ; 4957 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2327.	Programming languages and systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / Sophia Drossopoulou (ed.). by European Symposium on Programming (17th : 2008 : Budapest, Hungary) Drossopoulou, Sophia SpringerLink (Online service) ETAPS 2008 (2008 : Budapest, Hungary) Series: Lecture notes in computer science ; 4960 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2328.	Database systems for advanced applications [electronic resource] : 13th international conference, DASFAA 2008, New Delhi, India, March 19-21, 2008 : proceedings / Jayant R. Haritsa, Ramamohanarao Kotagiri, Vikram Pudi, (eds.). by International Conference on Database Systems for Advanced Applications (13th : 2008 : New Delhi, India) Haritsa, Jayant R Ramamohanarao, Kotagiri Pudi, Vikram SpringerLink (Online service) Series: Lecture notes in computer science ; 4947 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2329.	Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier Heljanko, Keijo SpringerLink (Online service) Series: Monographs in Theoretical Computer Science An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2330.	Temporal Logic and State Systems [electronic resource] / by Fred Kroger, Stephan Merz. by Kroger, Fred Merz, Stephan SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2331.	Information Security Practice and Experience [electronic resource] : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings / edited by Liqun Chen, Yi Mu, Willy Susilo. by ISPEC 2008 (2008 : Sydney, N.S.W.) Chen, Liqun Mu, Yi Susilo, Willy SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4991 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2332.	Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Eric Tanter. by International Symposium, SC 2008 (7th : 2008 : Budapest, Hungary) Pautasso, Cesare Tanter, Eric SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4954 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2333.	The Internet of Things [electronic resource] : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings / edited by Christian Floerkemeier ... [et al.]. by IOT 2008 (2008 : Zurich, Switzerland) Floerkemeier, Christian SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4952 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2334.	Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cedric Fournet. by TGC 2007 (2007 : Sophia-Antipolis, France) Barthe, Gilles Fournet, Cedric SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4912 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2335.	Virtual Systems and Multimedia [electronic resource] : 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers / edited by Theodor G. Wyeld ... [et al.]. by International Conference on Virtual Systems and MultiMedia (13th : 2007 : Brisbane, Qld.) Wyeld, Theodor G SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4820 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2336.	Privacy, Security, and Trust in KDD [electronic resource] : First ACM SIGKDD International Workshop, PinKDD 2007, San Jose, CA, USA, August 12, 2007, Revised Selected Papers / edited by Francesco Bonchi ... [et al.]. by Bonchi, Francesco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4890 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2337.	Telecommunications Modeling, Policy, and Technology [electronic resource] / edited by S. Raghavan, Bruce Golden, Edward Wasil. by Raghavan, S Golden, Bruce Wasil, Edward SpringerLink (Online service) Series: Operations Research/Computer Science Interfaces ; 44 Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2338.	Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications / edited by Luc Raedt ... [et al.]. by Raedt, Luc SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4911 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2339.	Theory of Cryptography [electronic resource] : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings / edited by Ran Canetti. by Theory of Cryptography Conference (5th : 2008 : New York, N.Y.) Canetti, Ran SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4948 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2340.	Public Key Cryptography ??PKC 2008 [electronic resource] : 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings / edited by Ronald Cramer. by International Workshop on Practice and Theory in Public Key Cryptography (11th : 2008 : Barcelona, Spain) Cramer, Ronald SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4939 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 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