Your search returned 2020 results.

Results
	1041.	Statistical and scientific database management: fourth International Conference SSDBM Rome, Italy, June 21-23, 1988 : proceedings / M. Rafanelli, J. C. Klensin, P. Svensson (eds.). by Rafanelli, M Svensson, P Klensin, J. C Series: Lecture notes in computer science ; 339. Publication details: Berlin: Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.D3S72. Place hold
	1042.	Symbolic and algebraic computation international symposium ISSAC'88, Rome, July 4-8,1988, proceedings ed. by P. Gianni by International Symposium ISSAC'88 (1988 : Rome) Gianni, P. (Patricia), 1952- Series: Lecture notes in computer science ; 358 Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.95.I57 1988, ... Place hold
	1043.	TEMPO a unified treatment of binding time and parameter passing concepts in programming languages Neil D. Jones, Steven S. Muchnick. by Jones, Neil D [author.] Muchnick, Steven S, 1945- [editor.] Series: Lecture notes in computer science ; 66 Publication details: Berlin: Springer-Verlag, 1978 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.T45. J66. Place hold
	1044.	Theory of program structures schemes, semantics, verification Sheila A. Greibach by Greibach, Sheila, 1939- Series: Lecture notes in computer science ; 36 Publication details: Berlin Springer-Verlag 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.G743 1975[00008033328]. Place hold
	1045.	Trees in algebra and programming, 6th Colloquium, Genoa ,March 5 7, 1981 proceedings edited by E.Astesians and C.Bohm by CAAP'81 (6th : 1981 : Genoa, Italy) Astesiano, E. (Egidio), 1939- Bohm, C. (Corrado), 1923- Series: Lecture notes in computer science ; 112 Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA166.2.C3 1981[00008034589]. Place hold
	1046.	Uncertainty in knowledge bases : 3rd International ... IPMU'90, Paris, July 2-6, 1990 proceedings / B. Bouchon-Meunier, R. R. Yager, L. A. Zadeh, editors by International Conference on Information Processing and Management of Uncertainty Knowledge Based System (3rd : 1990 : Paris, France) Zadeh, Lotfi Asker Yager, Ronald R, 1941- Bouchon-Meunier, B. (Bernadette), 1948- Series: Lecture notes in computer science ; 521 Publication details: Berlin: Springer-Verlag, 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: Q375.I58 1990, ... Place hold
	1047.	VLSI engineering beyond software engineering edited by Tosiyasu L. Kunii by Kunii, Toshiyasu Series: Lecture notes in computer science ; 163 Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TK7888.4.V58 3[00006004871]. Place hold
	1048.	Information security and privacy : 4th Australasian Conference, ACISP'99 Wollongong, NSW, Australia, April 1999 : proceedings / editors, Josef Pieprzyk, Rei Safavi-Naini, Jennifer Seberry by ACISP'99 (1999 : Wollongong, N.S.W.) Pieprzyk, Josef [editor.] Safavi-Naini, Reihanah [editor.] Seberry, Jennifer [editor.] Series: Lecture notes in computer science ; volume 1587. Publication details: Berlin : Springer, 1999 Availability: Items available for loan: PERPUSTAKAAN HOSPITAL CANSELOR TUANKU MUHRIZ (1)Call number: QA76.9.A25 A279 1999 9HUKM. Place hold
	1049.	Programing languages and systems : 8th European Symposium on Programming, ESOP'99, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 1999 : proceedings / S. Doaitse Swierstra (ed.) by European Symposium on Programming ( 8th : 1999 : Amsterdam, Netherlands ) Swierstra, S. Doaitse ETAPS'99 (1999 : Amsterdam, Netherlands) Series: Lecture notes in computer science ; v.1576 Publication details: Berlin : Springer, 1999 Availability: Items available for loan: PERPUSTAKAAN HOSPITAL CANSELOR TUANKU MUHRIZ (1)Call number: QA76.6.P962 1999 9HUKM. Place hold
	1050.	Text, Speech and Dialogue [electronic resource] : 5th International Conference, TSD 2002 Brno, Czech Republic, September 9-12, 2002 Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala. by Sojka, Petr Kopecek, Ivan Pala, Karel Series: Lecture Notes in Computer Science ; 2448 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: No items available.
	1051.	Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9-13, 2002 Proceedings / edited by Pascal Hentenryck. by Hentenryck, Pascal Series: Lecture Notes in Computer Science ; 2470 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: No items available.
	1052.	Reliable Software Technologies Ada-Europe 2002 [electronic resource] : 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17-21, 2002 Proceedings / edited by Johann Blieberger, Alfred Strohmeier. by Blieberger, Johann Strohmeier, Alfred Series: Lecture Notes in Computer Science ; 2361 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: No items available.
	1053.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt. by Beckert, Bernhard Hahnle, Reiner Schmitt, Peter H SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4334 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	1054.	Innovative Internet Community Systems (vol. # 3473) [electronic resource] : 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers / edited by Thomas Bohme ... [et al.]. by IICS 2004 (2004 : Guadalajara, Mexico) Bohme, Thomas SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3473 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	1055.	Visual Information and Information Systems [electronic resource] : 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers / edited by Stephane Bres, E. Allen Emerson, Robert Laurini. by VISUAL 2005 (2005 : Amsterdam, Netherlands) Bres, Stephane Emerson, E. Allen Laurini, Robert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3736 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1). Place hold
	1056.	The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk. by Wiedijk, Freek SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3600 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	1057.	Membrane Computing (vol. # 3850) [electronic resource] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / edited by Rudolph Freund ... [et al.]. by WMC 2005 (2005 : Vienna, Austria) Freund, Rudolph SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3850 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	1058.	Information Security Applications (vol. # 3786) [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Jooseok Song, Taekyoung Kwon. by WISA 2005 (2005 : Cheju-do, Korea) Song, Jooseok Kwon, Taekyoung SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3786 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	1059.	Implementation and Application of Automata (vol. # 3845) [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farre, Igor Litovsky, Sylvain Sch by CIAA 2005 (2005 : Sophia-Antipolis, France) Farre, Jacques Litovsky, Igor Schmitz, Sylvain SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3845 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	1060.	Topics in Cryptology -- CT-RSA 2006 [electronic resource] : The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings / edited by David Pointcheval. by Cryptographers' Track at RSA Conference (2006 : San Jose, Calif.) Pointcheval, David SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3860 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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
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