Вы здесь

Главная

теория вычислений

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

Advanced Intelligent Computing Theories adn Applications: Proc./4th International Conference on Intelligent Computing, ICIC 2008. Shanghai, China, September 2008
Advanced Intelligent Computing Theories and Applications: With Aspects of Theoretical and Methodological Issues: Proc./4th Intl Conf.ICIC 2008. Shanghai, China, September 2008
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection: Proc./16th International Conference, PAAMS 2018, Toledo, Spain, June 2018
Algorithmic Aspects in Information and Management: Proc./10th International Conference, AAIM 2014, Vancouver,BC,Canada, July 2014
Algorithmic Learning Theory: Proc./25th International Conference, ALT 2014, Bled, Slovenia, October 2014
Algorithms and Computation: Proc./19th International Symposium, ISAAC 2008. Gold Coast, Australia, December 2008
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Artificial General Intelligence: Proc./5th International Conference, AGI 2012, Oxford, UK, December 2012
Cellular Automata: Proc./11th International Conference on CA for Research and Industry, ACRI 2014. Krakow, Poland, September 2014
Cellular Automata: Proc./8th International Conference on CA for Research and Industry, ACRI 2008. Yokohama, Japan, September 2008
Computer Performance Engineering: Proc./11th European Workshop, EPEW 2014, Florence, Italy, September 2014
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./4th International Computer Science Symposium in Russia, CSR 2009. Novosibirsk, Russia, August 2009
Computing and Combinatorics: Proc./14th Annual International Conference, COCOON 2008. Dalian, China, June 2008
Databases Theory and Applications: Proc./25th Australasian Database Conference, ADC 2014, Brisbane,QLD,Australia, July 2014
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014
Foundations of Software Science and Compitation Structures: Proc./17th International Conference, FOSSACS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Fundamentals of Computation Theory: Proc./17th International Symposium, FCT 2009 Wroclaw, Poland, September 2009
Fun with Algorithms: Proc./7th Internatioanl Conference, FUN 2014, Lipari Island, Sicily, Italy, July 2014
Graph Transformation: Proc./11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020
LATIN 2014: Theoretical Informatics: Proc./11th Latin American Symposium, Montovideo, Uruguay, March 2014
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Modeling: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018
Logical Foundations of Computer Science: Proc./International Workshop, LFCS 2009. Deerfield Beach, FL, USA, January 2009
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Logic, Language, Information, and Computation: Proc./22nd International Workshop, WoLLIC 2015, Bloomington,IN,USA, July 2015
Logic, Language, Information, and Computation: Proc./24th International Workshop, WoLLIC 2017, London, UK, July 2017
Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016
Machines, Computations, and Universality: Proc./8th International Conference, MCU 2018, Fontainebleau, France, June 2018
Mathematical Foundations of Computer Science: Mathematical Theory of Computations: Proc./7th IBM Symposium, Tokyo, Japan, May 1982
Mathematical Theory and Computational Practice: Proc./5th Conference on Computability in Europe, CiE 2009. Heidelberg, Germany, July 2009
Membrane Computing: Revised Selected Papers/21st International Conference, CMC 2020, Virtual Event, september 2020
Models of Computation in Context: Proc./7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June/July 2011
Neural Information Processing, Part III: Proc./27th International Conference, ICONIP 2020, Bangkok, Thailand, November 2020
Neural Information Processing, Part II: Proc./27th International Conference, ICONIP 2020, Bangkok, Thailand, November 2020
Parallel Problem Solving from Nature - PPSN X: Proc./10th International Conference. Dortmund, Germany, September 2008
Parameterized and Exact Computation: Revised Selected Papers/9th International Symposium, IPEC 2014, Wroclaw, Poland, September 2014
Principles and Practice of Constraint Programming: Proc./20th International Conference, CP 2014, Lyon, France, September 2014
Programming Languages and Systems: Proc./28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Quantitative Evaluation of Systems: Proc./11th International Conference, QEST 2014, Florence, Italy, September 2014
Quantum Interaction: Selected Papers/7th International Conference, QI 2013, Leicester, UK, July 2013
Rainbow of Computer Science: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014
Static Analysis: Proc./21st International Symposium, SAS 2014, Munich, Germany, September 2014
The Nature of Computation: Proc./9th Conference on Computability in Europea, CiE 2013, ilan, Italy, July 2013
Theoretical Computer Science: Proc./7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 2012
Theoretical Computer Science: Proc./8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 2014
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014