Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...
Introducing Azure Kubernetes Service: A Practical Guide to Container Orchestration
Introducing Azure Kubernetes Service: A Practical Guide to Container Orchestration
This book is a practical guide to Microsoft’s Azure Kubernetes Service (AKS), a container orchestration platform. The goal of this book is to take the reader from 0 to 100 deploying and running a Kubernetes cluster on Microsoft Azure cloud. For anyone embarking on this book, it is ideal to have experience in the...
Computer-Based Analysis of the Stochastic Stability of Mechanical Structures Driven by White and Colored Noise (SpringerBriefs in Applied Sciences and Technology)
Computer-Based Analysis of the Stochastic Stability of Mechanical Structures Driven by White and Colored Noise (SpringerBriefs in Applied Sciences and Technology)

This book provides a concise introduction to the behavior of mechanical structures and testing their stochastic stability under the influence of noise. It explains the physical effects of noise and in particular the concept of Gaussian white noise. In closing, the book explains how to model the effects of noise on mechanical...

The Reflexivity of Language and Linguistic Inquiry: Integrational Linguistics in Practice (Routledge Advances in Communication and Linguistic Theory)
The Reflexivity of Language and Linguistic Inquiry: Integrational Linguistics in Practice (Routledge Advances in Communication and Linguistic Theory)

This book explores the reflexivity of language both from the perspective of the lay speaker and the linguistic analyst. Linguistic inquiry is conditional upon linguistic reflexivity, but so is language. Without linguistic reflexivity, we would not be able to make sense of everyday linguistic communication, and the idea of a...

Advanced Data Analytics Using Python: With Machine Learning, Deep Learning and NLP Examples
Advanced Data Analytics Using Python: With Machine Learning, Deep Learning and NLP Examples
Gain a broad foundation of advanced data analytics concepts and discover the recent revolution in databases such as Neo4j, Elasticsearch, and MongoDB. This book discusses how to implement ETL techniques including topical crawling, which is applied in domains such as...
Clean Python: Elegant Coding in Python
Clean Python: Elegant Coding in Python
Python is one of the most popular languages today. Relatively new fields such as data science, AI, robotics, and data analytics, along with traditional professions such as web development and scientific research, are embracing Python. It’s increasingly important for programmers writing...
Linux+ Guide to Linux Certification
Linux+ Guide to Linux Certification
As Eric S. Raymond reminds us, Open Source Software will continue to shape the dynamics of the computer software industry for the next long while, just as it has for the last decade. Coined and perpetuated by hackers, the term “Open Source Software” refers to software in which the source code is freely available to...
Topology for Computing (Cambridge Monographs on Applied and Computational Mathematics)
Topology for Computing (Cambridge Monographs on Applied and Computational Mathematics)
Written by a computer scientist for computer scientists, this book teaches topology from a computational point of view, and shows how to solve real problems that have topological aspects involving computers. Such problems arise in many areas, such as computer graphics, robotics, structural biology, and chemistry. The author starts from the basics...
An Introduction to Statistical Learning: with Applications in R (Springer Texts in Statistics)
An Introduction to Statistical Learning: with Applications in R (Springer Texts in Statistics)

An Introduction to Statistical Learning provides an accessible overview of the field of statistical learning, an essential toolset for making sense of the vast and complex data sets that have emerged in fields ranging from biology to finance to marketing to astrophysics in the past twenty years. This book presents some of the most...

Drupal for Education and E-Learning - Second Edition
Drupal for Education and E-Learning - Second Edition

You don't need to be a techie to build a community-based website for your school. With this guide to Drupal you'll be able to create an online learning and sharing space for your students and colleagues, quickly and easily.

Overview

  • Create a powerful tool for communication among teachers,...
Modern Operating Systems (3rd Edition) (GOAL Series)
Modern Operating Systems (3rd Edition) (GOAL Series)

A presentation of the basics of both distributed and single-processor computer systems, this book reflects real-world experience that provides practical, hands- on information in constructing and understanding modern operating systems. This book discusses the key principles of both kinds of systems — including MS- DOS, UNIX, Amoeba, and...

Recommender Systems: An Introduction
Recommender Systems: An Introduction

“Which digital camera should I buy? What is the best holiday for me and my family? Which is the best investment for supporting the education of my children? Which movie should I rent? Which web sites will I find interesting? Which book should I buy for my next vacation? Which degree and university are the best for my...

Result Page: 123 122 121 120 119 118 117 116 115 114 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy