Search Result

Save to File Save as CSV

Your search for 16148 returns 1192 document(s)

The Logical basis for computer programming vol. II deductive systems

Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat

Discrete optimization: integer programming and network analsyis for management decisions

Author: Plane, Donald R.; | Call Number: 519.7 Pla d | Type: Buku

The logical basis for computer programming vol. 2: deductive systems

Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku

Implementasi algoritma integer linier programming untuk sistem informasi penjadwalan ruangan di Fakultas Ilmu Komputer Universitas Indonesia

Author: A. Rahadian H.; Alfira F.; Anniesa M. Gayuh P.P dan Elly Matul I. | Call Number: JURNAL SISTEM INFORMASI, Vol. 7 (2011): No.1 | Type: UI-ana Indek Artikel

An Integer Programming-based Local Search for Large-scale Maximal Convering Problems (529-536)

Author: Junha Hwang Sungyoung Kim; | Call Number: SEM-323 | Type: Indeks Artikel prosiding/Sem

On conceptual modelling: perspectives from artificial intelligence, databases, and programming languages

Call Number: 006.3 Onc | Type: Buku

Logic Programming as Contructivism: A Formalization and its Application to Databases (34-50)

Author: Francois Bry; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem

Integer and combinatorial optimization

Author: Nemhauser, Geoge L.; | Call Number: 519.77 Nem i | Type: Buku Pusat

Tail recursion elimination in deductive database

Author: Kenneth A. Ross | Type: Indeks Artikel Jurnal

Integer and combinatorial optimization/George L. Nemhauser

Author: Nemhauser, George L.; | Call Number: 519.77 Nem i | Type: Buku

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