Вы здесь

Главная

теоретическое программирование

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

Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010
Agents and Artificial Intelligence: Revised Selected Papers/11th International Conference, ICAART 2019, Prague, Czech Republic, February 2019
Algorithmic Aspects in Information and Management: Proc./12th International Conference, AAIM 2018, Dallas,TX,USA, December 2018
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 Complexity: Proc./10th International Conference, CIAC 2017, Athens, Greece, May 2017
Algorithms and Data Structures: Proc./17th International Symposium, WADS 2021, Virtual Event, August 2021
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Applied Geometry and Discrete Mathematics. The Victor Klee Festschrift
Approximation and Online Algorithms: Revised Selected Papers/17th International Workshop, WAOA 2019, Munich, Germany, September 2019
Case-Based Reasoning Research and Development: Proc./28th International Conference, ICCBR 2020, Salamanca, Spain, June 2020
Computer Performance Engineering: Revised Selected Papers/16th European Workshop, EPEW 2019, Milan, Spain, November 2019
Computer Science - Theory and Application: Proc./9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 2014
Computer Science - Theory and Applications: Proc./15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, 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
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
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
Fundamentals of Computation Theory: Proc./21st International Symposium, FCT 2017, Bordeaux, France, September 2017
Horizons of the Mind: A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Implementation and Application of Automata: Proc./25th International Conference, CIAA 2021, Virtual Event, July 2021
Integer Programming and Combinatorial Optimization: Proc./21st International Conference, IPCO 2020, London, UK, June 2020
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
Language and Automata Theory and Applications: Proc./12th International Conference, LATA 2018, Ramat Gan, Israel, April 2018
Language, Culture, Computation: Computing of the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014
Mathematical Aspects of Computer and Information Sciences: Revised Selected Papers/8th International Conference, MACIS 2019, Gebze, Turkey, November 2019
Mathematical Foundations of Computer Science 2010: Proc./35th International Symposium, MFCS 2010, Brno, Czech Republic, August 2010
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
Rough Sets: Proc./International Joint Conference, IJCRS 2020, Havana, Cuba, June 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 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017
Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021
Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012