FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings

Bibliographic Details
Published in:	Springer e-books
Main Author:	Arun-Kumar, S.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Garg, Naveen
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:	Lecture Notes in Computer Science,
Subjects:	Computational complexity Computer Science Computer science Computer software Logic design Algorithm Analysis and Problem Complexity Computation by Abstract Devices Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters
Online Access:	http://dx.doi.org/10.1007/11944836 Перейти в каталог НБ ТГУ

Similar Items

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
by: Ramanujam, R.
Published: (2005)

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

Developments in Language Theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
by: De Felice, Clelia
Published: (2005)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
by: Kreowski, Hans-Jörg
Published: (2005)

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

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

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

Developments in Language Theory (vol. # 4036) 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
by: Ibarra, Oscar H.
Published: (2006)

Theoretical Computer Science (vol. # 3701) 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by: Coppo, Mario
Published: (2005)

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

Semantics of Probabilistic Processes An Operational Approach /
by: Deng, Yuxin
Published: (2014)

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

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

Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Published: (2014)

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

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

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

Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
by: Aceto, Luca
Published: (2006)

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
Published: (2013)

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Published: (2015)

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
Published: (2014)

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

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by: Hung, Dang Van
Published: (2005)

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

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

Implementation and Application of Automata (vol. # 4094) 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
by: Ibarra, Oscar H.
Published: (2006)

Foundations of Software Science and Computational Structures (vol. # 3441) 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
by: Sassone, Vladimiro
Published: (2005)

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
by: Královič, Rastislav
Published: (2006)

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Published: (2013)

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

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

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
by: Mazzola, Guerino
Published: (2005)

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings
by: Barkaoui, Kamel
Published: (2006)

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
Published: (2015)

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Published: (2013)

Discrete Mathematics Using a Computer
by: O'Donnell, John
Published: (2006)

Regulated Grammars and Automata
by: Meduna, Alexander, et al.
Published: (2014)

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
by: Correa, José R.
Published: (2006)

Implementation and Application of Automata (vol. # 3845) 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
by: Farré, Jacques
Published: (2006)

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