Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
встроенная система
Связанные издания:
Formal Modeling and Analysis of Timed Systems: Proc./9th International Conference, FORMATS 2011, Aalbord, Danmark, September 2011
Formal Techniques for Distributed Objects, Components, and Systems: Proc./39th IFIP 6.1 International Conference, FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 2019
Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020
Formal Techniques for Distributed Objects, Components, and Systems: Proc./41st IFIP WG 6.1 International Conference, FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021
Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 2009
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: Revised Selected Papers/16th Monterey Workshop 2010, Redmont,WA,USA, March/April 2010
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./23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 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
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday
Green, Pervasive, and Cloud Computing: Revised Selected Papers/13th International Conference, GPC 2018, Hangzhou, China, May 2018
Grid and Pervasive Computing: Proc./8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 2013
High Performance Computing and Communications: Proc./Second International Conference, HPCC 2006. Munich, Germany, September 2006
High Performance Embedded Architectures and Compilers: Proc./5th International Conference, HiPEAC 2010, Pisa, Italy, January 2010
High Performance Embedded Architectures and Compilers: Proc./Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009
High Performance Embedded Architectures and Compilers: Proc./Second International Conference, HiPEAC 2007. Ghent,Belgiun,January 2007
Hybrid Systems: Computation and Control: Proc./10th International Conference, HSCC 2007. Pisa, Italy, April 2007
Hybrid Systems: Computation and Control: Proc./11th International Workshop, HSCC 2008. St.Louis, MO, USA, April 2008
Information Secrity Applications: Revised Selected Papers/18th International Conference, WISA 2017, Jeju Island, Korea, August 2017
Information Security and Cryptology - ICISC 2020: Proc./23rd International Conference, Seoul, South Korea, December 2020
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: Proc./16th International Workshop, PATMOS 2006. Montpellier, France, September 2006
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Rev. Sel. Ps/19th IW, PATMOS 2009, Delft, The Netherlands, September 2009
Intelligent Software Methodologies, Tools and Techniques: Proc./14th International Conference, SoMeT 2015, Naples, Italy, September 2015
Interactive Collaborative Robotics: Proc./3rd International Conference, ICR 2018, Leipzig, Germany, September 2018
Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/23rd International Workshop, JSSPP 2020, New Orleans,LA,USA, May 2020
KI 2009: Advances in Artificial Intelligence: Proc./32nd Annual German Conference on AI, Paderborn, Germany, September 2009
Languages and Compilers for Parallel Computing: Revised Selected Papers/32nd International Workshop, LCPC 2019, Atlanta,GA,USA, October 2019
Languages and Compilers for Parallel Computing: Revised Selected Papers/33rd International Workshop, LCPC 2020, Virtual Event, October 2020
Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010
Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010
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
LLVM как инфраструктура разработки компиляторов для встроенных систем
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 2015
Middleware 2009: Proc/ ACM/IFIP/USENIX 10th International Middleware Conference, Urbana,IL,USA, November/December 2009
Middleware 2010: Proc./ ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 2010
Model and Data Engineering: Proc./10th International Conference, MEDI 2021, Tallinn, Estonia, June 2021
Model-Based Safety and Assessment: Proc./6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 2019
Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday
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
« первая
‹ предыдущая
1
2
3
4
5
6
следующая ›
последняя »