Computer science - Mathematics.

Analysis for computer scientists = foundations, methods, and algorithms / by: (書目-電子資源)

The Lanczos method = evolution and application / by: (書目-電子資源)

Foundations of algebraic specification and formal software development by: (書目-電子資源)

Sets, Logic and Maths for Computing by: (書目-電子資源)

Fundamentals of scientific computing by: (書目-電子資源)

Applications of algebra to communications, control, and signal processing by: (書目-電子資源)

Discrete calculus = applied analysis on graphs for computational science / by: (書目-電子資源)

Mobility in process calculi and natural computing by: (書目-電子資源)

Assignment problems by: (書目-電子資源)

Extremal combinatorics = with applications in computer science / by: (書目-電子資源)

Advances in interdisciplinary applied discrete mathematics by: (書目-電子資源)

Rough sets = selected methods and applications in management and engineering / by: (書目-電子資源)

Sets, logic and maths for computing by: (書目-電子資源)

Qualitative computing = a computational journey into nonlinearity / by: (書目-電子資源)

Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (書目-電子資源)

Euclidean shortest paths = exact or approximate algorithms / by: (書目-電子資源)

Numerical and symbolic scientific computing = progress and prospects / by: (書目-電子資源)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (書目-電子資源)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (書目-電子資源)

Fete of combinatorics and computer science by: (書目-電子資源)

TestGoal = Result-Driven Testing / by: (書目-電子資源)

Scientific computing with automatic result verification by: (書目-電子資源)

Discrete mathematics demystified by: (書目-電子資源)