Kategoria BISAC: Mathematics >> General

• Comprehensive introduction to and description of the SpecC...

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

This new text book by Urs Birchler and Monika Butler is an introduction to the study of how information affects economic relations. The authors provide a narrative treatment of the more formal concepts of Information Economics, using easy to understand and lively illustrations from film and literature and nutshell examples.

The book first covers the economics of information in a 'man versus nature' context, explaining basic concepts like rational updating or the value of information. Then in a 'man versus man' setting, Birchler and Butler describe strategic issues in the use of...

Designing interesting problems and writing assignments is one of the chief tasks of all teachers, but it can be especially challenging to translate and apply learning theory, good teaching techniques, and writing assignments into STEM and other quantitative disciplines. Student Writing in the Quantitative Disciplines offers instructors in math-based disciplines meaningful approaches to making their coursework richer and more relevant for their students, as well as satisfying institutional imperatives for writing curricula. This important resource provides instructors with the hands-on...

Thirty years ago, biologists could get by with a rudimentary grasp of mathematics and modeling. Not so today. In seeking to answer fundamental questions about how biological systems function and change over time, the modern biologist is as likely to rely on sophisticated mathematical and computer-based models as traditional fieldwork. In this book, Sarah Otto and Troy Day provide biology students with the tools necessary to both interpret models and to build their own.

The book starts at an elementary level of mathematical modeling, assuming that the reader has had high school...

With Wind Wizard, Siobhan Roberts brings us the story of Alan Davenport (1932-2009), the father of modern wind engineering, who investigated how wind navigates the obstacle course of the earth's natural and built environments--and how, when not properly heeded, wind causes buildings and bridges to teeter unduly, sway with abandon, and even collapse.

In 1964, Davenport received a confidential telephone call from two engineers requesting tests on a pair of towers that promised to be the tallest in the world. His resulting wind studies on New York's World Trade Center...

Political science and sociology increasingly rely on mathematical modeling and sophisticated data analysis, and many graduate programs in these fields now require students to take a "math camp" or a semester-long or yearlong course to acquire the necessary skills. Available textbooks are written for mathematics or economics majors, and fail to convey to students of political science and sociology the reasons for learning often-abstract mathematical concepts. A Mathematics Course for Political and Social Research fills this gap, providing both a primer for math novices in the social...

While people are now using peer-to-peer (P2P) applications for various processes, such as file sharing and video streaming, many research and engineering issues still need to be tackled in order to further advance P2P technologies. Peer-to-Peer Computing: Applications, Architecture, Protocols, and Challenges provides comprehensive theoretical and practical coverage of the major features of contemporary P2P systems and examines the obstacles to further success.

Setting the stage for understanding important research issues in P2P systems, the book first...