Cargando…

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015. The 10 full papers presented together with 3 invited talks were carefully reviewed and selected...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hajiaghayi, Mohammed Taghi (Editor ), Mousavi, Mohammad Reza (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:	1st ed. 2016.
Colección:	Theoretical Computer Science and General Issues, 9541
Temas:	Computer science. Algorithms. Machine theory. Computer graphics. Computer science-Mathematics. Discrete mathematics. Artificial intelligence-Data processing. Theory of Computation. Formal Languages and Automata Theory. Computer Graphics. Discrete Mathematics in Computer Science. Data Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /
Publicado: (2007)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /
Publicado: (2005)

Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings /
Publicado: (2012)

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings /
Publicado: (2005)

Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday /
Publicado: (2009)

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
Publicado: (2014)

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
Publicado: (2015)

Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation /
por: Goldreich, Oded
Publicado: (2011)

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

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /
Publicado: (2006)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Publicado: (2014)

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
Publicado: (2016)

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
Publicado: (2015)

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings /
Publicado: (2013)

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings /
Publicado: (2011)

Computation, Cooperation, and Life Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /
Publicado: (2011)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Publicado: (2015)

Regulated Grammars and Automata
por: Meduna, Alexander, et al.
Publicado: (2014)

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
Publicado: (2015)

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /
Publicado: (2007)

Sets, Logic and Maths for Computing
por: Makinson, David
Publicado: (2008)

Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
Publicado: (2016)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers /
Publicado: (2011)

Teoria degli Automi Finiti
por: de Luca, Aldo, et al.
Publicado: (2013)

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /
Publicado: (2006)

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
Publicado: (2016)

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
Publicado: (2009)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /
Publicado: (2014)

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /
Publicado: (2009)

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
Publicado: (2015)

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers /
Publicado: (2007)

Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
Publicado: (2016)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /
Publicado: (2010)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings /
Publicado: (2011)

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /
Publicado: (2010)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /
Publicado: (2013)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers /
Publicado: (2011)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Publicado: (2015)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Publicado: (2013)

Modelling Computing Systems Mathematics for Computer Science /
por: Moller, Faron, et al.
Publicado: (2013)

Cannot write session to /tmp/vufind_sessions/sess_2okprdas0fr6jkff916lf3uca8