| Your search for 13422 returns 3764 document(s) |
| Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 437-450 |
|
Author: Ahmed Bouajjani; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interactively verifying a simple real-time scheduler, (LNCS-Lecture Notes in Computer Science 939) Hal 395-408 |
|
Author: Colin Fidge; Peter Kearney; Mark Utting; | Call Number: 004 Int c | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hacker launches cyberattack from security site* new bus technology boosts performance* peer-to-peer goes hand to hand, page 23 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| What Users Do Besides Problem-Focused Coping When Facing IT Security Threats: An Emotion-Focused Coping Perspective, Page 373-394 |
|
Author: Huigang Liang, Yajiong Xue, Alain Pinsonneault, and Yu “Andy” Wu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Security monitoring |
|
Author: Fry, Chris; | Call Number: 005.8 Fry s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers & Security |
|
Call Number: [2 (1983): 1-3, 3 (1884): 1-4, 4 (1984): 1-4)
, 3 (1984): 1-4)
, 4 (1985): 1-4
, 5 (1986): 1-3, 6 (1987): 3-6, 7 (1988): 1-3; 5-6, 7 (1988): 4; 10 (1990: 1, 9 (1990): 2-7] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer security |
|
Author: editors Virginia, Alexandria; | Call Number: 005.8 Com | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer security |
|
Author: Golddmann, Dieter; | Call Number: 005.8 Gol c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Security in computing |
|
Author: Pfleeger, Charles P.; | Call Number: 005.8 Pfl s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer communications: architecture, protocols and standards 3rd ed. |
|
Author: Stallings, William; | Call Number: 004.6 Sta c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result