Your search returned 212 results.

Results
	1.	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.
	2.	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.
	3.	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.
	4.	Advanced functional programming [electronic resource] : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. by AFP 2008 (2008 : Heijen, Netherlands) Koopman, Pieter Plasmeijer, Rinus Swierstra, Doaitse SpringerLink (Online service) Series: Lecture notes in computer science ; 5832 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: AFP 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	Advanced intelligent computing theories and applications [electronic resource] : With Aspects of Artificial Intelligence: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / edited by De-Shuang Huang ... [et al.]. by International Conference on Intelligent Computing (4th : 2008 : Shanghai, China) Huang, De-Shuang SpringerLink (Online service) Series: Lecture notes in computer science ; 5227 \| Lecture notes in computer science. Lecture notes in artificial intelligence Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	6.	Advances in Case-Based Reasoning [electronic resource] : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings / edited by Susan Craw, Alun Preece. by Craw, Susan Preece, Alun Series: Lecture Notes in Computer Science ; 2416 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: No items available.
	7.	Advances in Case-Based Reasoning [electronic resource] : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings / Klaus-Dieter Althoff ... [et al.] (eds.). by ECCBR (Conference) (9th : 2008 : Trier, Germany) Althoff, Klaus-Dieter SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5239 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	Advances in Natural Language Processing [electronic resource] : 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings / Bengt Nordstrom, Aarne Ranta (eds.). by GoTAL 2008 (6th : 2008 : Gothenburg, Sweden) Nordstrom, Bengt Ranta, Aarne SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5221 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: GoTAL 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	9.	Agents for games and simulations [electronic resource] : trends in techniques, concepts and design / edited by Frank Dignum ... [et al.]. by International Workshop on Agents for Games and Simulations (1st : 2009 : Budapest, Hungary) Dignum, Frank SpringerLink (Online service) Series: Lecture notes in computer science ; 5920 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	10.	AI 2005: Advances in Artificial Intelligence : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings [electronic resource] / edited by Ray Jarvis, Shichao Zhang. by Australian Joint Conference on Artificial Intelligence (18th : 2005 : Sydney, N.S.W.) Zhang, Shichao Jarvis, Ray SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3809 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: Advances in artificial intelligence 18th Australian Joint Conference on Artificial Intelligence Australian Joint Conference on Artificial Intelligence In: Springer e-books Online resources: Click here to access online Availability: No items available.
	11.	AI 2008: advances in artificial intelligence [electronic resource] : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008, proceedings / edited by Wayne Wobcke, Mengjie Zhang. by Australasian Joint Conference on Artificial Intelligence (21st : 2008 : Auckland, N.Z.) Zhang, Mengjie Wobcke, Wayne SpringerLink (Online service) Series: Lecture notes in computer science ; 5360 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	12.	AI 2009 [electronic resource] : advances in artificial intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009 : proceedings / edited by Ann Nicholson, Xiaodong Li. by Australasian Joint Conference on Artificial Intelligence (22nd : 2009 : Melbourne, Vic.) Nicholson, Ann Li, Xiaodong SpringerLink (Online service) Series: Lecture notes in computer science ; 5866 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	13.	AI*IA 2009 [electronic resource] : Emergent Perspectives in Artificial Intelligence : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 : proceedings / edited by Roberto Serra, Rita Cucchiara. by Associazione italiana per l'intelligenza artificiale. Congress (11th : 2009 : Reggio Emilia, Italy) Serra, Roberto Cucchiara, Rita SpringerLink (Online service) Series: Lecture notes in computer science ; 5883 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	14.	Algebra and coalgebra in computer science [electronic resource] : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. by CALCO 2009 (2009 : Udine, Italy) Kurz, Alexander Lenisa, Marina Tarlecki, Andrzej SpringerLink (Online service) Series: Lecture notes in computer science ; 5728 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	15.	Algebraic Biology [electronic resource] : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / Katsuhisa Horimoto ... [et al.](ed.). by AB 2008 (2008 : Hagenberg im Muhlkreis, Austria) Horimoto, Katsuhisa SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5147 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	16.	Algebraic informatics [electronic resource] : third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / edited by Symeon Bozapalidis, George Rahonis. by CAI 2009 (2009 : Thessalonike, Greece) Bozapalidis, Symeon Rahonis, George SpringerLink (Online service) Series: Lecture notes in computer science ; 5725 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	17.	Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by Jose Meseguer, Grigore Rosu. by International Conference on Algebraic Methodology and Software Technology (12th : 2008 : Urbana, Ill.) Meseguer, Jose Rosu, Grigore SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5140 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Other title: AMAST 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	18.	Algorithm theory - SWAT 2010 [electronic resource] : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings / edited by Haim Kaplan. by Scandinavian Workshop on Algorithm Theory (12th : 2010 : Bergen, Norway) Kaplan, Haim SpringerLink (Online service) Series: Lecture notes in computer science ; 6139 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: SWAT 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	19.	Algorithmic aspects in information and management [electronic resource] : 5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings / edited by Andrew V. Goldberg, Yunhong Zhou. by AAIM 2009 (2009 : San Francisco, Calif.) Goldberg, Andrew V Zhou, Yunhong SpringerLink (Online service) Series: Lecture notes in computer science ; 5564 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	20.	Algorithmic decision theory [electronic resource] : first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / edited by Francesca Rossi, Alexis Tsoukias. by ADT 2009 (2009 : Venice, Italy) Rossi, Francesca Tsoukias, Alexis SpringerLink (Online service) Series: Lecture notes in computer science ; 5783 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ADT 2009 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