Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
объектно-ориентированное программирование
Связанные издания:
Advances in Conceptual Modeling: Proc./ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 2020
Conceptual Modeling: Proc./40th International Conference, ER 2021, Virtual Event, October 2021
Coordination Models and Languages: Proc./22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020
Coordination Models and Languages: Proc./23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021
Diagrammatic Representation and Inference: Proc./11th International Conference, Diagrams 2020, Tallinn, Estonia, August 2020
Diagrammatic Representation and Inference: Proc./12th International Conference, Diagrams 2021, Virtual, September 2021
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods for Industrial Critical Systems: Proc./26th International Conference, FMICS 2021, Paris, France, August 2021
Formal Methods: Foundations and Applications: Proc./23rd International Symposium, SBMF 2020, Ouro Preto, Brazil, November 2020
Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021
Frontiers in Software Engineering Education: Invited Papers/1st International Workshop, FISEE 2019, Villebrumier, France, November 2019
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020
Functional and Logic Programming: Proc./15th International Symposium, FLOPS 2020, Acita Japan, September 2020
Fundamental Approaches to Software Engineering: Proc./24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Fundamentals of Software Engineering: Revised Selected Papers/9th International Conference, FSEN 2021, Virtual Event, May, 2021
Genetic Programming: Proc./23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020
Genetic Programming: Proc./24th European Conference, Euro 2021, Held as Part of EvoStar 2021, Virtual Event, April 2021
Human-Centered Software Engineering: Proc./8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021
Model-Based Safety and Assessment: Proc./7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 2020
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
On the Move to Meaningful Internet Systems: OTM 2019 Workshops: Revised Selected Papers/Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 2019
Perspectives of System Informatics: Revised Selected Papers/12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk Russia, July 2019
Product-Focused Software Process Improvement: Proc./21st International Conference, PROFES 2020, Turin, Italy, November 2020
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
Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/25th International Workshop, WADT 2020, Virtual Event, April 2020
Requirements Engineering: Foundation for Software Quality: Proc./26th International Working Conference, REFSQ 2020, Pisa, Italy, March 2020
Reuse in Emerging Software Engineering Practices: Proc./19th International Conference on Software and Systems Reuse, ICRS 2020, Hammamet, Tunisia, December 2020
Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021
Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
Search-Based Software Engineering: Proc./12th International Symposium, SSBSE 2020, Bari, Italy, October 2020
Search-Based Software Engineering: Proc./13th International Symposium, SSBSE 2021, Bari, Italy, October 2021
Software Architecture: Proc./14th European Conference, ECSA 2020, L'Aquila, Italy, September 2020
Software Architecture: Proc./15th European Conference, ECSA 2021, Virtual Event, Sweden, September 2021
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops: Revised Selected Papers/ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 2020
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019
Systen Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: Proc./11th International Conference, SAM 2019, Munich, Germany, September 2019
The Once-Only Principle: The TOOP Project
Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020
Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
Trends in Functional Programming: Revised Selected Papers/21st International Symposium, TFP 2020, Krakow, Poland, February 2020
Trends in Functional Programming: Revised Selected Papers/22nd International Symposium, TFP 2021, Virtual Event, February 2021
Unifying Theories of Programming: Revised Selected Papers/5th International Symposium, UTP 2014, Singapore, May, 2014
Объектно-ориентированное программирование: Материалы Всесоюзной конференции "Актуальные проблемы системного программирования", Таллинн, 16-18 января, 1990 г.
Парадигма программирования: Учебное пособие