Contributions to hardware and software reliability
by Kapur, P. K.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1999Availability: Items available for loan: [Call number: 005 KAP] (1).
Construction and analysis of transition systems with MEC
by Arnold, A.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1994Availability: Items available for loan: [Call number: 005.1 ARN] (1).
Constrained dynamics computations: Models and case studies
by Fox, B.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 2000Availability: Items available for loan: [Call number: 518 FOX] (1).
Computational intelligence in software engineering
by Pedrycz, W.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1998Availability: Items available for loan: [Call number: 005.1 PED] (1).
The collected works of Larry Wos - V - 2: Applying automated reasoning to puzzles, problems and open questions
by Wos, L.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 2000Availability: Items available for reference: [Call number: 511.3028563 WOS (Ref.)] (1).
The collected works of Larry Wos - V - 1: Exploring the power of automated reasoning
by Wos, L.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 2000Availability: Items available for reference: [Call number: 511.3028563 WOS (Ref.)] (1).
Chaotic mechanics in systems with impacts and friction
by Blazejczyk-Okolewska, B[et al].
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1999Availability: Items available for loan: [Call number: 620.1 BLA] (1).
Chaos and fractals in engineering
by Nakagawa, M.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1999Availability: Items available for loan: [Call number: 514.742 NAK] (1).
CafeOBJ report: The language, proof techniques and methodologies for object-oriented algebraic specification
by Diaconescu, R.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1998Availability: Items available for loan: [Call number: 005.115 DIA] (1).
C++ programming with applications in administration, finance and statistics
by Steeb, W-H.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 2000Availability: Items available for loan: [Call number: 005.133 STE] (1).
Analytic elements in p-adic analysis
by Escassut, A.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1995Availability: Items available for loan: [Call number: 512.74 ESC] (1).
Automatic parallelization for a class of regular computations
by Megson, G. M.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1997Availability: Items available for loan: [Call number: 005.275 MEG] (1).
An algebraic approach to compiler design
by , Sampaio, A .
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1997Availability: Items available for loan: [Call number: 005.45301512 SAM] (2).
Algebraic specification techniques and tools for software development: The ACT approach
by ClaBen, I.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1993Availability: Items available for loan: [Call number: 005.1201512 CLA] (1).
Active network analysis
by Chen, Wai-Kai.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1991Availability: Items available for loan: [Call number: 621.381535 CHE] (1).
Classical electrodynamics
by Tsang, T.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1997Availability: Items available for loan: [Call number: 537.6 TSA] (1).
Introduction to theoretical computer science
by Xiwen, ma.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1990Availability: Items available for loan: [Call number: 004.0151 XIW] (1).
Stability, structures and chaos in nonlinear synchronization networks
by Afraimovich, V. S. [et al.].
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1994Availability: Items available for loan: [Call number: 621.392 AFR] (1).
Nonlinear electromechanical effects and applications
by Maugin, G. A.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1985Availability: Items available for loan: [Call number: 537 MAU] (1).
Invariant sets for Windows
by Morozov, A. D. [et al.].
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore World Scientific 1999Availability: Items available for loan: [Call number: 515.352 MOR] (1).
