Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim
...

Boatowner's Illustrated Electrical Handbook
Boatowner's Illustrated Electrical Handbook
Keep your boat's electrical systems running and reliable.

Boatowner's Illustrated Electrical Handbook is perfect for learning how your boat's electrical system and much of its equipment works, and it will be an invaluable guide when adding equipment as well. This book needs to be in every boater's library as a ready...

Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
"This is a fearless book that casts a wide net around key issues in cognitive science. It offers the kind of coherent, unified view that the field badly needs." - Steven Sloman, Associate Professor, Cognitive and Linguistic Sciences, Brown University"

Within cognitive science, two approaches currently dominate
...
The First Computers--History and Architectures (History of Computing)
The First Computers--History and Architectures (History of Computing)
"A cohesive, well-defined discussion of the architecture of early computers."
Mary Croarken, Business History

"A well-balanced and fascinating perspective on a wide range of early computing devices."
Nathan Ensmenger, IEEE Spectrum
...
Fundamental Models in Financial Theory
Fundamental Models in Financial Theory

This book provides an innovative, integrated, and methodical approach to understanding complex financial models, integrating topics usually presented separately into a comprehensive whole. The book brings together financial models and high-level mathematics, reviewing the mathematical background necessary for understanding these models...

Innovation in Cultural Systems: Contributions from Evolutionary Anthropology (Vienna Series in Theoretical Biology)
Innovation in Cultural Systems: Contributions from Evolutionary Anthropology (Vienna Series in Theoretical Biology)

In recent years an interest in applying the principles of evolution to the study of culture emerged in the social sciences. Archaeologists and anthropologists reconsidered the role of innovation in particular, and have moved toward characterizing innovation in cultural systems not only as a product but also as an evolutionary process. This...

Great People Decisions: Why They Matter So Much, Why They are So Hard, and How You Can Master Them
Great People Decisions: Why They Matter So Much, Why They are So Hard, and How You Can Master Them
Great organizations are made up of great people. And for leaders at all levels within those organizations, the ability to find, hire, integrate, and retain great people is an absolutely critical skill—critical to their organization's success, and critical to their own success.

But for most people, making great appointments is difficult,...

Analog Circuits (World Class Designs)
Analog Circuits (World Class Designs)

Newnes has worked with Robert Pease, a leader in the field of analog design to select the very best design-specific material that we have to offer. The Newnes portfolio has always been know for its practical no nonsense approach and our design content is in keeping with that tradition. This material has been chosen based on its timeliness and...

The Design and Analysis of Efficient Learning Algorithms (ACM Doctoral Dissertation Award)
The Design and Analysis of Efficient Learning Algorithms (ACM Doctoral Dissertation Award)

Approaches to building machines that can learn from experience abound - from connectionist learning algorithms and genetic algorithms to statistical mechanics and a learning system based on Piaget's theories of early childhood development. This monograph describes results derived from the mathematically oriented framework of computational...

The Common Language Infrastructure Annotated Standard
The Common Language Infrastructure Annotated Standard

The Common Language Infrastructure Annotated Standard is the definitive guide to understanding the annotated specification for the Common Language Infrastructure (CLI) standard. With annotations and code samples from both the ECMA standards committee and the Microsoft Common Language Runtime (CLR) team, this book goes...

Digital Library Use: Social Practice in Design and Evaluation (Digital Libraries and Electronic Publishing)
Digital Library Use: Social Practice in Design and Evaluation (Digital Libraries and Electronic Publishing)
The contributors to this volume view digital libraries (DLs) from a social as well as technological perspective. They see DLs as sociotechnical systems, networks of technology, information artifacts, and people and practices interacting with the larger world of work and society. As Bruce Schatz observes in his foreword, for a digital library to be...
The Ethics of Computer Games
The Ethics of Computer Games
Despite the emergence of computer games as a dominant cultural industry (and the accompanying emergence of computer games as the subject of scholarly research), we know little or nothing about the ethics of computer games. Considerations of the morality of computer games seldom go beyond intermittent portrayals of them in the mass media as training...
unlimited object storage image
Result Page: 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy