Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic,...

Modern Compiler Implementation in C
Modern Compiler Implementation in C

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code...

Exploratory Data Analysis with MATLAB, Second Edition (Chapman & Hall/CRC Computer Science & Data Analysis)
Exploratory Data Analysis with MATLAB, Second Edition (Chapman & Hall/CRC Computer Science & Data Analysis)

Since the publication of the bestselling first edition, many advances have been made in exploratory data analysis (EDA). Covering innovative approaches for dimensionality reduction, clustering, and visualization, Exploratory Data Analysis with MATLAB®, Second Edition uses numerous examples and applications to...

Semantic Web-Based Information Systems: State-of-the-Art Applications (Advances in Semantic Web and Information Systems, Vol. 1)
Semantic Web-Based Information Systems: State-of-the-Art Applications (Advances in Semantic Web and Information Systems, Vol. 1)
As a new generation of technologies, frameworks, concepts and practices for information systems emerge, practitioners, academicians, and researchers are in need of a source where they can go to educate themselves on the latest innovations in this area. Semantic Web Information Systems: State-of-the-Art Applications establishes value-added...
HTML5 and CSS3: Level Up with Today's Web Technologies
HTML5 and CSS3: Level Up with Today's Web Technologies

HTML5 and CSS3 are more than just buzzwords--they're the foundation for today's web applications. This book gets you up to speed on the HTML5 elements and CSS3 features you can use right now in your current projects, with backwards compatible solutions that ensure that you don't leave users of older browsers behind. This new...

The Philosophy of Gottlob Frege
The Philosophy of Gottlob Frege
Begriffsschrift was, as the subtitle announced, a formula language of pure
thought modeled upon the language of arithmetic. Frege borrowed the notation
for functions from arithmetic, and enlarged the realm of applicability
of a function beyond the domain of numbers. Then, supplanting the
subject/predicate division, which was
...
Social Semantics: The Search for Meaning on the Web (Semantic Web and Beyond)
Social Semantics: The Search for Meaning on the Web (Semantic Web and Beyond)

Social Semantics: The Search for Meaning on the Web provides a unique introduction to identity and reference theories of the World Wide Web, through the academic lens of philosophy of language and data-driven statistical models. The Semantic Web is a natural evolution of the Web, and this book covers the URL-based Web architecture...

Color Image Processing: Methods and Applications
Color Image Processing: Methods and Applications
Over the last two decades, we have witnessed an explosive growth in both the diversity of techniques and the range of applications of image processing. However, the area of color image processing is still sporadically covered, despite having become commonplace, with consumers choosing the convenience of color imaging over traditional grayscale...
Architecture-Independent Programming for Wireless Sensor Networks (Wiley Series on Parallel and Distributed Computing)
Architecture-Independent Programming for Wireless Sensor Networks (Wiley Series on Parallel and Distributed Computing)
New automated, application-independent methodology for designing and deploying sensor networks

Following this book's clear explanations, examples, and illustrations, domain experts can design and deploy nontrivial networked sensing applications without much knowledge of the low-level networking aspects of deployment. This new approach is based...

Explanation in the Special Sciences: The Case of Biology and History (Synthese Library)
Explanation in the Special Sciences: The Case of Biology and History (Synthese Library)

Biology and history are often viewed as closely related disciplines, with biology informed by history, especially in its task of charting our evolutionary past. Maximizing the opportunities for cross-fertilization in these two fields requires an accurate reckoning of their commonalities and differences―precisely what this volume sets out...

Fuzzy Logic and the Semantic Web (Capturing Intelligence)
Fuzzy Logic and the Semantic Web (Capturing Intelligence)
It is with great delight that I write the preface for this, the very first volume in Elsevier's new book series "Capturing Intelligence".

This series aims at publishing books on research from all disciplines dealing with and affecting the issue of understanding and reproducing intelligent artificial systems. The series will
...
System Architecture with XML
System Architecture with XML
"The whole world is talking XML, and the ramifications of its universal adoption are only beginning to surface. Whole business models will be affected by it; whole new business interests are being pursued because of it. The software industry itself will be rocked by it more than it cares to admit. This is so because XML brings us into the...
Result Page: 28 27 26 25 24 23 22 21 20 19 
©2018 LearnIT (support@pdfchm.net) - Privacy Policy