Imagen de Portada

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings /

Guardado en:

Autor Principal:	Ibarra, Oscar H.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Yen, Hsu-Chun.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:	Lecture Notes in Computer Science, 4094
Materias:	Computer science Computer software Logic design Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
por: Holub, Jan.
Publicado: (2007)

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
por: Farré, Jacques.
Publicado: (2006)

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
por: Domaratzki, Michael.
Publicado: (2005)

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
por: Farré, Jacques.
Publicado: (2006)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
por: Holub, Jan.
Publicado: (2007)

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
por: Domaratzki, Michael.
Publicado: (2005)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
por: Margenstern, Maurice.
Publicado: (2005)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
por: Durand-Lose, Jérôme.
Publicado: (2007)

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings /
por: Durand, Bruno.
Publicado: (2006)

Parameterized Complexity Theory
por: Flum, Jörg.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings /
por: Arun-Kumar, S.
Publicado: (2006)

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings /
por: Královi, Rastislav.
Publicado: (2006)

Transactions on Computational Systems Biology VIII
por: Priami, Corrado.
Publicado: (2007)

Transactions on Computational Systems Biology VI
por: Priami, Corrado.
Publicado: (2006)

Transactions on Computational Systems Biology VII
por: Priami, Corrado.
Publicado: (2006)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
por: Calude, Cristian S.
Publicado: (2005)

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings /
por: Felice, Clelia.
Publicado: (2005)

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
por: Thomas, Wolfgang.
Publicado: (2007)

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings /
por: Coppo, Mario.
Publicado: (2005)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
por: Likiewicz, Maciej.
Publicado: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
por: Csuhaj-Varjú, Erzsébet.
Publicado: (2007)

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
por: Barkaoui, Kamel.
Publicado: (2006)

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings /
por: Lodaya, Kamal.
Publicado: (2005)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings /
por: Sarukkai, Sundar.
Publicado: (2005)

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
por: Arvind, V.
Publicado: (2007)

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings /
por: Corradini, Andrea.
Publicado: (2006)

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings /
por: Correa, José R.
Publicado: (2006)

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
por: Frachtenberg, Eitan.
Publicado: (2007)

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
por: Horváth, Zoltán.
Publicado: (2007)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Complexity Theory Exploring the Limits of Efficient Algorithms /
por: Wegener, Ingo.
Publicado: (2005)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /
por: Uustalu, Tarmo.
Publicado: (2006)

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 eský Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
por: Kuera, Ludk.
Publicado: (2007)

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29September 2, 2005. Proceedings /
por: Jdrzejowicz, Joanna.
Publicado: (2005)

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
por: Aceto, Luca.
Publicado: (2006)

The Calculus of Computation Decision Procedures with Applications to Verification /
por: Bradley, Aaron R.
Publicado: (2007)

Theoretical Aspects of Computing ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /
por: Hung, Dang.
Publicado: (2005)