Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
Progress in Pattern Recognition, Image Analysis and Applications: Proc./10th Iberoamerican Congress on Pattern Recognition, CIARP 2005. Havana, Cuba, November 2005
Proof Methods of Declarative Properties of Definite Programs
Propagating Class and Method Combination
Protecting Digital Media Content
Protocol Analysis of a Novice Programmer
Proving Automated Support to Deductive Analysis of Time Critical Systems
Proving properties of processes
Putting into Practice Advanced Software Engineering Techniques through Students Project
Qualitative Methods in Empirical Studies of Software Engineering
Rabid Integration of Software Engineering Techniques: Revised Selected Papers/Third International Workshop, RISE 2006. Geneva, Switzerland, September 2006
Radical Innovations of Software and Systems Engineering in the Future: Proc./9th Intern. Workshop, RISSEF 2002, Venice, Italy, October 2002
Rapid Aplication of Lightweight Formal Methods for Consistency Analyses
RATCHET: Real-time Address Trace Compression Hardware for Extended Traces
Real-Time Process Algebra and Its Applications
Reasoning about Interference in an Object-Based Design Method
Reasoning over Networks by Symbolic Methods
Recent Advances in Constraints: Revised Selected and Invited Papers/Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004. Lausanne, Switzerland, June 2004
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/17th International Workshop, WADT 2004. Barcelona, Spain, March 2004
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/18th International Workshop, WADT 2006. La Roche en Ardenne, Belgium, June 2006
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/22nd International Workshop, WADT 2014, Sinaia, Romnia, September 2014
Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998
Rectangular Decomposition of Signature File: Design Issues and Performance Evaluation
Re-engineering of old systems to an object-oriented architecture.
Reflections on the Teaching of Programming: Methods and Implementations
Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
Reinventing Methodology: Who Reads It and Why?
Relational Algebra Operations
Relational and Algebraic Methods in Computer Science: Proc./15th International Conference, RAMiCS 2015, Braga, Portugal, September 2015
Relational and Kleene-Algebraic Methods in Computer Science: Rev.Sel.Papers/ 7th Intern.Seminar on Relational Methods in CS and 2nd Inter.Workhop on Applications of Kleene Algebra.Bad Malente,Germany,May 2003
Relational Methods in Computer Science: Proc./6th Intern. Conf., RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 2001
Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods
Resource Management Methods for General Purpose Massively Parallel OS SSS-Core
Resource Usage Modeling for Software Pipelining
Restructuring for Style
Reverse-Engineering: Revue de l etat de l art
Reverse Interpretation + Mutation Analysis = Automatic Retargeting
Revised Mixed Axiomatic Semantics Method of C Program Verification
Rewritable Reference Attributed Grammars
Rewriting Techniques and Applications: Proc./12th Intern. Conf., RTA 2001, Utrecht, The Netherlands, May 2001
Rewriting Techniques and Applications: Proc./15th International Conference,RTA 2004. Aachen,Germany,June 2004
Rewriting Techniques and Applications: Proc./5th Intern. Conf., RTA-93. Montreal, Canada, June 1993
Rewriting Techniques and Applications: Proc./6th Intern. Conf., RTA-95. Kaiserslautern, Germany, April 1995
Rewriting Techniques and Applications: Proc./8th Intern. Conf., RTA-97. Sitges, Spain, June 1997
Rigorous Object-Oriented Analysis
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
Robust Testing of AT&T PMX/StarMAIL Using OATS
Role Model Based Framework Design and Integration
Rotated Dispersed Dither: A New Technique for Digital Halftoning
SAMIA: A Bottom-up Learning Method Using a Simulated Annealing Algorithm
Scalability Analysis of Declustering Methods for Multidimensional Range Queries
« первая
‹ предыдущая
…
13
14
15
16
17
18
19
20
21
…
следующая ›
последняя »