Search alternatives:
specified protocols » specific protocols, specific protocol
protocols resource » protocol resource, protocol resources, protocols research
protocols reports » protocols ports, protocols records, protocols reporting
Cover Image
Read Now

1
Published 1996
Humana
“... techniques are the focus ofPCR Sequencing Protocols. The first such technique is enzymatic chain termination...”
Cover Image
Read Now

2
Published 1996
Humana Press
“... techniques are the focus ofPCR Sequencing Protocols. The first such technique is enzymatic chain termination...”
Cover Image
Read Now

3
by Dooley, Kevin
Published 2003
O'Reilly
Table of Contents: “...; Problem; Solution; Discussion; 2.4 Using the Cisco Discovery Protocol; Problem; Solution; Discussion; See...”
Cover Image
Read Now

4
Published 2000
Springer US
Table of Contents: “... Protocol Using IOA and MONA -- 3. A Priori Verification of Reactive Systems -- 4. From Rule-based...”
Cover Image
Read Now

6
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Preliminary Report -- Conversation Protocols: Modeling and Implementing Conversations in Agent-Based Systems...”
Cover Image
Read Now

7
by Stanek, William
Published 2012
Microsoft Press
Table of Contents: “... Activity; Examining Process Information; Tracking Resource Waits and Blocks; Troubleshooting Deadlocks...”
Cover Image
Read Now

8
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... specifications -- A concurrency case study using RAISE -- Specifying a safety-critical control system in Z...”
Cover Image
Read Now

9
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Verification and Enforcement I -- Formally-Based Black-Box Monitoring of Security Protocols -- Secure Code...”
Cover Image
Read Now

11
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Extensions -- Specifying Input Port Bounds in SDL -- Translatable Finite State Time Machine -- Enhanced Use...”
Cover Image
Read Now

12
Published 1997
Springer London
Table of Contents: “... to Modelling and Analysis of Failure Properties -- Methodological Support for Formally Specifying Safety...”
Cover Image
Read Now

13
Published 2016
CRC Press
Table of Contents: “... processing -- 7. Algorithms for control with limited processing and communication resources -- 8. Signal...”
Cover Image
Read Now

14
by Friedman, Lawrence M., Furberg, Curt D., DeMets, David L.
Published 2010
Springer New York
Table of Contents: “... of Study Participants -- Data Collection and Quality Control -- Assessing and Reporting Adverse Events...”
Cover Image
Read Now

15
by Balachandar, Bogunuva Mohanram
Published 2017
Packt Publishing
Table of Contents: “... services -- Annotations for defining a RESTful resource -- @Path -- Annotations for specifying request...”
Cover Image
Read Now

16
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...”
Cover Image
Read Now

17
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude --...”
Cover Image
Read Now

18
by Friedman, Lawrence M., Furberg, Curt D., DeMets, David L., Reboussin, David M.
Published 2015
Springer International Publishing
Table of Contents: “... -- Recruitment of Study Participants -- Data Collection and Quality Control -- Assessment and Reporting of Harm...”
Cover Image
Read Now

19
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- 18. Networks for communicating CAD information -- 19. Overview on available networks and protocols...”
Cover Image
Read Now

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Scheduling -- A Cost Mechanism for Fair Pricing of Resource Usage -- A Delay Pricing Scheme for Real-Time...”