Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
генерация кода
Связанные издания:
Compiler Construction: Proc./19th International Conference CC 2010, Held as Part of the Join European Conferences ETAPS 2010, Paphos, Cyprus, March 2010
Compiler Construction: Proc./23rd International Conference, CC 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017
Functional and Constraint Logic Programming: Revised Selected Papers/26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 2018
High Performance Computing for Computational Science - VECPAR 2016: Revised Selected Papers/12th International Conference, Porto, Portugal, June 2016
Implementation and Application of Functional Languages: Revised Selected Papers/21st International Symposium, IFL 2009, South Orange,NJ,USA, September 2009
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009
Interactive Theorem Proving: Proc./9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Model Driven Engineering Languages and Systems, Part II: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Model Driven Engineering Languages and Systems, Part I: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Model-Driven Engineering Languages and Systems: Proc./17th International Conference, MODELS 2014, Valencia, Spain, September 2014
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
Reliable Software Technologies - Ada-Europe 2009: Proc./14th Ada-Europe International Conference, Brest, France, June 2009
Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010
SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009
Tests and Proofs: Proc./6th International Conference, TAP 2012, Prague, Czech Republic, May 2012
Theory and Practice of Model Transformation: Proc./10th International Conference, ICMT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014