Вы здесь

Главная

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

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

High Performance Computing for Computational Science - VECPAR 2008: Revised Selected Papers/8th International Conference. Toulouse, France, June 2008
Hybrid Artificial Intelligence Systems: Proc./ Third International Workshop, HAIS 2008. Burgos, Spain, September 2008
Hybrid Systems: Computation and Control: Proc./8th International Workhshop, HSCC 2005. Zurich, Switzerland, March 2005
Infinity in Logic and Computation: Revised Selected Papers/ International Conference, ILC 2007, Cape Town, South Africa, November 2007
Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020
Investigating equivalence relations in dtsPBC
Knowledge Discovery and Emergent Complexity in Bioinformatics: Revised Selected Papers/First International Workshop,KDECB 2006,Ghent,Belgium,May 2006
Language and Automata Theory and Applications: Proc./Third International Conference, LATA 2009, Tarragona, Spain, April 2009
Language and Automata Theory and Applications: Revised Papers/2nd International Conference, LATA 2008. Tarragona, Spain, March 2008
LATIN 2008: Theoretical Informatics: Proc./8th Latin American Symposium. Buzios, Brazil, April 2008
Machines, Computations, and Universality: Proc./5th International Conference, MCU 2007. Orleans, France, September 2007
Machines, Computations, and Universality: Proc./8th International Conference, MCU 2018, Fontainebleau, France, June 2018
Mathematical Foundations of Computer Science 2008: Proc./33rd International Symposium, MFCS 2008. Torun, Poland, August 2008
Membrane Computing: Revised Selected and Invited Papers/5th International Workshop, WMC 2004. Milan, Italy, June 2004
Membrane Computing: Revised Selected and Invited Papers/8th International Workshop, WMC 2007. Thessaloniki, Greece, June 2007
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Models of Computation in Context: Proc./7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June/July 2011
Networked Systems: Proc./5th International Conference, NETYS 2017, Marrakech, Morocco, May 2017
Parallel Computing Technologies: Proc./14th International Conference, Nizhny Novgorod, Russia, September 2017
P Automata
Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Programming Languages and Systems: Proc./23rd European Symposium on Programming, ESOP 2014 Held as Part of the ETASPS 2014, Grenoble, France, April 2014
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
Sailing Routes in the World of Computation: Proc./14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 2018
Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2017 Collocated Workshops, Marburg, Germany, July 2017
The Church-Turing Thesis over Arbitrary Domains
The Incomputable: Journeys Beyond the Turing Barrier
Theoretical Aspects of Computing - ICTAC 2008: Proc./5th International Colloquium. Istanbul, Turkey, September 2008
Theoretical Aspects of Computing - ICTAC 2014: Proc./11th International Colloquium, Bucharest, Romania, September 2014
Theoretical Computer Science: Proc./8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 2014
Theory and Applications of Models of Computation: Proc./14th Annual Conference, TAMC 2017, Bern, Switzerland, April, 2017
Theory and Applications of Models of Computation: Proc./16th International Conference, TAMC 2020, Changsha, China, October 2020
Theory and Applications of Models of Computation: Proc./4th International Conference, TAMC 2007. Shanghai, China, May 2007
Theory and Applications of Models of Computation: Proc./5th International Conference, TAMC 2008. Xi an, China, April 2008
Theory and Applications of Models of Computation: Proc./Third International Conference, TAMC 2006. Beijing, China, May 2006
The weakest specifunction
Times of Convergence: Technologies Across Learning Context: Proc./ Third European Conference on Technology Enhanced Learning, EC-TEL 2008. Maastricht, The Netherlands, September 2008
Tools and Algorithms for the Construction and Analysis of Systems: Proc./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Transactions on Computational Systems Biology X
Transactions on Computational Systems Biology XI
Transactions on Rough Sets VIII
Typed Lambda Calculi and Applications: Proc./8th International Conference, TLCA 2007. Paris, France, June 2007
Unconventional Computation: Proc./5th International Conference, UC 2006. York, UK, September 2006
Unconventional Computation: Proc./7th International Conference, UC 2008. Vienna, Austria, August 2008
Unveiling Dynamics and Complexity: Proc./13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 2017
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Денотативно-объектная модель вычислений для встроенных систем
О вычислении шаблонов выражений в С++
Оптимальные по точности алгоритмы восстановления функционалов в некоторых моделях вычислений