Search alternatives:
specifying open » specifying agent, specifying complex, specifying color
specific ocean » pacific ocean, specific open, specific organs

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
by Lai, Richard, Jirachiefpattana, Ajin
Published 1998
Springer US
... descriptions of OSI protocol standards to be written, and allowing such specifications to be verified...

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...MODELLING AND ANALYZING ORGANIZATIONS -- Structural Aspects of the Evaluation of Agent...

4
by Chodorow, Kristina
Published 2010
O'Reilly Media
Table of Contents: ...; Catching "Normal" Errors; Requests and Connections; Chapter 4. Querying; Introduction to find; Specifying...

5
Published 2006
National Institute for Health and Clinical Excellence (NICE)
Subjects: ...Preventive Health Services / organization & administration...

6
Published 2006
National Institute for Health and Clinical Excellence (NICE)
Subjects: ...Preventive Health Services / organization & administration...

7
by Mainkar, Prajyot
Published 2017
Packt Publishing
Table of Contents: ... Responsibility Principle -- Open-Closed Principle -- Liskov Substitution Principle -- Interface Segregation...

8
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... to Collaborative Value Quantification -- Change and Evolution -- Specifying Changes Only – A Case Study on Delta...

9
by Conlan, Chris
Published 2017
Apress, Distributed to the Book trade worldwide by Springer
Table of Contents: ...Bpy.types, bpy.utils, and bpy.propsbpy.path; Selection, Activation, and Specification; Selecting...

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- From Implicit Specifications to Explicit Designs in Reactive System Development -- Basic-REAL...

11
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- WS-Specification: Specifying Web Services Using UDDI Improvements -- Modeling Web Services...

12
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- 2 System Modeling in Constraint Nets -- 3 Requirements Specification in Timed V-Automata -- 4 Hybrid...

13
by Radcliffe, Nicholas
Published 2012
O'Reilly Media
Table of Contents: ...Table of Contents; Preface; Organization of this Book; Versions; Conventions Used in This Book...

14
Published 1994
Springer London
Table of Contents: ...Opening Address by the Rector of the University of Twente -- Welcoming Address AMAST’93 -- Invited...

15
by Oehmichen, Manfred, Auer, Roland N., König, Hans Günter
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Principles of Mechanical Trauma -- Injuries of the Brain’s Coverings -- Open Brain Injuries -- Closed Brain...

16
Published 2019
Springer International Publishing
Table of Contents: ... -- Specific Pathology in Women: Body Image, Corporality and Corporeality -- Body and corporality -- Concept...

17
by Moss, Greg
Published 2018
Packt Publishing
Table of Contents: ... the current chart of accounts -- Getting more information on a specific account -- Learning how transactions...

18
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Services -- An Architecture for Unifying Web Services Authentication and Authorization -- Specifying Web...

19
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...What Would It Mean to Blog on the Semantic Web? -- The Protégé OWL Plugin: An Open Development...

20
Published 2021
Springer International Publishing
Table of Contents: ... Testing for RoboChart -- Languages for Specifying Missions of Robotic Applications -- RoboStar Technology...