Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Download links will be available after you disable the ad blocker and reload the page.
Showing: 56311-56315 results of 56315

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal... more...

The ultimate goal of Computational Linguistics is to teach the computer to understand Natural Language. This research monograph presents a description of English according to algorithms which can be programmed into a computer to analyse natural language texts. The algorithmic approach uses series of instructions, written in Natural Language and organised in flow charts, with the aim of analysing certain aspects of the grammar of a... more...

This textbook gives an introduction to all three classes of geometry optimization problems of mechanical structures: sizing, shape and topology optimization. The style is explicit and concrete, focusing on problem formulations and numerical solution methods. The treatment is detailed enough to enable readers to write their own implementations. On the book's homepage, programs may be downloaded that further facilitate the learning of the material... more...

Budd's introduction to Smalltalk programming and the Little Smalltalk interpreter focuses on elementary, rather than advanced topics of object-oriented programming. The Little Smalltalk system runs under the UNIX operating system and can be executed on conventional terminals.

Number theory is one of the oldest and most appealing areas of mathematics. Computation has always played a role in number theory, a role which has increased dramatically in the last 20 or 30 years, both because of the advent of modern computers, and because of the discovery of surprising and powerful algorithms. As a consequence, algorithmic number theory has gradually emerged as an important and distinct field with connections to computer science... more...