Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
https implementation » states implementation, its implementation, cites implementation
implementation https » instrumentation https, implementation _
program aid » program add, program aimed, program adik
aid https » mind https
https implementation » states implementation, its implementation, cites implementation
implementation https » instrumentation https, implementation _
program aid » program add, program aimed, program adik
aid https » mind https
1
Pubblicazione 2008
Sommario:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Testo
Elettronico
eBook
3
Pubblicazione 2014
Sommario:
“... Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A...”Testo
Elettronico
eBook
4
Soggetti:
“...Computer-Aided Engineering (CAD, CAE) and Design. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
5
Sommario:
“...Aid Effectiveness and Donor Preferences -- Aid Effectiveness and the Soft Budget Constraint...”
Testo
Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testo
Elettronico
eBook
8
Pubblicazione 2011
Soggetti:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Testo
Elettronico
eBook
9
Pubblicazione 2011
Soggetti:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Testo
Elettronico
eBook
10
Sommario:
“...Real-time and synchronous programming -- Generalities on Real-Time Programming -- Synchronous...”
Testo
Testo
Elettronico
eBook
11
Pubblicazione 2012
Sommario:
“...Foreword -- Part I: Overview of Family and HIV and Mental Health -- Families and HIV/AIDS: First...”Testo
Elettronico
eBook
12
Pubblicazione 2014
Sommario:
“... -- Chapter 2. Implementing Corporate Social Responsibility in India: Issues and the Beyond -- Chapter 3...”Testo
Elettronico
eBook
13
Soggetti:
“...Computer-Aided Engineering (CAD, CAE) and Design. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
14
Pubblicazione 2013
Sommario:
“...Preface -- Chapter 1. Women, Motherhood and Living with HIV/AIDS: An Introduction -- Part I. Women...”Testo
Elettronico
eBook
15
Soggetti:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
16
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
17
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
18
Sommario:
“...Introduction -- Technical Factors -- Human Factors -- Implementation Factors -- Associated...”
Testo
Testo
Elettronico
eBook
19
Pubblicazione 2008
Sommario:
“... Data Flow Analysis for OpenMP Programs -- Design and Implementation of OpenMPD: An OpenMP-Like...”Testo
Elettronico
eBook
20
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook