Facebook Icon Image Google Plus Icon Image Twitter Icon Image Logo Image

Download Free Cambridge University eBooks Page 2

Science and the Enlightenment Image

Science and the Enlightenment

Jun 30 2016  Science and the Enlightenment is a general history of eighteenth-century science covering both the physical and life sciences. It places the scientific developments of the century in the cultural context of the Enlightenment and reveals the extent to which scientific ideas permeated the thought of the age. The book takes advantage of topical scholarship, which is rapidly changing our understanding of science during the eighteenth century. In particular it describes how science was organized into fields that were quite different from those we know today. Professor Hankins's work is a much neede...

Python Programming for Biology Image

Python Programming for Biology

Jun 30 2016  Do you have a biological question that could be readily answered by computational techniques, but little experience in programming? Do you want to learn more about the core techniques used in computational biology and bioinformatics? Written in an accessible style, this guide provides a foundation for both newcomers to computer programming and those interested in learning more about computational biology. The chapters guide the reader through: a complete beginners' course to programming in Python, with an introduction to computing jargon; descriptions of core bioinformatics methods with workin...

Process Control Image

Process Control

Jun 30 2016  Process Control covers the most essential aspects of process control suitable for a one-semester introductory course. While classical techniques are discussed, Chau also covers state space modeling and control, a modern control topic lacking in most introductory texts. MATLAB, a popular engineering software package, is employed as a powerful yet approachable computational tool. Each chapter concludes with problem sets, to which hints or solutions are provided. The support website provides excellent support in the way of MATLAB outputs of text examples and MATLAB sessions, references, and suppl...

Secure Communicating Systems Image

Secure Communicating Systems

Jun 30 2016  This volume details what every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs. Highlights include discussions of the new advanced encryption standard Rijndael; an optimal public-key encryption using RSA which turns textbook RSA into a practical implementation; standard security models for information flow in computer programs or human organizations; and moral, legal, and political issues. Another novel feature is the presentation of a formal model-checking tool for specifying and debugging security protocols. A supporti...

Logic in Computer Science Image

Logic in Computer Science

Jun 30 2016  The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises....