Вы здесь

Главная

theoretical computer science

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

Algorithmic Aspects in Information and Management: Proc./14th International Conference, AAIM 2020, Jinhua, China, August 2020
Algorithmic Game Theory: Proc./13th International Symposium, SAGT 2020, Augsburg, Germany, September 2020
Algorithmic Game Theory: Proc./14th International Symposium, SAGT 2021, Aarhus, Denmark, September 2021
Algorithms and Data Structures: Proc./17th International Symposium, WADS 2021, Virtual Event, August 2021
Case-Based Reasoning Research and Development: Proc./28th International Conference, ICCBR 2020, Salamanca, Spain, June 2020
Computer Science - Theory and Applications: Proc./16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, July 2021
Computing and Combinatorics: Proc./26th International Conference, COCOON 2020, Atlanta,GA,USA, August 2020
Database and Expert Systems Applications, Part I: Proc./31st International Conference, DEXA 2020, Bratislava, Czech Republic, September 2020
Descriptional Complexity of Formal Systems: Proc./23rd IFIP WG 1/02 International Conference, DCFS 2021, Virtual Event, September 2021
Diagrammatic Representation and Inference: Proc./12th International Conference, Diagrams 2021, Virtual, September 2021
Discrete and Computational Geometry, Graphs, and Games: Revised Selected Papers/21st Japanes Conference, JCDCGGG 2018, Quezon City, Philippines, September 2018
Formal Methods: Foundations and Applications: Proc./24th Brazilian Symposium, Virtual Event, December 2021
Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021
Formal Methods Teaching: Proc./4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 2021
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
Functional and Logic Programming: Proc./15th International Symposium, FLOPS 2020, Acita Japan, September 2020
Fundamentals of Computational Theory: Proc./23rd International Symposium, FCT 2021, Athens, Greece, September 2021
Implementation and Application of Automata: Proc./25th International Conference, CIAA 2021, Virtual Event, July 2021
Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./17th International Conference, CPAIOR 2020, Vienna, Austria, September 2020
Knowledge Engineering and Knowledge Management: Proc./22nd International Conference, EKAW 2020, Bolzano, Italy, September 2020
Mathematical Optimization Theory and Operations Research: Proc./20th International Conference, MOTOR 2021, Irkutsk, Russia, July 2021
Mathematical Software - ICMS 2020: Proc./7th International Conference, Braunschweig, Germany, July 2020
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday
Reversible Computation: Proc./12th International Conference, RC 2020, Oslo, Norway, July 2020
SOFSEM 2021: Theory and Practice of Computer Science: Proc./47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 2021
Structural, Syntactic, and Statistical Pattern Recognition: Proc./Ioint IAPR International Workshop, S+SSPR 2020, Padua, Italy, January 2021
Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021
Topics in Theoretical Computer Science: Proc./3rd IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 2020
Transactions on Petri Nets and Other Models of Concurrency XV
Web and Big Data, Part I: Proc./4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 2020
Web and Internet Economics: Proc./16th International Conference, WINE 2020, Beijing, China, December 2020
Web Information Systems Engineering - WISE 2021, Part I: Proc./22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne,VIC,Australia, October 2021