Home
Advanced search
Results of search for 'an:6462', page 1 of 2

Refine your search

Availability
- Limit to records with available items
Authors
- Abramsky, Samson 1
- ABZ 2010 1
- Aceto, Luca 3
- Albers, Susanne 1
- Archibald, Margaret 1
- CIAA (Conference) 7
- Czumaj, Artur 2
- Domaratzki, Michael 2
- European Association for Theoretical Computer Science 3
- Fernau, Henning 2
- Henzinger, Monika 2
- Horia Dediu, Adrian 5
- International Colloquium on Automata, Languages, and Programming 10
- LATA (Conference) 5
- Martin Vide, Carlos 6
- Mehlhorn, Kurt 2
- Pitts, Andrew 2
- Salomaa, Kai 2
- Sgall, Jiri 2
- Wattenhofer, Roger 2
- Show more
- Show less
Item types
- e-Book 25
Locations
- EBOOK 2
- Web 24
Series
Topics
- Artificial intelligence 1
- B method (Computer science) 1
- Computational complexity 1
- Computer programming 10
- Conference proceedings, published 21
- Congresses 25
- Formal languages 12
- Logic, Symbolic and mathematical 1
- Machine theory 25
- Mathematical linguistics 6
- Programming 1
- Programming languages (Electronic computers) 4
- Robotics 2
- Robots 1
- Z (Computer program language) 1
- Show more
- Show less
Collections
- E-Book Collection 25
Holding libraries
- M. Kamal Hassan Library 25
Home libraries
- M. Kamal Hassan Library 25
Languages
- English 25

Your search returned 25 results.

Not what you expected? Check for suggestions

Sort

1
2
Next
Last

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

Image from Google Jackets

Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / Marc Frappier [and four others] (Editors) by

ABZ 2010 Orford, Québec) (2010
Frappier, Marc [editor]

Online resources:

Click here to access online

Availability: Items available for reference: M. Kamal Hassan Library: Not for loan (1)Location, call number: EBOOK eb QA 267 A164F 2010.

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings / Susanne Albers ... [et al.] (editors) by

International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece)
Albers, Susanne [editor]

Other title:

ICALP 2009

Online resources:

SpringerLink Connect to part 2
SpringerLink Connect to part 1

Availability: Not available: M. Kamal Hassan Library: Online Access (2).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and applications of automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedings / Oscar H. Ibarra, Bala Ravikumar (editors) by

CIAA (Conference) (13th : 2008 : San Francisco State University)
Ravikumar, Bala [editor]
Ibarra, Oscar H [editor]

Other title:

CIAA 2008

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and application of automata : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / Sebastian Maneth (editor) by

CIAA (Conference) (14th : 2009 : University of New South Wales)
Maneth, Sebastian [editor]

Other title:

CIAA 2009

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and application of automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : proceedings / Stavros Konstantinidis (editor) by

CIAA (Conference) (18th : 2013 : Halifax, N.S.)
Konstantinidis, Stavros [editor]

Other title:

CIAA 2013

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / Michael Domaratzki, Kai Salomaa (editors) by

CIAA (Conference) (15th : 2010 : Winnipeg, Man.)
Domaratzki, Michael [editor]
Salomaa, Kai [editor]

Other title:

CIAA 2010

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and application of automata : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers / Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu (editors) by

CIAA (Conference) (9th : 2004 : Kingston, Ontario)
Domaratzki, Michael [editor]
Okhotin, Alexander [editor]
Salomaa, Kai [editor]
Yu, Sheng [editor]

Other title:

CIAA 2004

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Part II / Luca Aceto, Monika Henzinger, Jiri Sgall (editors) by

International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)
Aceto, Luca [editor]
Henzinger, Monika [editor]
Sgall, Jiri, 1965- [editor]

Other title:

ICALP 2011

Online resources:

SpringerLINK Connect to resource

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and application of automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / Nelma Moreira, Rogerio Reis (editors) by

