Search Result

Save to File Save as CSV

Your search for 1128 returns 191 document(s)

Pengembangan aplikasi vehicle routing problem untuk PT. X

Author: Stefanus James Aditya; | Call Number: KP-2973 | Type: Kerja Praktek (KP)

Emergency Operation Characteristics of Vehicle Driver (V1-250 -- V1-253)

Author: Jianqiang Gong Xiao Wei; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem

Handbook of automated reasoning vol. II

Call Number: 006.3 Han | Type: Buku

Towards automated verification of database scripts

Author: Ade Azurat; I.S.W.B. Prasetya; T.E.J. Vos; H.Suhartanto; B. Widjaja, L.Y. Stefanus; Ricky Wenang; S. Aminah; Jimmy Bong | Call Number: Pub.Staf-PI-0044 | Type: Prosiding Internasional

Automated library circulation systems, 1977-78

Author: Dranov, Paula; | Call Number: 025.6 Dra a | Type: Buku Pusat

First-order logic and automated proving

Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku

Numerical methods for engineers: with programming and software applications

Author: Chapra, Steven C.; | Call Number: 511.024 6 Cha n | Type: Softcopy Buku

Mathematical modeling and digital simulation for engineers and scientists

Author: Smith, Jon M.; | Call Number: 001.424 Smi m | Type: Buku Pusat

Structured fortran 77 for engineers and scientist 2nd ed.

Author: Etter, D.M; | Call Number: 005.133 Ett s | Type: Buku Pusat

Mathematical methods for scientists and engineers: linear and nonlinear systems

Author: Kahn, Peter B.; | Call Number: 501.51 Kah m | Type: Buku Pusat

Prev 1 2 3 4 5 6 7 8 9 10 Next