Вы здесь

Главная

теория программирования

Связанные издания:

25 Years of Model Checking: History, Achievements, Perspectives
Action refinement and equivalence notions for timed event structures
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Arithmetic of Finite Fields: Proc./2nd International Workshop, WAIFI 2008. Siena, Italy, July 2008
A Theory for Software Revolution - A Guide to Lyee
Automata, Languages and Programming, Part I: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010
Automata, Languages, and Programming: Part II: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008
Automata, Languages and Programming, Part II: Proc./37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010
Automata, Languages, and Programming: Part I: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008
Automata, Languages, and Programming, Part I: Proc./42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 2015
Automata, Languages, and Programming: Proc./34th International Colloquium, ICALP 2007. Wroclaw, Poland, July 2007
Compositional methods in characterization of timed event structures
Computationas Science and Its Applications - ICCSA 2005. Part IV: Proc./International Conference. Singapore, May 2005
Computer Science - Theory and Applications: Proc./First International Computer Science Symposium in Russia, CSR 2006. St.Petersburg, Russia, June 2006
Computer Science - Theory and Applications: Proc./Third International Computer Science Symposium in Russia, CSR 2008. Moscow, Russia, June 2008
Computer Science - Thery and Applications: Proc./2nd International Symposium on Computer Science in Russia, CSR 2007. Ekaterinburg, Russia, September 2007
Computing and Combinatorics: Proc./13th Annual International Conference, COCOON 2007. Banff, Canada, July 2007
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
Developments in Language Theory: Proc./13th International Conference, DLT 2009. Stuttgart, Germany, June/July 2009
Foundations of Software Science and Computational Structures: Proc./11th International Conference, FOSSACS 2008, Part of ETAPS 2008
Foundations of Software Science and Computational Structures: Proc./12th Intarnational Conference, FOSSACS 2009, ETAPS 2009, York. UK, March 2009
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: Proc./27th International Conference. New Delhi, India, December 2007
Fundamental Approaches to Software Engineering: Proc./11th International Conference, FASE 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009
Generalized Categorial Dependency Grammars
LATIN 2008: Theoretical Informatics: Proc./8th Latin American Symposium. Buzios, Brazil, April 2008
Logic, Language, Information, and Computation: Proc./22nd International Workshop, WoLLIC 2015, Bloomington,IN,USA, July 2015
Logic, Language, Information, and Computation: Proc./23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 2016
Machines, Computations, and Universality: Proc./5th International Conference, MCU 2007. Orleans, France, September 2007
Mathematical Foundations of Computer Science 2008: Proc./33rd International Symposium, MFCS 2008. Torun, Poland, August 2008
Mathematical Foundations of Computer Science 2009: Proc./34th International Symposium, MFC 2009. Novy Smokovec, High Tatras, Slovakia, August 2009
Mathematical Foundations of Computer Science 2015, Part I: Proc./40th International Symposium, MFCS 2015, Milan, Italy, August 2015
Ontological transition systems
Practical Aspects of Declarative Languages: Proc./11th International Symposium, PADL 2009. Savannah, GA, USA, January, 2009
Programming Languages and Systems: Proc./18th European Symposium ESOP 2009, ETAPS 2009, York, UK, March 2009
Programming Languages and Systems: Proc./Second Asian Symposium, APLAS 2004. Taipei, Taiwan, November 2004
SOFSEM 2006: Theory and Practice of Computer Science: Proc./32nd Conference on Current Trends in Theory and Practice of Computer Science. Merin, Czech Republic, January 2006
SOFSEM 2008: Theory and Practice of Computer Science: Proc./34th Conference on Current Trends in Theory and Practice of Computer Science. Novy Smokovec, Slovakia, January 2008
SOFSEM 2009: Theory and Practice of Computer Science: Proc./35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 2009
SOFSEM 2017: Theory and Practice of Computer Science: Proc./43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 2017
Some Results on the Expressive Power and Complexity of LSCs
STACS 2006: Proc./23rd Annual Symposium on Theoretical Aspects of Computer Science. Marseille, France, February 2006
STACS 2007: Proc./24th Annual Symposium on Theoretical Aspects of Computer Science,Aachen,Germany,February 2007
Symmetric Logic of Proofs
The Church-Turing Thesis over Arbitrary Domains
Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009
Theoretical Aspects of Computing - ICTAC 2007: Proc./4th International Colloquium. Macao, China, September 2007
Theoretical Aspects of Computing - ICTAC 2008: Proc./5th International Colloquium. Istanbul, Turkey, September 2008
Theoretical Aspects of Computing - ICTAC 2009: Proc./6th International Colloquium. Kuala Lumpur, Malaysia, August 2009
Theoretical Computer Science: Essays in Memory of Shimon Even