Showing 221 - 240 of 446

221

PROGRAMMABLE DEVICES: THEIR ADVANTAGES AND DISADVANTAGES AND PROGRAMMING EQUIPMENT. I
GUNDLING WE ; SCHADE PA

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
222

PROGRAM TESTING: ART MEETS THEORY.
MILLER EF JR

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
223

PREDICTION OF SOFTWARE EFFORT AND PROJECT DURATION - FOUR NEW FORMULAS.
SCHNEIDER V

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
224

PORTABILITY OF NUMERICAL SOFTWARE. WORKSHOP; OAK BROOK, ILL.; 1976.

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
225

PILOT IMPLEMENTATIONS OF RELIABLE SYSTEMS.
RINGLAND G ; TRICE AR

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
226

PERSPECTIVES ON SOFTWARE ENGINEERING.
ZELKOWITZ MV

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
227

PATH PASCAL USER MANUAL
CAMPBELL RH ; KOLSTAD RB

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
228

PARALLEL PROGRAMMING: AN AXIOMATIC APPROACH.
HOARE CAR

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
229

PARALLEL PROCESSING. PROCEEDINGS OF THE SAGAMORE COMPUTER CONFERENCE; SAGAMORE; 1974.

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
230

OPERATING SYSTEM STRUCTURES TO SUPPORT SECURITY AND RELIABLE SOFTWARE.
LINDEN TA

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
231

ON VIRTUAL MACHINE INTEGRITY.

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
232

ON UNIVERSALITY OF CONCURRENT EXPRESSIONS WITH SYNCHRONIZATION PRIMITIVES
ITO T ; NISHITANI Y

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
233

ON THE PARTIAL COMPUTATION PRINCIPLE.
ERSHOV AP

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
234

ON THE FORMAL SPECIFICATION AND ANALYSIS OF LOOSELY CONNECTED PROCESSES
MILLER RE ; YAP CK

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
235

ON THE DESIGN AND SPECIFICATION OF MESSAGE ORIENTED PROGRAMS
CUNHA PRF ; LUCENA CJ ; MAIBAUM TSE

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
236

ON THE BASIC CONCEPTS OF SDS/SYSTEM DEVELOPMENT SYSTEM
DAVID G

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
237

ON THE BASIC CONCEPTS OF SDS (SYSTEM DEVELOPMENT SYSTEM)
DAVID G

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
238

ON THE ABSTRACT SPECIFICATION AND FORMAL ANALYSIS OF SYNCHRONIZATION PROPERTIES OF CONCURRENT SYSTEMS
LAUER PE ; SHIELDS MW

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
239

ON RELIABLE SOFTWARE DEVELOPMENT FOR MICROPROCESSORS
AGGARWAL KK ; SOI IM

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List
240

ON PARTITIONING PROGRAM GRAPHS.
PAIGE MR

Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Mathematiques Mathematics
Academic journal
Save to List

Filter