Your search returned 2020 results.

Results
	461.	Attention in cognitive systems [electronic resource] : 5th international workshop on attention in cognitive systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers / edited by Lucas Paletta, John K. Tsotsos. by International Workshop on Attention in Cognitive Systems (5th : 2008 : Thera, Greece) Paletta, Lucas Tsotsos, John K SpringerLink (Online service) Series: Lecture notes in computer science ; 5395 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	462.	Attribute grammars and their applications International Conference WAGA Paris, France, September 19-21, 1990 proceedings P.Deransart, M.Jourdan editors by Deransart, Pierre Jourdan, Martin, 1959- Series: Lecture notes in computer science ; 461 Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.7.A78. Place hold
	463.	Auditory display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009 : revised papers / edited by Solvi Ystad ... [et al.]. by Computer Music Modeling and Retrieval Symposium (6th : 2009 : Copenhagen, Denmark) Ystad, Solvi SpringerLink (Online service) Series: Lecture notes in computer science ; 5954 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	464.	Automata for branching and layered temporal structures [electronic resource] : an investigation into regularities of infinite transition systems / by Gabriele Puppis. by Puppis, Gabriele SpringerLink (Online service) Series: Lecture notes in computer science ; 5955 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	465.	Automata, Languages and Programming (vol. # 4051) [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings. Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegene by International Colloquium on Automata, Languages, and Programming (33rd : 2006 : Venice, Italy) Bugliesi, Michele SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4051 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	466.	Automata, Languages and Programming (vol. # 4052) [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings. Part II / edited by Michele Bugliesi ... [et al.]. by International Colloquium on Automata, Languages, and Programming (33rd : 2006 : Venice, Italy) Bugliesi, Michele SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4052 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	467.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto ... [et al.]. by International Colloquium on Automata, Languages, and Programming (35th : 2008 : Reykjavik, Iceland) Aceto, Luca SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5126 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	468.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto ... [et al.]. by International Colloquium on Automata, Languages, and Programming (35th : 2008 : Reykjavik, Iceland) Aceto, Luca SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5125 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	469.	Automata, languages and programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. part II / 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 ; 6199 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: ICALP 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	470.	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.
	471.	Automata, Languages and Programming : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings [electronic resource] / edited by Lars Arge ... [et al.]. by International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroc;law, Poland) Arge, Lars SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4596 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	472.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi. by International Colloquium on Automata, Languages, and Programming (32nd : 2005 : Lisbon, Portugal) Caires, Luis SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3580 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	473.	Automata, languages and programming [electronic resource] : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings. Part I / edited by Susanne Albers ... [et al.]. by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) Albers, Susanne SpringerLink (Online service) Series: Lecture notes in computer science ; 5555 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	474.	Automata, languages and programming [electronic resource] : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings. Part II / edited by Susanne Albers ... [et al.]. by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) Albers, Susanne SpringerLink (Online service) Series: Lecture notes in computer science ; 5556 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: ICALP 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	475.	Automated Deduction - CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / edited by Robert Nieuwenhuis. by International Conference on Automated Deduction (20th : 2005 : Tallinn, Estonia) Nieuwenhuis, Robert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3632 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	476.	Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings [electronic resource] / edited by Frank Pfenning. by International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) Pfenning, Frank SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4603 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	477.	Automated deduction - CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / edited by Renate A. Schmidt. by International Conference on Automated Deduction (22nd : 2009 : Montreal, Quebec) Schmidt, Renate A SpringerLink (Online service) Series: Lecture notes in computer science ; 5663 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: CADE-22 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	478.	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.
	479.	Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers [electronic resource] / Francisco Botana, Tomas Recio (eds.). by International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain) Botana, Francisco Recio, T. (Tomas), 1949- SpringerLink (Online service) Series: LNCS sublibrary. SL 7, Artificial intelligence \| Lecture notes in computer science ; 4869. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ADG 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	480.	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.

First
Previous
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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