Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Introduction to Mathematical Logic
Introduction to Mathematical Logic

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer...

Data Structures and Problem Solving Using C++ (2nd Edition)
Data Structures and Problem Solving Using C++ (2nd Edition)

Data Structures and Problem Solving Using C++ provides a practical introduction to data structures and algorithms from the viewpoint of abstract thinking and problem solving, as well as the use of C++. It is a complete revision of Weissi successful CS2 book Algorithms, Data Structures, and Problem Solving with C++.

The most unique...

Data Analysis and Visualization Using Python: Analyze Data to Create Visualizations for BI Systems
Data Analysis and Visualization Using Python: Analyze Data to Create Visualizations for BI Systems
Look at Python from a data science point of view and learn proven techniques for data visualization as used in making critical business decisions. Starting with an introduction to data science with Python, you will take a closer look at the Python environment and get acquainted with editors such as...
Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library
Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation,...
Computer Science Distilled: Learn the Art of Solving Computational Problems
Computer Science Distilled: Learn the Art of Solving Computational Problems

A walkthrough of computer science concepts you must know. Designed for readers who don't care for academic formalities, it's a fast and easy computer science guide. It teaches the foundations you need to program computers effectively. After a simple introduction to discrete math, it presents common algorithms and data structures. It...

Data Structures and Algorithm Analysis in C++, Third Edition (Dover Books on Computer Science)
Data Structures and Algorithm Analysis in C++, Third Edition (Dover Books on Computer Science)
With its focus on creating efficient data structures and algorithms, this comprehensive text helps readers understand how to select or design the tools that will best solve specific problems. It uses Microsoft C++ as the programming language and is suitable for second-year data structure courses and computer science courses in...
Data Structures and Algorithms in C++, Second Edition
Data Structures and Algorithms in C++, Second Edition
The study of data structures, a fundamental component of a computer science education, serves as the foundation upon many other computer science fields are built. Some knowledge of data structures is a must for students who wish to do work in design implementation, testing, or maintenace of virtually any software system. The scope and presentation...
New Trends in Medical and Service Robotics: Advances in Theory and Practice (Mechanisms and Machine Science)
New Trends in Medical and Service Robotics: Advances in Theory and Practice (Mechanisms and Machine Science)

This book contains the selected papers of the Sixth International Workshop on Medical and Service Robots (MESROB 2018), held in Cassino, Italy, in 2018. The main topics of the workshop include: design of medical devices, kinematics and dynamics for medical robotics, exoskeletons and prostheses, anthropomorphic hands , therapeutic...

Compiler Design (International Computer Science Series)
Compiler Design (International Computer Science Series)
Provides a comprehensive, modern approach to the design and construction of compilers. Includes in-depth coverage of compiler generation methods for lexical, syntax and semantic analysis.

About the Author

Reinhard Wilhelm is Professor of Computer Science at the University of the Saarland in
...
Meditation - Neuroscientific Approaches and Philosophical Implications (Studies in Neuroscience, Consciousness and Spirituality)
Meditation - Neuroscientific Approaches and Philosophical Implications (Studies in Neuroscience, Consciousness and Spirituality)

This volume features a collection of essays on consciousness, which has become one of the hot topics at the crossroads between neuroscience, philosophy, and religious studies. Is consciousness something the brain produces? How can we study it? Is there just one type of consciousness or are there different states that can be discriminated? Are...

Algorithmics: The Spirit of Computing
Algorithmics: The Spirit of Computing

Provides a study of the fundamental theoretical ideas of computing and examining how to design accurate and efficient algorithms.

This book tells a story. The story concerns the concepts, ideas, methods and results fundamental to computer science. It is not specifically about computer technology, nor is it about computer...

Malicious Attack Propagation and Source Identification (Advances in Information Security)
Malicious Attack Propagation and Source Identification (Advances in Information Security)

This book covers and makes four major contributions:

1) analyzing and surveying the pros and cons of current approaches for identifying rumor sources on complex networks;

2) proposing a novel approach to identify rumor sources in time-varying networks;

3) developing a fast approach to identify...

Result Page: 454 453 452 451 450 449 448 447 446 445 444 443 442 441 440 439 438 437 436 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy