Search Result Save to File Save as CSV
Your search for 14216 returns 3597 document(s)
Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using Spreadsheet Calculations to Demonstrate the Importance of a Correct Problem Specification (475-482)
Author: Gabriela Lovaszova; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Data models
Author: Tsischitzis, Dionysios C.; | Call Number: 005.74 Tsi d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Pattern models
Author: Ahuja, Narendra; | Call Number: 006.4 Ahu p | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Models of thought
Author: Simon, Herbert A.; | Call Number: 153.1 Sim m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A constraint based agent for tac-scm, (LNCS-Lecture Notes in Computer Science 3709) Hal 839
Author: David A. Burke; Kenneth N. Brown; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan prototipe submodul apotek untuk modul SCM (supply Chain Management PT Kimia Farma)
Author: Ariyanto, Windy; | Call Number: KP-0453 (Softkopi KP-79) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Pembuatan model proses bisnis pada aplikasi supply chain management berbasis business pattern studi kasus SITE-e-SCM
Author: Iman Budi Setiawan; | Call Number: T-0346 (Softcopy T-0105) | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan SCM SPLE-Live dengan React, Flask dan GraphQL di Laboratorium RSE Fakultas Ilmu Komputer Universitas Indonesia
Author: Muhammad Audrian Ananda Priambodo; | Call Number: KP-3396 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next