116 resultater (0,28251 sekunder)

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

The Computer from Pascal to von Neumann - Herman H. Goldstine - Bog - Princeton University Press - Plusbog.dk

Essential Discrete Mathematics for Computer Science - Harry Lewis - Bog - Princeton University Press - Plusbog.dk

Essential Discrete Mathematics for Computer Science - Harry Lewis - Bog - Princeton University Press - Plusbog.dk

A more intuitive approach to the mathematical foundation of computer science Discrete mathematics is the basis of much of computer science, from algorithms and automata theory to combinatorics and graph theory. This textbook covers the discrete mathematics that every computer science student needs to learn. Guiding students quickly through thirty-one short chapters that discuss one major topic each, this flexible book can be tailored to fit the syllabi for a variety of courses.Proven in the classroom, Essential Discrete Mathematics for Computer Science aims to teach mathematical reasoning as well as concepts and skills by stressing the art of proof. It is fully illustrated in color, and each chapter includes a concise summary as well as a set of exercises. The text requires only precalculus, and where calculus is needed, a quick summary of the basic facts is provided. Essential Discrete Mathematics for Computer Science is the ideal introductory textbook for standard undergraduate courses, and is also suitable for high school courses, distance education for adult learners, and self-study. - The essential introduction to discrete mathematics - Features thirty-one short chapters, each suitable for a single class lesson - Includes more than 300 exercises - Almost every formula and theorem proved in full - Breadth of content makes the book adaptable to a variety of courses - Each chapter includes a concise summary - Solutions manual available to instructors

DKK 653.00
1

A City Is Not a Computer - Shannon Mattern - Bog - Princeton University Press - Plusbog.dk

A City Is Not a Computer - Shannon Mattern - Bog - Princeton University Press - Plusbog.dk

A bold reassessment of "smart cities" that reveals what is lost when we conceive of our urban spaces as computersComputational models of urbanism—smart cities that use data-driven planning and algorithmic administration—promise to deliver new urban efficiencies and conveniences. Yet these models limit our understanding of what we can know about a city. A City Is Not a Computer reveals how cities encompass myriad forms of local and indigenous intelligences and knowledge institutions, arguing that these resources are a vital supplement and corrective to increasingly prevalent algorithmic models. Shannon Mattern begins by examining the ethical and ontological implications of urban technologies and computational models, discussing how they shape and in many cases profoundly limit our engagement with cities. She looks at the methods and underlying assumptions of data-driven urbanism, and demonstrates how the "city-as-computer" metaphor, which undergirds much of today's urban policy and design, reduces place-based knowledge to information processing. Mattern then imagines how we might sustain institutions and infrastructures that constitute more diverse, open, inclusive urban forms. She shows how the public library functions as a steward of urban intelligence, and describes the scales of upkeep needed to sustain a city's many moving parts, from spinning hard drives to bridge repairs. Incorporating insights from urban studies, data science, and media and information studies, A City Is Not a Computer offers a visionary new approach to urban planning and design.

DKK 188.00
1

The Plaid Model - Richard Evan Schwartz - Bog - Princeton University Press - Plusbog.dk

Computer-Aided Verification of Coordinating Processes - Robert P. Kurshan - Bog - Princeton University Press - Plusbog.dk

Computer-Aided Verification of Coordinating Processes - Robert P. Kurshan - Bog - Princeton University Press - Plusbog.dk

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational complexity, and perhaps general utility as well.This book develops the theory of automata-theoretic verification from its foundations, with a focus on algorithms and heuristics to reduce the computational complexity of analysis. It is suitable as a text for a one-or two-semester graduate course, and is recommended reading for anyone planning to use a verification tool, such as COSPAN or SMV. An extensive bibliography that points to the most recent sources, and extensive discussions of methodology and comparisons with other techniques, make this a useful resource for research or verification tool development, as well.Originally published in 1995.The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

DKK 524.00
1

Introduction to Mathematical Sociology - Philip Lu - Bog - Princeton University Press - Plusbog.dk

Introduction to Mathematical Sociology - Philip Lu - Bog - Princeton University Press - Plusbog.dk

A comprehensive textbook on the tools of mathematical sociology and their applications Mathematical models and computer simulations of complex social systems have become everyday tools in sociology. Yet until now, students had no up-to-date textbook from which to learn these techniques. Introduction to Mathematical Sociology fills this gap, providing undergraduates with a comprehensive, self-contained primer on the mathematical tools and applications that sociologists use to understand social behavior.Phillip Bonacich and Philip Lu cover all the essential mathematics, including linear algebra, graph theory, set theory, game theory, and probability. They show how to apply these mathematical tools to demography; patterns of power, influence, and friendship in social networks; Markov chains; the evolution and stability of cooperation in human groups; chaotic and complex systems; and more. Introduction to Mathematical Sociology also features numerous exercises throughout, and is accompanied by easy-to-use Mathematica-based computer simulations that students can use to examine the effects of changing parameters on model behavior. - Provides an up-to-date and self-contained introduction to mathematical sociology - Explains essential mathematical tools and their applications - Includes numerous exercises throughout - Features easy-to-use computer simulations to help students master concepts

DKK 493.00
1