Вы здесь

Главная

анализ

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

Theory-Based Negotiation Frameworks for Supporting Group Work
The Paradigms of Programming
The Power of Assignment Motion
The Pragmatics of Software Agents: Analysis and Design of Agent Communication Languages
The Process of Object-Oriented Design
The Program Structure Tree: Computing Control Regions in Linear Time
The Program Understanding Problem: Analysis and a Heuristic Approach
The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
The Role of Computer Software in Numerical Analysis Teaching
The Rough Sets Approach to Knowledge Analysis for Classification Support in Technical Diagnostics of Mechanical Objects
The SAZ Project: Integrating SSADM and Z
The SECReTS Banking Expert System from Phase 1 to Phase 2
The Semantic Web: ESWC 2011 Workshops: Revised Selected Papers/ESWC 2011 Workshops, Heraklion, Greece, May 2011
The Semantic Web - ISWC 2012. Part I: Proc./11th International Semantic Web Conference, Boston,MA,USA, November 2012
The Semantic Web: Research and Applications: Proc./Second European Semantic Web Conference, ESWC 2005. Heraklion, Crete, Greece, May/June 2005
The Uniformity Principle for E-definability with Applications to Computable Analysis
The Use of the parsing method for optimal code generation and common subexpression elimination
The Versatility of Handling Disjunctions as Constraints
The Z/EVES System
Thread-Sensitive Points-to Analysis for Multithreased Java Programs
Three Selected Case Studies in Verification
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems
Time Warp Simulation Using Time Scale Decomposition
Timing Analysis of Ada Tasking Programs
TOM - Efficient Monitoring Infrastructure for Multithreaded Programs
Tools and Algorithms for the Construction and Analysis of Systems: Proc./10th Intern. Conf., TACAS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004
Tools and Algorithms for the Construction and Analysis of Systems: Proc./11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007
Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009
Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Tools and Algorithms for the Construction and Analysis of Systems: Proc./4th Intern. Conf., TACAS 98 Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998
Tools and Algorithms for the Construction and Analysis of Systems: Proc./5th Intern. Conf., TACAS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999
Tools and Algorithms for the Construction and Analysis of Systems: Proc./6th Intern. Conf., TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000
Tools and Algorithms for the Construction and Analysis of Systems: Proc./ 7th International Conference,TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2001. Genova,Italy,April 2001
Tools and Algorithms for the Construction and Analysis of Systems: Proc./8th Intern. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002
Tools and Algorithms for the Construction and Analysis of Systems: Proc./9th Intern. Conf., TACAS 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003
Tools and Algorithms for the Construction and Analysis of Systems: Proc./Second Intern. Workshop, TACAS 96. Passau, Germany, March 1996
Tools and Algorithms for the Construction and Analysis of Systems: Proc./Third Intern. Workshop, TACAS 97. Enschede, The Netherlands, April 1997
Tools and Algorithms for the Construction and Analysis of Systems: Selected Papers/First Intern. Workshop, TACAS 95, Aarhus, Denmark, May 1995
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems
Toward Formalizing Structured Analysis
Towards a Concurrent Semantics Based Analysis of CC and CLP
Towards a Formalization of the Unified Modeling Language
Towards a General Purpose Approach to Object-Oriented Analysis
Towards a Modular Analysis of Coloured Petri Nets
Towards a Theory of Domain Knowledge for Reuse
Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models
Towards Requirements-Driven Information Systems Engineering: The Tropos Project
Traffic Monitoring and Analysis: Proc./6th International Workshop, TMA 2014, London, UK, April 2014
Traffic Monitoring and Analysis: Proc./First International Workshop, TMA 2009. Aachen, Germany, May 2009