Вы здесь

Главная

Heidelberg

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

Wordwide Computing and Its Applications: Proc./Intern. Conf., WWCA 97. Tsukuba, Japan, March 1997
Workflow Management Systems for Process Organisations
Workshop for PhD Students in Object Oriented Programming
Workshop Report - ECOOP 98 Workshop 7 Tools and Environments for Business Rules
Worldwide Computing and Its Applications - WWCA 98: Proc./Second Intern. Conf. Tsukuba, Japan, March 1998
WWW Exploration Queries
XGuide - Concurrent Web Engineering with Contracts
XML4Ada95: Accessing XML Using thr DOM in Ada 95
XML and Object Technology
XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops: Proc./EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prague, Czech Republic, March 2002
XML-Based Feature Modelling
XML Queryes via SQL
XML Query Languages in Practice: An Evaluation
XVCL Approach to Separating Concerns in Product Family Assets
ZB 2000: Formal Specification and Development in Z and B: Proc./First Intern. Conf. of B and Z Users, York, UK, August-September 2000
ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002
ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003
ZB 2005: Formal Specification and Development in Z and B: Proc./4th International Conference of B and Z Users. Guildford, UK, April 2005
Z Browser - Tool for Visualisation of Z Specifications
ZUM 95: The Z Formal Specification Notation: Proc./9th International Conference of Z Users. Limerick, Ireland, September 1995
ZUM 97: The Z Formal Specification Nonation: Proc./10th Intern. Conf. of Z Users. Reading, UK, April 1997
ZUM 98: The Z Formal Specification Notation: Proc./11th Intern. Conf. of Z Users. Berlin, Germany, September 1998
Методы построения и верификации моделей системного программного обеспечения информационно-управляю их систем
Поведенческий и инструментальный аспекты проектирования встроенных вычислительных систем
Системы переписывания формул и их применение в автоматической верификации программ