Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Programming --- System Design --- System Analysis --- System analysis --- System design --- 681.3*J6 --- Design, System --- Systems design --- Electronic data processing --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- System analysis. --- System design. --- 681.3*J6 Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- Network analysis --- Network science --- Ccs --- Specification --- Algebraic Specification --- Vdm
Choose an application
Computer architecture. Operating systems --- Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- 681.3*D13 --- 681.3*D21 --- 681.3*D24 --- 681.3*F12 --- Concurrent programming --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D13 Concurrent programming --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Parallélisme (Informatique) --- Congrès --- Computer network architectures. --- Logic design. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Parallel processing (Electronic computers) - Congresses
Listing 1 - 2 of 2 |
Sort by
|