Home | Amazing | Today | Tags | Publishers | Years | Search 
Mathematical Logic for Computer Science: Third Edition
Mathematical Logic for Computer Science: Third Edition
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking....
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the...
Statistical and Machine-Learning Data Mining: Techniques for Better Predictive Modeling and Analysis of Big Data, Second Edition
Statistical and Machine-Learning Data Mining: Techniques for Better Predictive Modeling and Analysis of Big Data, Second Edition

The second edition of a bestseller, Statistical and Machine-Learning Data Mining: Techniques for Better Predictive Modeling and Analysis of Big Data is still the only book, to date, to distinguish between statistical data mining and machine-learning data mining. The first edition, titled Statistical Modeling and...

Clustering for Data Mining: A Data Recovery Approach (Chapman & Hall/CRC Computer Science & Data Analysis)
Clustering for Data Mining: A Data Recovery Approach (Chapman & Hall/CRC Computer Science & Data Analysis)
Often considered more as an art than a science, the field of clustering has been dominated by learning through examples and by techniques chosen almost through trial-and-error. Even the most popular clustering methods--K-Means for partitioning the data set and Ward's method for hierarchical clustering--have lacked the theoretical...
Guide to Medical Image Analysis: Methods and Algorithms (Advances in Computer Vision and Pattern Recognition)
Guide to Medical Image Analysis: Methods and Algorithms (Advances in Computer Vision and Pattern Recognition)
This book presents a comprehensive overview of medical image analysis. Practical in approach, the text is uniquely structured by potential applications. Features: presents learning objectives, exercises and concluding remarks in each chapter, in addition to a glossary of abbreviations; describes a range of common imaging techniques,...
Control of Noise and Structural Vibration: A MATLAB®-Based Approach
Control of Noise and Structural Vibration: A MATLAB®-Based Approach
Control of Noise and Structural Vibration presents a MATLAB®-based approach to solving the problems of undesirable noise generation and transmission by structures and of undesirable vibration within structures in response to environmental or operational forces. The fundamentals of acoustics, vibration and coupling between vibrating...
Numerical Methods for Engineers and Scientists Using MATLAB®
Numerical Methods for Engineers and Scientists Using MATLAB®

Designed to benefit scientific and engineering applications, Numerical Methods for Engineers and Scientists Using MATLAB® focuses on the fundamentals of numerical methods while making use of MATLAB software. The book introduces MATLAB early on and incorporates it throughout the chapters to perform symbolic,...

Exploring Java 9: Build Modularized Applications in Java
Exploring Java 9: Build Modularized Applications in Java

Discover all the new features and changes in Java 9, including module systems?JPMS or Project Jigsaw. This book covers the whole Java application development life cycle. You'll review all the important concepts, including module descriptor, unnamed module, automatic module, and command line tools. 

Exploring Java...
Concurrent, Real-Time and Distributed Programming in Java: Threads, RTSJ and RMI (Focus: Computer Science)
Concurrent, Real-Time and Distributed Programming in Java: Threads, RTSJ and RMI (Focus: Computer Science)

This book provides an introduction to concurrent, real-time, distributed programming with Java object-oriented language support as an algorithm description tool. It describes in particular the mechanisms of synchronization (cooperative and competitive) and sharing of data (internal class, static variables) between threads in Java. He...

Game Development Patterns and Best Practices: Better games, less hassle
Game Development Patterns and Best Practices: Better games, less hassle

Utilize proven solutions to solve common problems in game development

About This Book

  • Untangle your game development workflow, make cleaner code, and create structurally solid games
  • Implement key programming patterns that will enable you to make efficient AI and remove duplication
  • ...
From Hacking to Report Writing: An Introduction to Security and Penetration Testing
From Hacking to Report Writing: An Introduction to Security and Penetration Testing

Learn everything you need to know to become a professional security and penetration tester. It simplifies hands-on security and penetration testing by breaking down each step of the process so that finding vulnerabilities and misconfigurations becomes easy. The book explains how to methodically locate, exploit, and professionally...

Kernel Smoothing: Principles, Methods and Applications
Kernel Smoothing: Principles, Methods and Applications

Comprehensive theoretical overview of kernel smoothing methods with motivating examples

Kernel smoothing is a flexible nonparametric curve estimation method that is applicable when parametric descriptions of the data are not sufficiently adequate. This book explores theory and methods of kernel smoothing in a variety of...

Result Page: 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy