Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
смешанный
Связанные издания:
Algorithms and Computation: Proc./22nd International Symposium, ISAAC 2011, Yakohama, Japan, December 2011
Algorithms and Discrete Applied Mathematics: Proc./3rd International Conference, CALDAM 2017, Sancoale, Goa, India, February 2017
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Combinatorial Optimization: Revised Selected Papers/3rd International Symposium, ISCO 2014, Lisbon, Portugal. March 2014
Hybrid Learning: Proc./4th International Conference, ICHL 2011, Hong Kong, China, August 2011
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Mathematical Methods for Curves and Surfaces: Revised Selected Papers/9th International Conference, MMCS 2016, Tonsberg, Norway, June 2016
Mathematical Optimization Theory and Operations Research: Proc./19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 2020
Multilingual System for Universal Communication: Web Browser Implementation of Mixed-Language Document Handling System
Networking 2010: Proc./9th International IFIP TC 6 Networking Conference, Chennai, India, May 2010
NETWORKING 2011, Part II: Proc./10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 2011
Revised Mixed Axiomatic Semantics Method of C Program Verification
Serious Games Development and Applications: Proc./3rd International Conference, SGDA 2012, Bremen. Germany, September 2012
The Design and Implementation of a Program Development System Based on Rewriting Method
The Mixed Axiomatic Semantics Method
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Towards Automatic Deductive Verification of C Programs Over Linear Arrays
Transactions on Computational Science XI: Special Issue on Security in Computing, Part II
Transactions on Computational Science XXIX
Two-level mixed verification method of C-light programs in terms of safety logic
Virtual and Mixed Reality: Proc./Third International Conference, VMR 2009 Held as Part of HCI International 2009. San Diego, CA, USA, July 2009
Virtual, Augmented and Mixed Reality. Designing and Developing Virtual and Augmented Environments, Part I: Proc./6th International Conference, VAMR 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014
Wireless Access Flexibility: Proc./1st International Workshop, WiFlex 2013, Kaliningrad, Russia, September 2013
Верификация С-программ с помо ью смешанной аксиоматической семантики
Метод построения параллельных форм алгоритмов на основе смешанной стратегии
Преподавание IT-дисциплин в формате "blended learning" в ВУЗе
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки