Logic category: 1296 books
by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno
Language: English
Release Date: November 8, 2012
Language: English
Release Date: November 8, 2012
This book serves a dual purpose: firstly to combine the treatment of circuits and digital electronics, and secondly, to establish a strong connection with the contemporary world of digital systems. The need for this approach arises from the observation that introducing digital electronics through...
New Frontiers in Mining Complex Patterns
6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers
Language: English
Release Date: March 27, 2018
This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 6th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2017, held in conjunction with ECML-PKDD 2017 in Skopje, Macedonia, in September 2017. The book...
Reversible Computation
10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Language: English
Release Date: August 30, 2018
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.
The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected...
Energy Minimization Methods in Computer Vision and Pattern Recognition
11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
Language: English
Release Date: March 23, 2018
This volume constitutes the refereed proceedings of the 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2017, held in Venice, Italy, in October/November 2017.
The 37 revised full papers were carefully reviewed and selected from...
by
Language: English
Release Date: February 7, 2017
Language: English
Release Date: February 7, 2017
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research....
by Ronald T. Kneusel
Language: English
Release Date: April 14, 2015
Language: English
Release Date: April 14, 2015
This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect...
by
Language: English
Release Date: September 13, 2017
Language: English
Release Date: September 13, 2017
Due to the exponential rise of emerging technology, there have been significant developments in intelligent systems. This has facilitated increasing opportunities for new applications and improvements. Developments and Trends in Intelligent Technologies and Smart Systems is a critical source of scholarly...
Learning FPGAs
Digital Design for Beginners with Mojo and Lucid HDL
Language: English
Release Date: August 16, 2017
Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this practical guide, author Justin Rajewski shows you hands-on how to create FPGA projects, whether you’re...
by Ken Rogers
Language: English
Release Date: February 25, 2018
Language: English
Release Date: February 25, 2018
A Step by Step Guide on How to Use and Master Snapchat
-Messaging
-Settings and Setup
-Bitmojis
-Snaps- Adding Text, Viewing, Saving, Sending, & Filters
-Story Creation
-Curated Stories
-Money Transfers
+ MUCH MORE!
--> Scroll to the top of the page and click...
The Unknown Component Problem
Theory and Applications
Language: English
Release Date: November 16, 2011
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are...
An Architectonic for Science
The Structuralist Program
Language: English
Release Date: December 6, 2012
This book has grown out of eight years of close collaboration among its authors. From the very beginning we decided that its content should come out as the result of a truly common effort. That is, we did not "distribute" parts of the text planned to each one of us. On the contrary, we made...
Words Of Wisdom
When Experience Becomes Knowledge, When Knowledge Becomes Expression
Language: English
Release Date: February 9, 2018
Words of Wisdom is a collection of intense, resourceful, eye-opening quotes born out of the mind of the author, based on people and situations in and around his daily routine. Inspired by stories, relationships and current events, Mr. Russ utilizes his perspective to generate a positive, but general...
OWL: Experiences and Directions – Reasoner Evaluation
13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
Language: English
Release Date: February 23, 2017
This book constitutes the thoroughly refereed conference proceedings of the 13International Workshop on OWL: Experiences and Directions, OWLED 2016, and the 5th International Workshop on OWL: Reasoner Evaluation, ORE 2016, held in Bologna, Italy in November 20, 2016. The Workshops were co-located...
by
Language: English
Release Date: July 9, 2013
Language: English
Release Date: July 9, 2013
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment...