Search Result

Your search for 36740 returns 2708 document(s)

Proactive fault-management in software systems, Hal. 3-6

Author: Kishor S. Trivedi; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem

Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6

Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

Journal of Systems and Software

Call Number: [3 (1983): 1-4, 4 (1984): 1-4, 5 (1985): 1-3, 7 (1987): 1-4, 24 (1994): 1-2; 32 (1996): 3; 33 (1996): 1, 33 (1986): 1-3; 24 (1996): 2-3, 1 (1979/80): 1,3; 5 (1985): 1] | Type: Jurnal/ Majalah

Operating systems minix 2.0 software for operating systems

Author: Tanembaum; | Call Number: 005.43 Tan o | Type: Softcopy Buku

System software : an introduction to systems programming

Author: Beck, Leland L.; | Call Number: 001.642 Bec s | Type: Buku Pusat

Microprocessor systems: software, firmware and hardware

Call Number: 004.16 Mic | Type: Buku Pusat

Software engineering with systems analysis and design

Author: Steward, Donald V.; | Call Number: 005.1 Ste s | Type: Buku Pusat

Hardware/ software design of digital systems

Author: Bywater, R.E.H.; | Call Number: 621.39 Byw h | Type: Buku Pusat

XPlay: a systems management software, Hal. 32-39

Author: I Wayan S. Wicaksana; | Call Number: SEM-258 | Type: Indeks Artikel prosiding/Sem

Analytic methods in systems and software testing

Call Number: 005.1 Ana | Type: Buku

Prev 1 2 3 4 5 6 7 8 9 10 Next