Your search returned 1552 results.

Results
	341.	Automata, languages and programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. part I / edited by Samson Abramsky ... [et al.]. by International Colloquium on Automata, Languages, and Programming (37th : 2010 : Bordeaux, France) Abramsky, Samson SpringerLink (Online service) Series: Lecture notes in computer science ; 6198 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	342.	Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers edited by Hoon Hong, Dongming Wang. by European Workshop on Inductive Databases and Constraint Based Mining (2004 : Hinterzarten, Germany) Hong, Hoon Wang, Dongming SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3763 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	343.	Automated Nanohandling by Microrobots [electronic resource] / edited by Sergej Fatikow. by Fatikow, Sergej SpringerLink (Online service) Series: Springer Series in Advanced Manufacturing Publication details: London : Springer-Verlag London Limited, 2008 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	344.	Automated reasoning : 33 basic research problems / Larry Wos by Wos, Larry Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96W67. Place hold
	345.	Automated reasoning : introductions and applications / Larry Wos... (et al.) Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96A93. Place hold
	346.	Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by IJCAR 2006 (2006 : Seattle, Wash.) Furbach, Ulrich Shankar, Natarajan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4130 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	347.	Automated reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by IJCAR 2001 (2008 : Sydney, Australia) Armando, Alessandro Baumgartner, Peter Dowek, Gilles SpringerLink (Online service) Series: Lecture notes in computer science. Lecture notes in artificial intelligence, ; 5195 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	348.	Automated reasoning with analytic tableaux and related methods [electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / edited by Martin Giese, Arild Waaler. by TABLEAUX 2009 (2009 : Oslo, Norway) Giese, Martin Waaler, Arild SpringerLink (Online service) Series: Lecture notes in computer science ; 5607 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	349.	Automated technology for verification and analysis [electronic resource] : 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / edited by Zhiming Liu, Anders P. Ravn. by ATVA 2009 (2009 : Macau, China) Liu, Zhiming Ravn, Anders P SpringerLink (Online service) Series: Lecture notes in computer science ; 5799 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ATVA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	350.	Automatic diatom identification / editors; Hans du Buf, Micha M. Bayer by Buf, Hans du Bayer, Micha M Series: Series in machine perception and artificial intelligence ; vol. 51 Publication details: New Jersey : World Scientific, 2002 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QH324.25.A97. Place hold
	351.	Automatic speech recognition on mobile devices and over communication networks [electronic resource] / [edited by] Zheng-Hua Tan and Borge Lindberg. by Tan, Zheng-Hua Lindberg, Borge SpringerLink (Online service) Series: Advances in pattern recognition Publication details: London : Springer-Verlag London Limited, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	352.	Autonomous and autonomic systems [electronic resource] : with applications to NASA intelligent spacecraft operations and exploration systems / by Walt Truszkowski ... [et al.]. by Truszkowski, Walt SpringerLink (Online service) Series: NASA monographs in systems and software engineering Publication details: London : Springer-Verlag London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	353.	Axiomatic fuzzy set theory and its applications [electronic resource] / by Xiaodong Liu, Witold Pedrycz. by Liu, Xiaodong Pedrycz, Witold SpringerLink (Online service) Series: Studies in fuzziness and soft computing ; v.244 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	354.	Balanced automation systems for future manufacturing Networks [electronic resource] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010 : proceedings / edited by Angel Ortiz, Ruben Dario Franco, Pedro Gomez Gasquet. by IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (9th : 2010 : Valencia, Spain) Ortiz, Angel Franco, Ruben Dario Gasquet, Pedro Gomez SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 322 Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010 Other title: BASYS 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	355.	Bayesian Networks and Influence Diagrams [electronic resource] : A Guide to Construction and Analysis / by Uffe B. Kjarulff, Anders L. Madsen. by Kjarulff, Uffe B Madsen, Anders L SpringerLink (Online service) Series: Information Science and Statistics Publication details: New York, NY : Springer Science+Business Media, LLC, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	356.	Bee-inspired protocol engineering [electronic resource] : from nature to networks / by Muddassar Farooq. by Farooq, Muddassar SpringerLink (Online service) Series: Natural Computing Series Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	357.	No cover image available Behavior of stone column embedded in soft clays under embankment by using finite element and artificial intelligent methods / Qasim Adnan Aljanabi. by Aljanabi, Qasim Adnan [author.] Producer: 2014 Dissertation note: Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2014. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: TA760.A444 2014 3 tesis. Place hold
	358.	Behavioral mathematics for game AI / Dave Mark by Mark, Dave Publication details: Boston, MA : Course Technology/Cengage Learning, 2009 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.C672M377. Place hold
	359.	No cover image available Best effort resolution model for imperfect instance management using probabilistic network digital object approach / Ashraf G. H. Jaradat. by Jaradat, Ashraf G. H [author.] Producer: 2015 Dissertation note: Thesis (Ph.D.)- Universiti Kebangsaan Malaysia, 2015. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA273.J347 2015 3 tesis. Place hold
	360.	Bio-inspired Computing ? Theories and Applications [electronic resource] : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I / edited by Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang. by Gong, Maoguo [editor.] Pan, Linqiang [editor.] Song, Tao [editor.] Zhang, Gexiang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 681Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016 In: Springer e-books Online resources: Click here to access online Availability: No items available.

First
Previous
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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