Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
формальный язык
Связанные издания:
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
AI Approaches to the Complexity of Legal Systems XI-XII: Revised Selected Papers/AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020
Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009
Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010
Algebra, Meaning, and Computation: Essays Dedicated to Jeseph A. Goguen on the Occasion of His 65th Birthday
Algorithms - ESA 2015: Proc./23rd Annual European Symposium, Patras, Greece, September 2015
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Automata, Languages, and Programming: Part I: Proc./33rd International Colloquium, ICALP 2006. Venice, Italy, July 2006
Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021
Beyond the Horizon of Computability: Proc./16th Conference on Computability in Europe, CIE 2020, Fisciano, Italy, July 2020
Bidirectional Transformations: Tutorial Lectures/ International Summer School, Oxford, UK, July 2016
Case-Based Reasoning Research and Development: Proc./28th International Conference, ICCBR 2020, Salamanca, Spain, June 2020
Case-Based Reasoning Reserch and Development: Proc./29th International Conference, ICCBR 2021, Salamanca, Spain, September 2021
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
Cellular Automata and Discrete Complex Systems: Proc./26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 2020
Chinese Lexical Semantics: Revised Selected Papers/18th Workshop, CLSW 2017, Leshan, China, May 2017
Complexity of Aperiodicity for Topological Properties of Regular w-Languages
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Science - Theory and Applications: Proc./12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 2017
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006
Connecting with Computability: Proc./17th Conference on Computability in Europe, CiE 2021, Virtual Event, July 2021
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
Descriptional Complexity of Formal Systems: Proc./13th International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 2011
Descriptional Complexity of Formal Systems: Proc./19th IFIP WG 1.02 International Conference. DCFS 2017, Milano. Italy, july 2017
Descriptional Complexity of Formal Systems: Proc./20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax,NS,Canada, July 2018
Descriptional Complexity of Formal Systems: Proc./21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 2019
Descriptional Complexity of Formal Systems: Proc./22nd International Conference, DCFS 2020, Vienna, Austria, August 2020
Descriptional Complexity of Formal Systems: Proc./23rd IFIP WG 1/02 International Conference, DCFS 2021, Virtual Event, September 2021
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Developments in Language Theory: Proc./12th International Conference, DLT 2008. Kyoto, Japan, September 2008
Developments in Language Theory: Proc./13th International Conference, DLT 2009. Stuttgart, Germany, June/July 2009
Developments in Language Theory: Proc./15th International Conference, DLT 2011, Milan, Italy, July 2011
Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014
Developments in Language Theory: Proc./20th International Conference, DLT 2016, Montreal, Canada, July 2016
Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017
Developments in Language Theory: Proc./22nd International Conference, DLT 2018, Tokyo, Japan, September 2018
Developments in Language Theory: Proc./23rd International Conference, DLT 2019, Warsaw, Poland, August 2019
1
2
3
4
следующая ›
последняя »