Вы здесь

Главная

метод

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

Scalable Uncertainty Managemant: Proc./ Second International Conference, SUM 2008. Naples, Italy, October 2008
Scale Space and PDE Methods in Computer Vision: Proc./5th International Conference, Scale-Space 2005. Hofgeismar, Germany, April 2005
Scenario-Based Analysis of Software Architecture
Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards
Schnelle Recovery-Algorithmen fur Datenbanksysteme. Teil 1: Konzepte und Fallunterscheidungen
Scientific Engineering of Distributed Java Applications: Revised Selected Papers/4th International Workshop, FIDJI 2004. Luxembourg-Kirchberg, Luxembourg, November 2004
Sculpting: An Interactive Volumetric Modeling Technique
Security through Type Analysis
Selector Table Indexing & Sparse Arrays
Self-Organizing Qualitative Multimodel Control
Semantic Models and Abstract Interpretation Techniques for Inductive Data Structures and Pointers
Semantic Techniques for the Web: The REWERSE Perspective
SEMAT - взгляд на три года вперед
Service Specification and Its Protocol Specifications in LOTOS - A Survey for Synthesis and Execution
Set-Derivability of Multidimensional Aggregates
Seven More Myths of Formal Methods: Dispelling Industrial Prejudices
Shlaer/Mellor or Rumbaugh? A Discussion of Two Popular Object-Oriented Methods
SIGOIS Bull.: Conf. on Organizational Computing Systems, November 5-8, 1991, Atlanta, Georgia.
Simulation of complex phenomena by Cellular Automata composition
SOFL: A Formal Engineering Methodology for Industrial Applications
SOFSEM 2016: Theory and Practice of Computer Science: Proc./42nd International Conference on Current Trends in Theory and Practice of CS, Harrachov, Czech Republic, January 2016
Soft Typing with Conditional Types
Software and safety: how compatible are they?
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 2014
Software Metrics and Measurement Principles
Software Performance Engineering
Software Process and Product Measurement: Proc./ International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 2009
Software Process and Product Measurement: Revised Papers/International Conference, IWSM-Mensura 2007. Palma de Mallorca, Spain, November 2007
Software Process Improvement: Proc./12th European Conference, EuroSPI 2005. Budapest, Hungary, November 2005
Software Product Lines: Proc./Third International Conference, SPLC 2004. Boston, MA, USA, August/September 2004
Software Reuse at G-MRC
Software Reuse - Methods, Techniques, and Tools: Proc./7th Intern. Conf., ICSR-7, Austin, TX, USA, April 2002
Software Reuse: Methods, Techniques, and Tools: Proceedings/8th International Conference, ICSR 2004, Madrid, Spain, July 2004.
Software Testing
Software und Software-Entwicklung im Wandel: ein historischer Vergleich
Solutions to the Communication Minimization Problem for Affine Recurrence Equations
Some Features of Modern Computational Mathematics: Problems and New Generation of Algorithms
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
Some Synthesis Aspects for Data Parallel Programming
Space- and Time-Efficient Memory Layout for Multiple Inheritance
Space Efficient Conservative Garbage Collection
Spatial Database Access Methods
Specification and Analysis of a Security Management System
Specification of Real-Time Systems Using ASTRAL
Specification Techniques for Supporting Software Modularity and Improving Design Documentation
Specifying Gestures by Example
Spectral and Shape Analysis in Medical Imaging: Revised Selected Papers/1st International Workshop, SeSAMI 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016
Speculative Disambiguation: A Compilation Technique for Dynamic Memory Disambiguation
Speech and Computer: Proc./15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 2013
SPMS+: un outil pour gerer le "developmental baseline"