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...
Public Libraries in the Smart City
Public Libraries in the Smart City
Far from heralding their demise, digital technologies have lead to a dramatic transformation of the public library. Around the world, libraries have reinvented themselves as networked hubs, community centres, innovation labs, and makerspaces. Coupling striking architectural design with attention to ambience and comfort, libraries have...
Artificial Cognition Systems
Artificial Cognition Systems
The central questions confronting artificial intelligence and cognitive science revolve around the nature of meaning and of mind. Minds are presumed to be the processors of mental content, where that content has the capacity to influence our speech and other behavior. The hard part is figuring out how that is done. Mental states must exercise...
Building an e-Commerce Application with MEAN
Building an e-Commerce Application with MEAN

Develop an end-to-end, real-time e-commerce application using the MEAN stack

About This Book

  • Build all the main components of an e-commerce website and extend its high-quality features as per your needs
  • Get to grips with the full-stack JavaScript to build attractive e-commerce sites and...
Beginning WebGL for HTML5
Beginning WebGL for HTML5

WebGL (Web-based Graphics Language) is a wonderful and exciting new technology that lets you create

powerful 3D graphics within a web browser. The way that this is achieved is by using a JavaScript API that interacts with the Graphics Processing Unit (GPU). This book will quickly get you on your way to demystify shaders and
...
Jenkins Fundamentals: Accelerate deliverables, manage builds, and automate pipelines with Jenkins
Jenkins Fundamentals: Accelerate deliverables, manage builds, and automate pipelines with Jenkins

Continuous integration with Jenkins speeds up your projects and saves you time and money

Key Features

  • Get a perfect balance of theories and hands-on activities
  • Apply continuous integration and delivery to your workflow
  • Explore concepts such as the plugin...
Grid Computing: The Savvy Manager's Guide (The Savvy Manager's Guides)
Grid Computing: The Savvy Manager's Guide (The Savvy Manager's Guides)
"This book explains grid in simple terms, using practical examples to demonstrate the technical and business benefits of grid and providing hands-on guidance for readers. This is a must read for everyone who is seriously investigating grid or planning to integrate grid technology in their IT environment."
--Wolfgang Gentzsch,
...
Fundamentals of Probability and Statistics for Engineers
Fundamentals of Probability and Statistics for Engineers
Many books are already available on the general topic of 'probability and statistics for engineers and scientists', so why choose this one? This textbook differs in that it has been prepared very much with students and their needs in mind. Having been classroom tested over many years, it is a true "learner's book" made for students who...
Entrepreneurship Three Volumes: The Engine of Growth (Praeger Perspectives) (v. 1-3)
Entrepreneurship Three Volumes: The Engine of Growth (Praeger Perspectives) (v. 1-3)
“This three-volume set brings together 32 essays exploring the topic of entrepreneurship. The first volume explores entrepreneurship as a form of human action, examining the influence of various factors on entrepreneurial behavior, including cognition, risk, social capital, institutions, immigration and ethnicity, and gender. The second...
Microsoft Visual Studio 2005 Unleashed
Microsoft Visual Studio 2005 Unleashed

Microsoft Visual Studio 2005 Unleashed is a deep dive into the Visual Studio 2005 tool. Specifically, it will provide you with solid guidance and education that will allow you to squeeze the ultimate productivity and use out of the Visual Studio 2005 development environment. This...

Coach Yourself to a New Career: 7 Steps to Reinventing Your Professional Life
Coach Yourself to a New Career: 7 Steps to Reinventing Your Professional Life

Bestselling author offers a step-by-step program to making the right choices about a new career move

Don't fear taking the leap into a new career with this seven step program from bestselling author and life coach Talane Miedaner. Whatever the situation or economic environment, Coach Yourself to a New Career gives...

Oracle 12c: SQL
Oracle 12c: SQL

Now you can master the latest version of the fundamental SQL language used in all relational databases today with ORACLE 12C: SQL, 3E. Much more than a study guide, this edition helps you transform a basic knowledge of databases into proficiency with the latest SQL and Oracle concepts and techniques. You learn to use Oracle 12c SQL most...

Result Page: 46 45 44 43 42 41 40 39 38 37 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy