Your search returned 6378 results.

Results
	781.	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.
	782.	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.
	783.	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.
	784.	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.
	785.	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.
	786.	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.
	787.	Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007: Proceedings / 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.
	788.	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.
	789.	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.
	790.	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.
	791.	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.
	792.	Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / 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.
	793.	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.
	794.	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.
	795.	Automated deduction in geometry [electronic resource] : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers / 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.
	796.	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.
	797.	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.
	798.	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.
	799.	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.
	800.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings / 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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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