Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
модель вычислений
Связанные издания:
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
Adaptive and Natural Computing Algorithms: Part I: Proc./8th International Conference, ICANNGA 2007. Warsaw, Poland, April 2007.
Advanced Intelligent Computing Theories and Applications With Aspects of Theoretical and Methodological Issues: Proc./3rd Intl Conference on Intelligent Computing, ICIC 2007. Quingdao, China, August 2007
Advanced Intelligent Computing Theories and Applications: With Aspects of Theoretical and Methodological Issues: Proc./4th Intl Conf.ICIC 2008. Shanghai, China, September 2008
Advances in Artificial Life: Proc./9th European Conference, ECAL 2007. Lisbon, Portugal, September 2007
Advances in Computer Systems Architecture: Proc./10th Asia-Pacific Conference, ACSAC 2005. Singapore, October 2005
Advances in Natural Computation: Part II: Proc./Second International Conference, ICNC 2006. Xi an, China, September 2006
Advances in Neural Networks - ISNN 2020: Proc./17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 2020
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
Algorithmic Aspects of Wireless Sensor Networks: Revised Selected Papers/5th International Workshop, ALGOSENSORS 2009
Algorithms in Bioinformatics: Proc./7th International Workshop, WABI 2007. Philadelphia, PA, USA, September 2007
Algorithms in Bioinformatics: Proc./8th International Workshop, WABI 2008. Karlsruhe, Germany, September 2008
A Rewriting Logic Sampler
Artificial Immune Systems: Proc./6th International Conference, ICARIS 2007. Santos, Brazil, August 2007
Artificial Immune Systems: Proc./8th International Conference, ICARIS 2009. York, UK, August 2009
Artificial Intelligence and Computational Intelligence: Proc./International Conference, AICI 2009. Shanghai, China, November 2009
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Research. Part II: Proc./1st Int. Work-Conference IWINAC 2005. Las Palmas, Canary Islands, Spain, June 2005
Artificial Neural Networks - ICANN 2006: Part I: Proc./16th International Conference. Athens, Greece, September 2006
Artificial Neural Networks - ICANN 2008. Part II: Proc./18th International Conference. Prague, Czech Republic, September 2008
Artificial Neural Networks - ICANN 2008. Part I: Proc./18th International Conference. Prague, Czech Republic, September 2008
Cellular Automata: Proc./8th International Conference on CA for Research and Industry, ACRI 2008. Yokohama, Japan, September 2008
Church s Problem and a Tour through Automata Theory
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Comparative Genomics: Proc./International Workshop, RECOMB-CG 2009. Budapest. Hungary, September 2009
Compiling quantum programs
Computational Science and Its Applications - ICCSA 2008: Part I: Proc./International Conference. Perugia, Italy, June/July 2008
Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007
Computer Science - Theory and Applications: Proc./13th International Computer Science Symposium i Russia, CSR 2018, Moscow, Russia, June 2018
Computer Science - Theory and Applications: Proc./4th International Computer Science Symposium in Russia, CSR 2009. Novosibirsk, Russia, August 2009
Computer Science - Thery and Applications: Proc./2nd International Symposium on Computer Science in Russia, CSR 2007. Ekaterinburg, Russia, September 2007
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occcasion of His 65th Birthday
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Coordination Models and Languages: Proc./19th IFIP WG 6.1 International Conference, COORDINATION 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 2017
Coordination, Organizations, Institutions, and Norms in Agent Systems III: Revised Selected Papers/COIN 2007 IWs. Honolulu, USA, May 2007 & Durham, UK, September 2007
Decremental associative algorithm for updating the shortest paths tree
Descriptional Complexity of Formal Systems: Proc./19th IFIP WG 1.02 International Conference. DCFS 2017, Milano. Italy, july 2017
Distributed Computing: Proc./22nd International Sumposium, DISC 2008. Arcachon, France, September 2008
Distributed Computing: Proc./23rd International Symposium, DISC 2009, Elche, Spain, September 2009
DNA Computing: Revised Selected Papers/10th International Workshop on DNA Computing, DNA10. Milan, Italy, June 2004
DNA Computing: Revised Selected Papers/12th International Meeting on DNA Computing,DNA12,Seoul,Korea,June 2006
Efficient associative algorithms for implementing the second group of relational algebra operations
Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006
Foundations of Genetic Algorithms: Revised Selected Papers/9th International Workshop, FOGA 2007. Mexico City, Mexico, January 2007
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
From Data to Models and Back: Revised Selected Papers/9th International Symposium, DataMod 2020, Virtual Event, October 2020
Fundamentals of Computation Theory: Proc./16th International Symposium, FCT 2007. Budapest, Hungary, August 2007
Fundamentals of Computation Theory: Proc./22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 2019
Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021
Graph Transformation, Specificationas, and Nets: In Memory of Hartmut Ehrig
1
2
3
следующая ›
последняя »