Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
компьютерный
Связанные издания:
Advances in Neural Networks - ISNN 2014: Proc./11th International Symposium on NN, ISNN 2014, Hong Kong and Macao, China, November 2014
Advances in Neuro-Information Processing: Part I: Revised Selected Papers/15th International Conference, ICONIP 2008. Auckland, New Zealand, November 2008
Alpha и омега компьютерной технологии 21-го века
An Abstract Data Type Development of Graded Rings
An Assume Facility for CAS, with a Sample Implementation for Maple
A New Perspective on Teaching Computer Literacy
Animator Pro: урок первый
Artificial Immune Systems: Proc./11th International Conference, ICARIS 2012, Taormina, Italy, August 2012
A Simple General Purpose Technique for Interfacing between Computer Algebra and Numerical Analysis Systems
A Tape System for Computer Algebra
Biomedical Simulation: Proc./6th International Symposium, ISBMS 2014, Strasbourg, France, October 2014
Building a Computer Algebra Environment by Composition of Collaborative Tools
COLOG-88 Papers presented at the International conference in computer logic. Part II. Tallinn, December, 12-16, 1988
COLOG-88 Papers presented at the International conference in computer logic. Part I. Tallinn, December, 12-16, 1988
Communications and Multimedia Securitu: Proc./13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 2012
Composite Theoretical Performance
Computer Analysis of Images and Patterns, Part I: Proc./16th International Conference, CAIP 2015, Valletta, Nalta, September 2015
Computer Analysis of Images and Patterns: Proc./5th Intern.Conf., CAIP 93, Budapest, Hungary,1993
Computer Music Modeling and Retrieval: Revised Papers/5th International Symposium, CMMR 2008. Copenhagen, Denmark, May 2008
Computer Music Modeling and Retrieval: Revised Papers/Third International Symposium, CMMR 2005. Pisa, Italy, September 2005
Computers and Games: Proc./6th International Conference, CG 2008. Beijing, China, September/October 2008
Computers and Games: Revised Papers/4th International Conference, CG 2004. Ramat-Gan, Israel, July 2004
Crosstalk for Windows: полностью переработанная мо ная программа компьютерной связи
Data Representation and In-built Compilation in the Computer Algebra Program FELIX
Designing the Digital Transformation: Proc./12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 2017
Extending the HOL Theorem Prover with a Computer Algebra System to Reason About the Reals
Fun and Games: Proc./Second International Conference. Eindhoven, The Netherlands, October 2008
Fuzzy-управление компьютерным обучением
Gateway 2000: компьютеры из Южной Дакоты
GFUN: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
GraphiCon 2005: Proc./15th International Conference on Computer Graphics and Applications. June 20-24, 2005
Graph Transformation: Proc./10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Human-Computer Interaction, Tourism and Cultural Heritage: Revised Selected Papers/ First International Workshop, HCITOCH 2010, Brescello, Italy, September 2010
IBS - эта "новая старая" фирма
Integrated Formal Methods: Proc./14th International Conference, IFM 2018, Maynooth, Ireland, September 2018
Interactive Storytelling: Proc./6th International Conference, ICIDS 2013, Istanbul, Turkey, November 2013
IZIC: a Portable Language-Driven Tool for Mathematical Surfaces Visualization
Knowledge Engineering and Knowledge Management: Revised Slected Papers/EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 2017
Languages and Compilers for Parallel Computing: Revised Selected Papers/26th International Workshop, LCPC 2013, San Jose,CA,USA, September 2013
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017
Mathematical Formula Manipulation from a User s Point of View
On Coherence in Computer Algebra
Parallel Computing Technologies: Proc./Intern. Conf. PaCT-93. Obninsk, Russia, August 30 - September 2, 1993
Recurrent Relations and Speed-up of Computations using Computer Algebra Systems
REDUCE Meets CAMAL
Research in Attacks, Intrusions, and Defenses: Proc./20th International Symposium, RAID 2017, Atlanta,GA,USA, September 2017
Scaling up Learning for Sustained Impact: Proc./8th European Conference on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 2013
Smart Graphics: Revised Selected Papers/13th International Symposium, SG 2015, Chengdu, China, August 2015
Soft + tool = SofTool!
Static Analysis: Proc./19th International Symposium, SAS 2012, Deauville, France, September 2012
1
2
3
следующая ›
последняя »