| Your search for 13650 returns 4291 document(s) |
| Digital computing and numerical methods: with fortran IV, watfor, and watfiv programming/ Brice Carnahan |
|
Author: Carnahan, Brice; | Call Number: 004 Car d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128 |
|
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Neuro-fuzzy pattern recognition: methods in soft computing/Sankar K. Pal |
|
Author: Pal, Sankar K.; | Call Number: 006.3 Pal n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical problem-solving with the microcomputer: project to increase your basic programming skill a collection of challenging problems, with complete program listings, hints, and solutions/ Stephen L. Snover; Mark A. Spikell |
|
Author: Snover, Stephen L.; | Call Number: 005.26 Sno m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Papers from the seventh IFIP international meeting on protocol specification, testing and verification Zurich, May 5-8, 1987/ Harry Rudin; Colin H. West |
|
Call Number: SEM-102 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New Methods and Tool for the Development and Verification of Safety Functions during Development of Pedestrian Detection Systems (434-438) |
|
Author: Hadj Hamma Tadjine
Karsten Schulze
Rene Roelling
Herold Daniel; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252 |
|
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result