CIAA (Conference) (17th : 2012 : Porto, Portugal)
Moreira, Nelma [editor]
Reis, Rogerio [editor]

Other title:

CIAA 2012

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automata, languages and programming : 34th international colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (editors) by

International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroclaw, Poland)
Arge, L. (Lars) [editor]
Cachin, Christian [editor]
European Association for Theoretical Computer Science

Other title:

ICALP 2007

Online resources:

Click here to access online

Availability: Items available for reference: M. Kamal Hassan Library: Not for loan (1)Location, call number: EBOOK XX(432622.1). Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Implementation and application of automata : 16th International Conference, CIAA 2011, Blois, France, July 13 – 16, 2011 : proceedings / Beatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel (editors) by

CIAA (Conference) (16th : 2011 : Blois, France)
Bouchou-Markhoff, Beatrice [editor]
Caron, Pascal [editor]
Champarnaud, Jean-Marc [editor]
Maurel, Denis [editor]

Other title:

CIAA 2011

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / Adrian-Horia Dediu, Henning Fernau, Carlos Martin-Vide (editors) by

LATA 2010 (2010 : Trier, Germany)
Horia Dediu, Adrian [editor]
Fernau, Henning, 1965- [editor]
Martin Vide, Carlos [editor]

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings. Part I / Luca Aceto, Monika Henzinger, Jiri Sgall (editors) by

International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)
Aceto, Luca [editor]
Henzinger, Monika [editor]
Sgall, Jiri, 1965- [editor]

Other title:

ICALP 2011

Online resources:

SpringerLINK Connect to resource

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings / Luca Aceto ... [et al.] (editors) by

International Colloquium on Automata, Languages, and Programming Reykjavic, Iceland.) 2008 : (35th
Aceto, Luca [editor]
Damgard, Ivan [editor]
Goldberg, Leslie Ann [editor]
Halldorsson, Magnús M [editor]

Other title:

ICALP 2008

Online resources:

part 1
part 2

Availability: Not available: M. Kamal Hassan Library: Online Access (2).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Language and automata theory and applications : 7th international conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (editors) by

LATA (Conference) (7th : 2013 : Bilbao, Spain)
Horia Dediu, Adrian [editor]
Martin Vide, Carlos [editor]
Truthe, Bianca [editor]

Other title:

LATA 2013

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Language and automata theory and applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings / Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martin-Vide (editors) by

LATA (Conference) (5th : 2011 : Tarragona, Spain)
Horia Dediu, Adrian [editor]
Inenaga, Shunsuke [editor]
Martin Vide, Carlos [editor]

Other title:

LATA 2011

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / Adrian-Horia Dediu, Carlos Martin-Vide (editors) by

LATA (Conference) (6th : 2012 : La Coruna, Spain)
Horia Dediu, Adrian [editor]
Martin Vide, Carlos [editor]

Other title:

LATA 2012

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 : revised papers / Carlos Martin-Vide, Friedrich Otto, Henning Fernau (editors) by

LATA (Conference) (2nd : 2008 : Tarragona, Spain)
Martin Vide, Carlos [editor]
Otto, Friedrich [editor]
Fernau, Henning, 1965- [editor]

Other title:

LATA 2008

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi ... [et al.] (editors) by

International Colloquium on Automata, Languages, and Programming Venice, Italy) 2006 : (33rd
Bugliesi, Michele [editor]
Preneel, Bart [editor]
Sassone, Vladimiro [editor]
Wegener, Ingo [editor]
European Association for Theoretical Computer Science

Other title:

ICALP 2006

Online resources:

part 1
part 2

Availability: Not available: M. Kamal Hassan Library: Online Access (2).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Language and automata theory and applications : third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings / Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide (editors) by

LATA (Conference) (3rd : 2009 : Tarragona, Spain)
Horia Dediu, Adrian [editor]
Martin Vide, Carlos [editor]
Mihai Ionescu, Armand [editor]

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

1
2
Next
Last