Your search returned 2491 results.

Results
	1.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W Brauer, W Rozenberg, G Salomaa, A SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Abstract state machines, Alloy, B and Z [electronic resource] : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / edited by Marc Frappier ... [et al.]. by ABZ 2010 (2010 : Orford, Quebec) Frappier, Marc SpringerLink (Online service) Series: Lecture notes in computer science ; 5977 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: ABZ 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Borger ... [et al.]. by ABZ 2008 (2008 : London, England) Borger, Egon SpringerLink (Online service) Series: lecture notes in computer science ; 5238 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle Morgan, Carroll SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5.	Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / edited by Carol Peters ... [et al.]. by Cross-Language Evaluation Forum. Workshop (6th : 2005 : Vienna, Austria) Peters, Carol, 1947- SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4022 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Active and programmable networks [electronic resource] : IFIP TC6 7th international working conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005 : revised papers / edited by David Hutchison ... [et al.]. by IWAN 2005 (2005 : Sophia-Antipolis, France) Hutchison, David SpringerLink (Online service) Series: Lecture notes in computer science ; 4388 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: IWAN 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	7.	Active media technology [electronic resource] : 5th international conference, AMT 2009, Beijing, China, October 22-24, 2009 : proceedings / edited by Jiming Liu ... [et al.]. by International Conference on Active Media Technology (5th : 2009 : Beijing, China) Liu, Jiming SpringerLink (Online service) Series: Lecture notes in computer science ; 5820 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: AMT 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	Active Mining [electronic resource] / Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers edited by Tsumoto, Shusaku ... [et al.]. by AM 2003 (2003 : Maebashi-shi, Japan) Tsumoto, Shusaku SpringerLink (Online service) International Symposium on Methodologies for Intelligent Systems (14th : 2003 : Maebashi-shi, Japan) Series: Lecture Notes in Computer Science ; 3430 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	9.	Active Networks [electronic resource] : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers / edited by Gary J. Minden. by IWAN 2004 (2004 : Lawrence, Kan.) Minden, Gary J SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3912 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	10.	Active RC filters : theory and applications / edited by L. P. Huelsman by Huelsman, L. P. (Lawrence P.) Series: Benchmark papers in electrical engineering and computer science ; v.15 Publication details: Hutchinson & Ross, Stroudsburg, Pa. : Dowden, 1976 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TK7872.F4A27. Place hold
	11.	Ad-hoc, mobile, and wireless networks [electronic resource] : 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / edited by Pedro M. Ruiz, Jose Joaquin Garcia-Luna-Aceves. by ADHOC-NOW 2009 (2009 : Murcia, Spain) Ruiz, Pedro M Garcia-Luna-Aceves, Jose Joaquin SpringerLink (Online service) Series: Lecture notes in computer science ; 5793 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	12.	Ad-Hoc, Mobile, and Wireless Networks : 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings [electronic resource] / edited by Edgar Chavez, Violet R. Syrotiuk. by ADHOC-NOW 2005 (2005 : Cancun, Mexico) Syrotiuk, Violet R Chavez, Edgar SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3738 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: ADHOC-NOW 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	13.	Ad-Hoc, Mobile, and Wireless Networks (vol. # 4104) [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006 Proceedings / edited by Thomas Kunz, S.S. Ravi. by ADHOC-NOW 2006 (2006 : Ottawa, Ont.) Kunz, Thomas Ravi, S.S SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4104 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	14.	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.
	15.	Ad-hoc, mobile, and wireless networks [electronic resource] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings / edited by David Coudert, David Simplot-Ryl, Ivan Stojmenovic. by ADHOC-NOW 2008 (2008 : Sophia-Antipolis, France) Coudert, David Simplot-Ryl, David Stojmenovic, Ivan SpringerLink (Online service) Series: Lecture notes in computer science ; 5198 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	16.	ADA : as a second language / Norman H. Cohen by Cohen, Norman H Series: McGraw-Hill series in computer science Edition: 2nd ed. Publication details: New York : McGraw-Hill Companies, 1995 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.A16C645. Place hold
	17.	Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Barnes, John SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5020 Publication details: Berlin, Heidelberg : John Barnes Informatics, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	18.	No cover image available The adaptation of virtual man-computer interface to user requirements in dialogs / Waltroud Dehning, Heidrun Essig, Susanne Maas by Dehning, Waltraud, 1952- Essig, Heidrun, 1950- Maas, Susanne, 1952- Series: Lecture notes in computer science ; 10 Publication details: Berlin : Springer-Verlag, 1981 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.I58D43. Place hold
	19.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome SpringerLink (Online service) Series: Monographs in Computer Science Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	20.	Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / edited by Karl Tuyls ... [et al.]. by ALAMAS 2005 (2005 : Paris, France) Tuyls, Karl SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4865 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

1
2
3
4
5
6
7
8
9
10
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