Your search returned 3186 results.

Results
	541.	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.
	542.	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.
	543.	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.
	544.	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.
	545.	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.
	546.	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.
	547.	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.
	548.	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.
	549.	Automata theory / Igor Aleksander, F. Keith Hanna by Hanna, F. K Hanna, F. Keith Series: Computer systems engineering series Publication details: New York : Crane Russak, 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA276.A5. Place hold
	550.	No cover image available Automata theory : machines and languages / Richard Y. Kain by Kain, Richard Y Series: McGraw-Hill computer science series Publication details: New York : McGraw-Hill Book, 1972 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.K35. Place hold
	551.	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.
	552.	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.
	553.	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.
	554.	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.
	555.	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.
	556.	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.
	557.	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.
	558.	Automated reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / edited by Jurgen Giesl, Reiner Hahnle. by IJCAR 2010 (2010 : Edinburgh, Scotland) Giesl, Jurgen Hahnle, Reiner SpringerLink (Online service) Series: Lecture notes in computer science ; 6173 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: IJCAR 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	559.	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.
	560.	Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings [electronic resource] / edited by Nicola Olivetti. by TABLEAUX 2007 (2007 : Aix en Provence, France) Olivetti, Nicola SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4548 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.

First
Previous
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
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