| Your search for 36739 returns 1114 document(s) |
| Conflict Resolution Dalam Formasasi Bureaucratic Rule (13-18) |
|
Author: Muhammad Arif; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New Proof of An Identity of Jetter and Stockler for Multivariate Bernstein Polynomials, page 297-301 |
|
Author: U. Abel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842 |
|
Author: D. J. D. Hughes, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62 |
|
Author: Robert R. Schneck; George C. Necula; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Connection-based proof search in propositional BI logic, Hal. 111-128 |
|
Author: Didier Glamiche; Daniel Mery; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Small proof witnesses for LF, (LNCS-Lecture Notes in Computer Science) Hal 387-401 |
|
Author: Susmit Sarkar; Brigitte Pientka; Karl Crary; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
|
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Proof of Concept Berbagai API Teknologi Web dalam Aplikasi Mobile Web Tokopedia |
|
Author: Arga Ghulam Ahmad; | Call Number: KP-3169 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi POC (Proof Of Concept) Product discovery pada kata platform |
|
Author: Azhar Kurnia; | Call Number: KP-3269 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof of concept.NET application with hibernate method and SQL express database |
|
Author: Handre Duriana; | Call Number: KP-1440 (Softcopy KP-1001 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result