Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Proof Complexity (Encyclopedia of Mathematics and its Applications)
Proof Complexity (Encyclopedia of Mathematics and its Applications)
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various...
Hands-On Data Analysis with NumPy and pandas: Implement Python packages from data manipulation to processing
Hands-On Data Analysis with NumPy and pandas: Implement Python packages from data manipulation to processing

Get to grips with the most popular Python packages that make data analysis possible

Key Features

  • Explore the tools you need to become a data analyst
  • Discover practical examples to help you grasp data processing concepts
  • Walk through hierarchical indexing...
Applied Fuzzy Arithmetic: An Introduction with Engineering Applications
Applied Fuzzy Arithmetic: An Introduction with Engineering Applications

Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering sciences, making it a resource for students, researchers, and practical engineers. The first part of the book gives an introduction...

All-Digital Frequency Synthesizer in Deep-Submicron CMOS
All-Digital Frequency Synthesizer in Deep-Submicron CMOS

Design flow and circuit techniques of contemporary transceivers for multigigahertz mobile radio-frequency (RF) wireless applications are typically quite analog intensive and utilize process technologies that are incompatible with a digital baseband (DBB) and application processor (AP). Nowadays, the DBB and AP designs constantly migrate to...

Fundamentals of Speaker Recognition
Fundamentals of Speaker Recognition
When I was being interviewed at the handwriting recognition group of IBM T.J. Watson Research Center in December of 1990, one of the interviewers asked me why, being a mechanical engineer, I was applying for a position in that group. Well, he was an electrical engineer and somehow was under the impression that handwriting...
Practical Algorithms for Programmers
Practical Algorithms for Programmers

The purpose of this book is to provide a practical compendium of algorithms for use in applications. Unlike most works on algorithms, this book is not a  textbook: you will not find implementation details left as an exercise for the reader, nor will you find highly theoretical discussions of algorithms with small  snippets of code...

Data Structures: Abstraction and Design Using Java, 3rd edition
Data Structures: Abstraction and Design Using Java, 3rd edition

Our goal in writing this book was to combine a strong emphasis on problem solving and software design with the study of data structures. To this end, we discuss applications of each data structure to motivate its study. After providing the specification (interface) and the implementation (a Java class), we then cover case studies that use the...

Algorithms Unplugged
Algorithms Unplugged

Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient algorithms not only enable your...

Learn R for Applied Statistics: With Data Visualizations, Regressions, and Statistics
Learn R for Applied Statistics: With Data Visualizations, Regressions, and Statistics
Gain the R programming language fundamentals for doing the applied statistics useful for data exploration and analysis in data science and data mining. This book covers topics ranging from R syntax basics, descriptive statistics, and data visualizations to inferential statistics and regressions. After learning R’s syntax, you will...
The Oxford Guide to English Usage
The Oxford Guide to English Usage
Have you ever had doubts about when to hyphenate two words? Confused over whether you should disassociate or dissociate yourself from something? Do you know when to spell doggie as doggy? Is it really a rule that a preposition should never fall at the end of a sentence? Now there is a single
convenient source you can turn to with all your
...
Numerical Computing with IEEE Floating Point Arithmetic
Numerical Computing with IEEE Floating Point Arithmetic

Are you familiar with the IEEE floating point arithmetic standard? Would you like to understand it better? This book gives a broad overview of numerical computing, in a historical context, with a special focus on the IEEE standard for binary floating point arithmetic. Key ideas are developed step by step, taking the reader from floating point...

The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art...
Result Page: 14 13 12 11 10 9 8 7 6 5 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy