1
Publicado 2005
Tabla de Contenidos: ... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...
Enlace del recurso
Electrónico eBook
2
Publicado 2013
Tabla de Contenidos: ... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...
Enlace del recurso
Electrónico eBook
3
Publicado 2014
Tabla de Contenidos: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Enlace del recurso
Electrónico eBook
4
Publicado 2005
Tabla de Contenidos: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
Enlace del recurso
Electrónico eBook