Cargando…

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

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ablaev, Farid M. (Editor ), Mayr, Ernst W. (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Colección:	Theoretical Computer Science and General Issues, 6072
Temas:	Computer science. Algorithms. Machine theory. Computer science-Mathematics. Discrete mathematics. Theory of Computation. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Discrete Mathematics in Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publicado: (2012)

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

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

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

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

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings /
Publicado: (2013)

Computer Science - Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /
Publicado: (2011)

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

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers /
Publicado: (2014)

Computer Science -- Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /
Publicado: (2012)

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

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

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

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

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
Publicado: (2014)

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /
Publicado: (2016)

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

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /
Publicado: (2009)

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
Publicado: (2015)

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

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

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /
Publicado: (2014)

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings /
Publicado: (2009)

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings /
Publicado: (2011)

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
Publicado: (2016)

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

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Publicado: (2015)

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)

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

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings /
Publicado: (2012)

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

Logic, Language, Information, and Computation
Publicado: (2012)

Semantics of Probabilistic Processes An Operational Approach /
por: Deng, Yuxin
Publicado: (2014)

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings /
Publicado: (2011)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
Publicado: (2016)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Publicado: (2016)

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

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /
Publicado: (2016)

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

Cannot write session to /tmp/vufind_sessions/sess_g3tf3fc5cvdp1j3d9g6q91ti1g