Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
вычисления
Связанные издания:
A comparative study of different technics of semi-flows computation in High Level Nets
A Constant-Space Sequential Model of Computation for First-Order Logic
Adaptive and Natural Computing Algorithms: Part II: Proc./8th International Conference, ICANNGA 2007. Warsaw, Poland, April 2007.
Adaptive and Natural Computing Algorithms, Part I: Proc./10th International Conferemce, ICANNGA 2011, Ljubljana, Slovenia, April 2011
Adaptive Multimedia Retrieval. Context, Exploration, and Fusion: Revised Selected Papers/8th International Workshop, AMR 2010, Linz, Austria, August 2010
Adaptive Resource Management and Scheduling for Cloud Computing: Revised Selected Papers/1st International Workshop, ARMS-CC 2014 held in Conjunction with ACM Symposium PODC 2014, Paris, France, July 2014
Advanced Information Systems Engineering: Proc./23rd International Conference, CAiSE 2011, London, UK, June 2011
Advances in Artificial Intelligence - SBIA 2012: Proc./21th Brazilian Symposium on AI, Curitiba, Brazil, October 2012
Advances in Artificial Life: Proc./8th European Conference, ECAL 2005. Canterbury, UK, September 2005
Advances in Computation and Intelligence: Proc./3nd International Symposium, ISICA 2008. Wuhan, China, December 2008
Advances in Computer Science - ASIAN 2004: Higher Level Decision Making: Proc./9th Asian Computer Science Conference Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday. Chiang Mai, Thailand, December 2004
Advances in Grid Computing - EGC 2005: Revised Selected Papers/European Grid Conference. Amsterdam, The Netherlands, February 2005
Advances in Natural Computation: Part I: Proc./Second International Conference, ICNC 2006. Xi an, China, September 2006
Advances in Neural Networks - ISNN 2010, Part II: Proc./7th International Symposium, ISNN 2010, Shanghai, China, June 2010
Advances in Neural Networks - ISNN 2010, Part I: Proc./7th International Symposium, ISNN 2010, Shanghai, China, June 2010
Advances in Self-Organizing Maps: Proc./8th International Workshop, WSOM 2011, Espoo, Finland, June 2011
Advances in Services Computing: Proc./10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 2016
Advances in Services Computing: Proc./9th Asia-Pacific-Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 2015
Advances in Social Computing: Proc./Third International Conference on SC, Behavioral Modeling, and Prediction, SBP 2010, Bethesda,MD,USA, March 2010
AI*IA 2011: Artificial Intellgence Around Man and Beyond: Proc./XIIth International Conference of the Italian Association for AI, Palermo, Italy, September 2011
Algebraic and Algorithmic Aspects of Differential and Integral Operators: Selected and Invited Papers/5th International Meeting, AADIOS 2012 Held at the Applications of ACA 2012, Sofia, Bulgaria, June 2012
Algorithms and Architectures for Parallel Processing, Part II: Proc./10th International Conference, ICA3PP 2010, Busan, Korea, May 2010
Algorithms and Architectures for Parallel Processing, Part I: Proc./10th International Conference, ICA3PP 2010, Busan, Korea, May 2010
Algorithms and Architectures for Parallel Processing: Proc./17th International Conference, ICA3PP 2017, Helsinki, Finland, August 2017
Algorithms and Architectures for Parallel Processing: Proc./7th International Conference, ICA3PP 2007. Hangzhou, China, June 2007
Algorithms and Architectures for Parallel Processing: Proc./9th International Conference, ICA3PP 2009. Taipei, Taiwan, June 2009
Algorithms and Computation: Proc./18th International Symposium, ISAAC 2007. Sendai, Japan, December 2007
Applied Reconfigurable Computing: Proc./11th International Symposium, ARC 2015, Bochum, Germany, April 2015
Applied Reconfigurable Computing: Proc./13th International Symposium, ARC 2017, Delft, The Netherlands, April 2017
Architecture of Computing Systems - ARCS 2006: Proc./19th International Conference. Frankfurt/Main, Germany, March 2006
Architecture of Computing Systems - ARCS 2016: Proc./29th International Conference, Nuremberg, Germany, April 2016
Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010
Artificial Computation in Bioligy and Medicine, Part I: Proc./International Work-Conference IWINAC 2015, Elche, Spain, June 2015
Artificial Evolution: Revised Selected Papers/8th International Conference, Evolution Artificielle, EA 2007. Tours, France, October 2007
Artificial Intelligence and Symbolic Computation: Proc./7th International Conference, AISC 2004. Linz, Austria, September 2004
Artificial Intelligence and Symbolic Computation: Proc./8th International Conference, AISC 2006. Beijing, China, September 2006
Artificial Intelligence in Education: Proc./16th International Conference, AIED 2013, Memphis,TN,USA, July 2013
Automata, Languages and Programming, Part I: Proc./38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 2011
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015
Autonomic and Trusted Computing: Proc./Third International Conference, ATC 2006. Wuhan, China, September 2006
Bidirectional Transformations: Tutorial Lectures/ International Summer School, Oxford, UK, July 2016
Big Data Computing and Communications: Proc./2nd International Conference, BigCom 2016, Shenyang, China, July 2016
Bioinformatics and Biomedical Engineering: Proc./4th International Conference, IWBBIO 2016, Granada, Spain, April 2016
Biomimetic and Biohybrid Systems: Proc./3rd International Conference, Living Machines 2014, Milan, Italy, August 2014
Brain-Inspired Computing: Revised Selected Papers/2nd International Workshop, BrainComp 2015, Cetraro, Italy, July 2015
Building a National Distributed e-Infrastructure - PL-Grid: Scientific and Technical Achievements
Building Bridges: HCI, Visualization, and Non-formal Modeling: Revised Selected Papers/ IFIP WG 13.7 Workshops: 7th HCIV@ECCE 2011, Rostock, Germany, August 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 2011
Bulletin of the Novosibirsk Computing Center
Business Process Management: Proc./9th International Conference, BPM 2011, Clermont-Ferrand, France, August 2011
1
2
3
4
5
6
7
8
следующая ›
последняя »