Consistency techniques for linear arithmetic and functional constraints /

Consistency techniques for linear arithmetic and functional constraints /

Saved in:

書目詳細資料
主要作者:	Zhang, Yuanlin
格式:	Thesis 圖書
語言:	English
出版:	1998.
主題:	Constraints programming. Linear programming. Functional programming (Computer science)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

An approach to distributed functional programming /
由: Arun Kumar C. B.
出版: (1996)

Analytical Approach for Linear Programming Using Barrier and Penalty Function Methods
由: Moengin, Parwadi
出版: (2003)

Satu Pendekatan Geometri Bagi Masalah Pengaturcaraan Linear
由: Jaafar, Azmi
出版: (1997)

An implementation of an interior point method for extended linear-quadratic programming /
由: Wee, Kwan Eng
出版: (1995)

Linear programming approach for scheduling sports league problems in Malaysia
由: Ahmad Rosdi, Muhammad Ifwat
出版: (2017)

Optimal directional overcurrent relays coordination based on combination of metaheuristic and linear programming techniques /
由: Suzana Pil Ramli
出版: (2022)

The pragmatics of tupling /
由: Goh Aik Hui
出版: (1998)

Synchronisation analysis for tupling /
由: Lee, Tat Wee
出版: (1997)

Integrity Constraints Maintenance For Parallel Databases
由: Ahmad Hamed Hanandeh, Feras
出版: (2006)

Linear programming planning model for Malaysian agricultural sector /
由: Kong, Yeng Kin
出版: (1977)

Image coefficient prediction using linear programming method /
由: Tan, Kuan Yew
出版: (2018)

A fuzzy dynamic constraint model /
由: Zhang, Cheng
出版: (1998)

Power functions of the general maximum likelihood ratio tests for hypotheses in a nonlinear regression model /
由: Loke, Winnifred Ling Marn

A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /
由: Li, Zhenpeng
出版: (1996)

Test case generation from state machine with OCL constraints using search-based techniques /
由: Saeed, Aneesa Ali Ali
出版: (2017)

Implementation of a polymorphic typechecking system /
由: Sufian Idris
出版: (1990)

Effective query translation technique in Hausa cross-language information retrieval system /
由: Ibrahim, Muhamad Sani
出版: (2017)

The implementation of BaLinda C and C++ for sun systems /
由: Wang, Qun
出版: (1997)

Dynamic linear programming model for quarterly budget allocation and execution / Rossidah Wan Abdul Aziz
由: Wan Abdul Aziz, Rossidah
出版: (2019)

A parallel lisp system /
由: Wong, Weng Fai
出版: (1991)

An object-based concurrent language ABCL/1 on transputers /
由: Lai, Siet Leng
出版: (1992)

Application of fuzzy logic to partial constraint satisfaction problem /
由: Fung, Cheong Yiu
出版: (1993)

Extending a word processor for a literate programming system /
由: Lim, Peng Heng
出版: (1997)

Multiprogramming on small computer /
由: Faust, Robert Samuel
出版: (1969)

Novices learning to understand programs : an analysis of the benefits of performing explicit transformation of program code into alternative, diagrammatic form /
由: Rukaini Haji Abdullah
出版: (2001)

Object oriented testing : an automated testing tool for C++ classes : C++ class implementation, specification & testing system (CIST) /
由: Chong, Philip Yee Fatt
出版: (1995)

A Java source code analyzer and visualizer for documentation and reuse of object oriented programming /
由: Bonakdar, Ali
出版: (2010)

Transparent persistence framework for multiple persistence mechanisms /
由: Jusic, Samir
出版: (2006)

Linear-pso with binary search algorithm for DNA motif discovery / Hazaruddin Harun
由: Harun, Hazaruddin
出版: (2015)

Application on the structure and measurement of key cardiac parameters from MR images of the left ventricle /
由: Gnaneswaran, S.
出版: (2004)

Prototype for program analysis /
由: Loo, Poh Kok
出版: (1995)

The implementation and optimization of an experimental LISP interpreter for a small computer /
由: Steele, David J.
出版: (1992)

Design and emulation of a parallel data-driven lisp machine /
由: Yee, Jenn Jong
出版: (1992)

A high-order logic for object-oriented logic programming /
由: Wee, Boon Tun
出版: (1998)

A mathematical programming approach to the management of an industrial teak forest /
由: Tongchai Wechasut, 1947-
出版: (1985)

A parallel distributed Javaspaces implementation of RSA public key factorization using quadratic sieve /
由: Lau, Khek Hooi
出版: (2003)

Multi-threading technique for authorization of credit card system using .Net and Java /
由: Wong, Yew Ming
出版: (2008)

Visualization of fluids /
由: Aini Hazila Hamzah
出版: (2006)

Towards an immersive online shopping interface using rich media and XML technology /
由: Suthan Panchadcharam
出版: (2006)

Guidelines for evaluating fundamental object-oriented concepts (GuideSCoRE) /
由: Norazlina Khamis
出版: (2012)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group