Вы здесь

Главная

система параллельной обработки

Связанные издания:

Practical Aspects of Declarative Languages: Proc./22nd International Symposium, PADL 2020, New Orleans,LA,USA, January 2020
Practical Aspects of Declarative Languages: Proc./23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 2021
Programming and Performance Visualization Tools: Revised Selected Papers/ International Workshops, ESPT 2017 and VPA 2017, Denver,CO,USA, November 2017 and ESPT 2018 and VPA 2018, Dallas,TX,USA, November 2018
Programming Languages and Systems: Proc./18th Asian Symposium, APLAS 2020, Fukuoka, Japan, 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
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
Reversible Computation: Proc./12th International Conference, RC 2020, Oslo, Norway, July 2020
Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021
Service-Oriented and Cloud Computing: Proc./8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 2020
Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021
Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021
Stabilization, Safety, and Security of Distributed Systems: Proc./23rd International Symposium, SSS 2021, Virtual Event, November 2021
Stabilization, Safety, and Security of Distributed Systems: Proc./International Symposium, SSS 2020, Austin,TX,USA, November 2020
Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021
Supercomputing Frontiers: Proc./5th Asian Conference, SCFA 2019, Singapore, March 2019
Supercomputing Frontiers: Proc./6th Asian Conference, SCFA 2020, Singapore, February 2020
Theory and Practice of Natural Computing: Proc./10th International Conference, TPNC 2021, Tsukuba, Japan, December 2021
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges
Transactions on Computational Science XXXIV
Transactions on Large-Scale Data-and Knowledge-Centered Systems XLVI
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXVIII: Special Issue on Database and Expert Systems Applications
Transactions on Rough Sets XXII
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
Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
WALCOM: Algorithms and Computation: Proc./15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 2021
Web Services - ICWS 2020: Proc./27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
Принципы построения систем параллельного программирования на основе АЛГОЛ 60