| Your search for 53577 returns 618 document(s) |
| Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18 |
|
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199 |
|
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138 |
|
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design For Graphical Manual Created by Computer Tools in the DIY products: Exploring the effects About Color and Other Elements of design |
|
Author: Ming-Chin Chiang, Chih-Fu Wu; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations for designing user-centered systems: what system designers need to know about people |
|
Author: Ritter, Frank E.; | Call Number: 004.019 Rit f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schools that learn: a fifth discipline fieldbook for educators, parents, and everyone who cares about education/Peter Senge |
|
Call Number: 658.402 Sch | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Secrets and Lies: Digital security in a Networked world whith new information about post 9/11 security |
|
Author: Schneier, I Bruce; | Call Number: 005.8 Sch s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The internet book: everithing you need to know about computer networking and how the internet works/Douglas E. Comer |
|
Author: Comer, Douglas; | Call Number: 004.67 Com i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The case of the killer robot: : stories about the professional, ethical, and societal dimensions of computing/Richard G. Epstein |
|
Author: Epstein, Richad G.; | Call Number: 629.892 Eps s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Eksplorasi Terhadap Pengimplementasian Multi-Companydan PPh 26 pada Aplikasi Care About Tax and Payroll(CATAPA) |
|
Author: Rindu Salsabilla Chandra; | Call Number: KP-3372 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result