Search alternatives:
specifics open » specifying open

1
by Luckham, David
Published 1990
Springer New York
Table of Contents: ... -- 0.3 Applying Anna -- 0.4 Environments for Programming with Specifications -- 0.5 Future Developments...

2
Published 1976
Springer US
Table of Contents: ...Opening Address -- The Phenomenon of Specificity in Plant Disease -- Tissue and Organ Specificity...

3
Published 1992
Springer London
Table of Contents: ...-Oriented Query Language Definition -- Reasoning about a Modular Model-Oriented Formal Specification...

4
Published 1996
Physica
Table of Contents: ...I General Perspectives -- Changes in Technological and Trade Specialisation Among Open Economies...

5
by Lai, Richard, Jirachiefpattana, Ajin
Published 1998
Springer US
... descriptions of OSI protocol standards to be written, and allowing such specifications to be verified...

6
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...The work of CCITT in the field of telematic services -- NBS Program in Open Systems Interconnection...

7
by Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents: ... specification of open distributed systems -- 2.1 Basic architectural concepts -- 2.2 System architectures -- 2.3...

8
Published 1995
Springer US
Table of Contents: ... Intercessory objects within channels -- 19 A fault-tolerant remote procedure call system for open distributed...

9
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge...

10
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... of Alloantigen-Specific Cytotoxic T Cell Activity in the TCR?? T Cell Subpopulation of Alloantigen-Immune...

11
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... Modelling Levels -- 5.1 CIM-OSA Requirements Definition Modelling Level -- 5.2 CIM-OSA Design Specification...

12
Published 1998
Springer US
Table of Contents: ... -- 17. SDL specification and verification of universal personal computing : with Object GEODE -- 18...

13
Published 1990
Springer Netherlands
Table of Contents: ...Sequence-Specific Recognition and CLeavage of Duplex DNA by Derivatized Oligonucleotides -- Bis...

14
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- Towards Structure Specification for Open Hypermedia Systems -- Structural Computing: Evolutionary...

15
by Appelt, Wolfgang
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...: Formal Specifications -- 9.1 The Goal of the Formal Specifications -- 9.2 The Formal Description...

16
Published 1999
Springer London
Table of Contents: ... -- 37 Open problems in the area of pole placement -- 38 An optimal control theory for systems defined...

17
Published 1992
Springer Netherlands
... of specific personality traits, attitudes to life, family situation, and socio-economic and political freedom...

18
by Wainwright, Peter
Published 2004
Apress
Subjects: ...Open source software...

19
by Cecille, Messrs L., Casarci, M., Pietrelli, L.
Published 1991
Springer Netherlands
Table of Contents: ...Opening Session -- Welcome Address -- Opening Address -- Areas Where Advanced Separation Techniques...

20
Published 1987
Springer Japan
Table of Contents: ... Specification -- ?BTRON Bus: Design and Evaluation of Musical Data Transfer -- An Implementation of the TRON...