Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
теория
Связанные издания:
Computer Aided Systems Theory - EUROCAST 2003: Proc./9th Intern. Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 2003
Computer Aided Systems Theory - EUROCAST 93: Proc./A Selection of Papers from the Third Intern. Workshop on Computer Aided Systems Theory. Las Palmas, Spain, February
Computer Aided Systems Theory - EUROCAST 95: Proc./Fifth Intern. Workshop on Computer Aided Systems Theory. Innsbruck, Austria, May 1995
Computer Aided Systems Theory - EUROCAST 97: Proc./6th Intern. Workshop on Computer Aided Systems Theory. Las Palmas de Gran Canaria, Spain, February 1997
Computer Aided Systems Theory - EUROCAST 99: Proc./7th Intern. Workshop on Computer Aided Systems Theory, Vienna, Austria, September-October 1999
Computer and Information Sciences - ISCIS 2003: Proc./18th Intern. Symp., Antalya, Turkey, November 2003
Computer Programming as an Art
Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999
Computer Science Logic: Proc./14th Intern. Workshop, CSL 2000, Annual Conf. of the EACSL, Fischbachau, Germany, August 2000
Computer Science Logic: Selected Papers/ 8th Workshop, CSL 94, Kazimierz, Poland, September 1994
Computer Science - Theory and Applications: Proc./10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 2015
Computer Science Today
Computing and Combinatirics: Proc./9th Annual Intern. Conf., COCOON 2003, Big Sky, MT, USA, July 2003
Conceptual Structures: Applications, Implementation and Theory: Proc./Third International Conference on Conceptual Structures, ICCS 95 Santa Cruz, CA USA, August 1995
CONCUR 2000 - Concurrency Theory: Proc./11th Intern. Conf., University Park, PA, USA, August 2000
CONCUR 2001 - Concurrency Theory: Proc./12th Intern. Conf., Aalborg, Denmark, August 2001
CONCUR 2002 - Concurrency Theory: Proc./13th Intern. Conf., Brno, Czech Republic, August 2002
CONCUR 2003 - Concurrency Theory: Proc./14th Intern. Conf., Marseille, France, September 2003
CONCUR 92: Proc./Third Intern. Conf. on Concurrency Theory. Stony Brook, NY, USA, August 1992
CONCUR 93: Proc./ 4th Intern. Conf. on Concurrency Theory. Hildesheim, Germany, August 1993
CONCUR 94: Concurrency Theory: Proc./5th Intern. Conf. Uppsala, Sweden, August 1994
CONCUR 95: Concurrency Theory: Proc./ 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995
CONCUR 96: Concurrency Theory: Proc./7th International Conference. Pisa,Italy,August 1996
CONCUR 97: Concurrency Theory: Proc./8th Intern. Conf. Warsaw, Poland, July 1997
CONCUR 99 - Concurrency Theory: Proc./10th Intern. Conf. Eindhoven, The Netherlands, August 1999
Concurrency: Theory, Language, and Architecture: Proc./UK/Japan Workshop, Oxford, September 1989
Concurrency Theory: Proc./9th Intern. Conf., CONCUR 98. Nice, France, September 1998
Concurrent Testing for Timed event Structures
Concurrent testing of processes
Confluence of Processes and Systems of Objects
Conjectures and Refutations in Database Design and Dependency Theory
Conservative Extensions, Interpretation Between Theories and All That!
Conservativity of Equality Reflection over Intensional Type Theory
Constraint-Generating Dependencies
Constructing Software Design Theories and Models
Constructive Natural Deduction and Its " -set" Interpretation
Constructivity in Computer Science: Proc./Summer Symposium. San Antonio, TX, June 1991
Converging End-User and Corporate Computing
Coordination Theory and Software Process Technology
Cryptographic Limitations on Learning Boolean Formulae and Finite Automata
Cyclic Orders and the axiomatization of causality and concurrency in periodic processes
Database Machines and Database Management
Database Theory - ICDT 2001: Proc./8th International Conference London,UK,January 2001
Database Theory - ICDT 2003: Proc./9th Intern. Conf., Siena, Italy, January 2003
Database Theory- ICDT 92: Proc./4th Intern. Conf., Berlin, Germany, October 1992
Database Theory - ICDT 95: Proc./5th Intern. Conf. Prague, Czech Republic, January 1995
Database Theory - ICDT 97: Proc./6th Intern. Conf. Delphi, Greece, January 1997
Database Theory - ICDT 99: Proc./7th International Conference. Jerusalem, Israel, January 1999
Database Theory in Russia (1979-1991) (an overview)
Data Mining: Granular Computing Approach
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »