Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
теория
Связанные издания:
Fitts Law as a Design Artefact: A Paradigm Case of Theory in Software Design
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
Formal Concept Analysis: Proc./7th International Conference, ICFCA 2009. Darmstadt, Germany, May 2009
Formalising Formulas-as-Types-as-Objects
Formalizing the Halting Problem in a Constructive Type Theory
Formal Reasoning on Timing at the Timing Diagram Level
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic
Form and Content in Computer Science
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement
Foundations of Computer Science: Potential - Theory - Cognition
Foundations of Software Science and Computation Structures: Proc./5th Intern. Conf., FOSSACS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002
Foundations of Software Science and Computation Structures: Proc./6th Intern. Conf., FOSSACS 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003
Foundations of Software Science and Computation Structures: Proc./Second Intern. Conf., FOSSACS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999
Foundations of Software Science and Computation Structures: Proc./Third Intern. Conf., FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000
Foundations of Software Technology and Theoretical Computer Science: Proc./12th Conf., New Delhi, India, December 1992
Foundations of Software Technology and Theoretical Computer Science: Proc./14th Conf. Madras, India, December 1994
Foundations of Software Technology and Theoretical Computer Science: Proc./15th Conf. Bangalore, India, December 1995
Foundations of Software Technology and Theoretical Computer Science: Proc./16th Conf. Hyderabad, India, December 1996
Foundations of Software Technology and Theoretical Computer Science: Proc./17th Conf. Kharagpur, India, December 1997
Foundations of Software Technology and Theoretical Computer Science: Proc./19th Conf. Chennai, India, December 1999
From Coloured Petri Nets to Object Petri Nets
From Quadrangular Sets to the Budget Matroids
From Semantics to Rules: A Machine Assisted Analysis
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: Proc./20th Conference. New Delhi,India,Ddecember 2000
FST TCS 2001 - Foundations of Software Technology and Theoretical Computer Science: Proc./21st Conf., Bangalore, India, December 2001
FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science: Proc./22nd Conf., Kanpur, India, December 2002
FST TCS 2003 - Foundations of Software Technology and Theoretical Computer Science: Proc./23rd Conf., Mumbai, India, December 2003
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Proc./24th International Conference. Chennai, India, December 2004
Fundamentals of Computation Theory: 1th Intern. Symp., FCT 97. Krakow, Poland, September 1997
Fundamentals of Computation Theory: Proc./12th Intern. Symp., FCT 99. Iasi, Romania, August-September 1999
Fundamentals of Computation Theory: Proc./14th Intern. Symp., FCT 2003, Malmo, Sweden, August 2003
Fundamentals of Computation Theory: Proc./16th International Symposium, FCT 2007. Budapest, Hungary, August 2007
Fundamentals of Computation Theory: Proc./9th Intern. Conf., FCT 93. Szeged, Hungary, August 1993
Future Trends of TAPSOFT
Fuzzy Sets as a Tool for Modeling
Generalization in Type Theory Based Proof Assistants
Generalizing Domain Theory
General Recursion in Type Theory
Godel s Dialectica Interpretation and Its Two-Way Stretch
Grammatical Inference: Proc./4th Intern. Colloquium, ICGI-98. Ames, Iows, USA, July 1998
Graph-Theoretical Methods in Computer Vision
Graph-Theoretic Concepts in Computer Science: Proc./18th Intern.Workshop, WG 92, Wiesbaden-Naurod, Germany, June 1992
Graph-Theoretic Concepts in Computer Science: Proc./19th Intern. Workshop, WG 93. Utrecht, The Netherlands, June 1993
Graph-Theoretic Concepts in Computer Science: Proc./20th Intern. Workshop, WG 94. Herrsching, Germany, June 1994
Graph-Theoretic Concepts in Computer Science: Proc./21st International Workshop, WG 95, Aachen, Germany, June 1995
Graph-Theoretic Concepts in Computer Science: Proc./22nd Intern. Workshop, WG 96. Cadenabbia, Italy, June 1996
Graph-Theoretic Concepts in Computer Science: Proc./23rd Intern. Workshop, WG 97. Berlin, Germany, June 1997
Graph-Theoretic Concepts in Computer Science: Proc./24th Intern. Workshop, WG 98. Smolenice Castle, Slovak Republic, June 1998
Graph-Theoretic Concepts in Computer Science: Revised Papers/29th Intern. Workshop, WG 2003, Elspeet, The Netherlands, June 2003
« первая
‹ предыдущая
…
3
4
5
6
7
8
9
10
11
…
следующая ›
последняя »