Вы здесь

Главная

моделирование вычислений

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

Algorithmic Learning Theory: Proc./19th International Conference, ALT 2008. Budapest, Hungary, October 2008
Arithmetic of Finite Fields: Proc./First International Workshop, WAIFI 2007. Madrid, Spain, June 2007
Developments in Language Theory: Proc./13th International Conference, DLT 2009. Stuttgart, Germany, June/July 2009
Euro-Par 2008: Parallel Processing: Proc./14th International Conference. Las Palmas de Gran Canaria, Spain, August 2008
Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014
Logic, Language, Information, and Computation: Proc./14th International Workshop, WoLLIC 2007. Rio de Janeiro, Brazil, July 2007
Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014
Mathematical Foundations of Computer Science 2009: Proc./34th International Symposium, MFC 2009. Novy Smokovec, High Tatras, Slovakia, August 2009
Model-Based Engineering of Embedded Real-Time Systems: Revised Selected Papers/ International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 2007
Nature-Inspired Problem-Solving Methods in Knowledge Engineering: Part II: Proc./2nd Intl Work-Conference on the Interplay v Natural & Artificial Computation, IWINAC 2007. La Manga del Mar Menor, Spain, June 2007
Parallel Computing Technologies: Proc./9th International Conference, PaCT 2007. Pereslavl-Zalessky, Russia, September 2007
Quantitative Evaluation of Systems: Proc./11th International Conference, QEST 2014, Florence, Italy, September 2014
Reachability Problems: Proc./3rd International Workshop, RP 2009, Palaiseau, France, September 2009
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
Text, Speech, and Dialogue: Proc./11th International Conference, TSD 2008. Brno, Czech Republic, September 2008
Theory and Applications of Models of Computation: Proc./6th Annual Conference, TAMC 2009, Changsha, China, May 2009
Theory and Applications of Models of Computation: Proc/7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 2010
Transactions on Computational Science XXIV