Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
program instruction » programed instruction, program construction, programmed instruction
instruction https » interaction https, instrumentation https
program program » programs program, programming program
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
program instruction » programed instruction, program construction, programmed instruction
instruction https » interaction https, instrumentation https
program program » programs program, programming program
1
Pubblicazione 2007
Sommario:
“... in the Animation of Z Specifications -- A Stronger Notion of Equivalence for Logic Programs -- A Register-Free...”Testo
Elettronico
eBook
2
Sommario:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Testo
Testo
Elettronico
eBook
3
Sommario:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Testo
Testo
Elettronico
eBook
4
Sommario:
“...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Testo
Testo
Elettronico
eBook
5
Sommario:
“... and Using NASM -- Debugging Assembly Language Programs -- Assembly Language -- A First Look at Assembly...”
Testo
Testo
Elettronico
eBook
6
7
Sommario:
“... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
Testo
Testo
Elettronico
eBook
8
Pubblicazione 2012
Sommario:
“...Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors...”Testo
Elettronico
eBook
9
Soggetti:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Testo
Testo
Elettronico
eBook
10
Sommario:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Testo
Testo
Elettronico
eBook
11
Sommario:
“... with a Real-Time C++ Program on a Board -- An Easy Jump-Start in Real-Time C++ -- Object-Oriented...”
Testo
Testo
Elettronico
eBook
12
Pubblicazione 2007
Sommario:
“... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...”Testo
Elettronico
eBook
13
Soggetti:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
14
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
15
Pubblicazione 2006
Sommario:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Testo
Elettronico
eBook
16
Pubblicazione 2005
Sommario:
“... in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword...”Testo
Elettronico
eBook
17
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
18
Pubblicazione 2008
Sommario:
“..., Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs...”Testo
Elettronico
eBook
19
Sommario:
“... -- Expressing Arguments -- Defining Data Structures -- Expressing Problem Specifications -- Expressing Program...”
Testo
Testo
Elettronico
eBook
20
Pubblicazione 2010
Sommario:
“...: Applications 1 -- Application-Specific Signatures for Transactional Memory in Soft Processors -- Towards Rapid...”Testo
Elettronico
eBook