"28" Result
Sort By:
This two-volume work includes all the published papers of Dr Larry Wos. It illustrates some of the successes that automated reasoning programs have had in tackling problems in mathematics, logic, program verification and circuit design. The CD-ROM contains a searchable index of …
Annotation
Oecd Economic Outlook
0
Type: Book
Oecd Economic Outlook
0
Type: Book
This book deals mainly with the dynamics of the one-dimensional nonlinear stochastic waves. It contains a description of the basic mathematical tools, and recent results in fields including: exactly integrable nonlinear stochastic equations; and dynamics of the nonlinear waves i…