Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
встроенная система
Связанные издания:
Model-Driven Engineering Languages and Systems: Proc./17th International Conference, MODELS 2014, Valencia, Spain, September 2014
Modelling Foundations and Applications: Proc./13th European Conference, ECMFA 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Models in Software Engineering: Reports and Revised Selected Papers/ Workshop and Symposia at MODELS 2008, Toulouse, France, September/October 2009
Models in Software Engineering: Reports and Revised Selected Papers/Workshops and Symposia at MoDELS 2006 Genoa,Italy,October 2006
NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021
NASA Formal Methods: Proc./5th International Symposium, NFM 2013, Moffett Field,CA,USA, May 2013
NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014
Network-Based Information Systems: Proc./First International Conference, NBiS 2007. Regensburg, Germany, September 2007
Networked Systems: Proc./8th International Conference, NETYS 2020, Marrakech, Morocco, June 2020
Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017
Numerical Software Verification: Revised Selected Papers/9th International Workshop, NSV 2016, Toronto,ON,Canada, July 2016
Objects, Models, Components, Patterns: Proc./50th International Conference, TOOLS 2012, Prague, Czech Republic, May 2012
OpenMP: Enabling Massive Node-Level Parallelism: Proc./17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 2021
OpenMP: Portable Multi-Level Parallelism on Modern Systems: Proc./16th International Workshop on OpenMP, IWOMP 2020, Austin,TX,USA, September 2020
Parallel Computing Technologies: Proc./16th International Conference, PaCT 2021, Kalinigrad, Russia, September 2021
Practical Aspects of Declarative Languages: Proc./13th International Symposium, PADL 2011, Austin,TX,USA, January 2011
Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020
Principles of Distributed Systems: Proc./10th International Conference,OPODIS 2006 Bordeaux,France,December 2006
Principles of Distributed Systems: Proc./11th International Conference, OPODIS 2007. Guadeloupe, French West Indies, December 2007
Principles of Distributed Systems: Proc./13th International Conference, OPODIS 2009, Nimes, France, December 2009
Principles of Modeling: Essays Dedicated to Edward A.Lee on the Occasion of His 60th Birthday
Product-Focused Software Process Improvement: Proc./11th International Conference, PROFES 2010, Limeric, Ireland, June 2010
Product-Focused Software Process Improvement: Proc./16th International Conference, PROFES 2015, Bolzano, Italy, Dexmber 2015
Product-Focused Software Process Improvement: Proc./19th International Conference, PROFES 2018, Wolfsburg, Germany, November 2018
Product-Focused Software Process Improvement: Proc./20th International Conference, PROFES 2019, Barcelona, Spain, November 2019
Programming Languages and Systems: Proc./19th Asian Symposium, APLAS 2021, Chicago,IL,USA, October 2021
Programming Languages and Systems: Proc./29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019
Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020
Quantitative Evaluation of Systems: Proc./18th International Conference, QEST 2021, Paris, France, August 2021
Reconfigurable Computing: Architectures, Tools and Applications: Proc./5th International Workshop, ARC 2009, Karlsruhe, Germany, March 2009
Reconfigurable Computing: Architectures, Tools, and Applications: Proc./9th International Symposium, ARC 2013, Los Angeles,CA,USA, March 2013
Reconfigurable Computing: Architectures, Tools, and Applications: Proc./Third International Workshop, ARC 2007. Mangaratiba, Brazil, March 2007
Relational and Algebraic Methods in Computer Science: Proc./18th International Conference, RAMiCS 2020, Palaiseau, France, April 2020
Reliable Software Technologies - Ada-Europe 2012: Proc./17th Ada-Europe International Conference on RST, Stockholm, Sweden, June 2012
Reliable Software Technologies - Ada-Europe 2017: Proc./22nd Ada-Europe International Conference on RST, Vienna, Austria, June 2017
Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010
Reliable Systems on Unreliable Networked Platforms: Revised Selected Papers/12th Monterey Workshop 2005. Laguna Beach, CA, USA, September 2005
Requirements Engineering: Foundation for Software Quality: Proc./20th International Working Conference, REFSQ 2014, Essen, Germany, April 2014
Research into Practice - Reality and Gaps: Proc./6th International Conferemce on the Qualuty of Software Architectures, QoSA 2010, Prague, Czech Republic, June 2010
Reversible Computation: Proc./12th International Conference, RC 2020, Oslo, Norway, July 2020
Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021
Rewriting Logic and Its Applications: Revised Selected Papers/13th International Workshop, WRLA 202, Virtual Event, October 2020
Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
Runtime Verification: Revised Selected Papers/3rd International Conference, RV 2012, Istanbul, Turkey, September 2012
SDL 2013: Model-Drived Dependability Engineering: Proc./16th International SDL Forum, Montreal, Canada, June, 2013
Smart Card Research and Advanced Applications: Revised Selected Papers/10th IFIP WG 8.8/11/2 International Conference, CARDIS 2011, Leuven, Belgium, September 2011
Smart Card Research and Advanced Applications: Revised Selected Papers/11th International Conference, CARDIS 2012, Graz, Austria, November 2012
Smart Card Research and Advanced Applications: Revised Selected Papers/15th International Conference, CARDIS 2016, Cannes, France, November 2016
« первая
‹ предыдущая
1
2
3
4
5
6
следующая ›
последняя »