Catalog Search Results
Author
Publisher
CRC Press
Pub. Date
©2012
Physical Desc
1 online resource (xi, 345 pages) : illustrations
Language
English
Description
Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before...
Author
Language
English
Description
This is the introduction to PLCs for which baffled students, technicians and managers have been waiting. In this straightforward, easy-to-read guide, Bill Bolton has kept the jargon to a minimum, considered all the programming methods in the standard IEC 1131-3 - in particular ladder programming, and presented the subject in a way that is not device specific to ensure maximum applicability to courses in electronics and control systems. Now in its...
Author
Language
English
Formats
Description
"No fictional character is more renowned for his powers of thought and observation than Sherlock Holmes. But is his extraordinary intellect merely a gift of fiction, or can we learn to cultivate these abilities ourselves, to improve our lives at work and at home? We can, says psychologist and journalist Maria Konnikova, and in Mastermind she shows us how. Beginning with the "brain attic"--Holmes's metaphor for how we store information and organize...
Author
Publisher
Wiley
Pub. Date
2016.
Physical Desc
1 online resource
Language
English
Description
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains...
Author
Publisher
Apress
Pub. Date
[2019]
Edition
1st ed. 2019.
Physical Desc
1 online resource (XXIV, 346 pages 50 illustrations)
Language
English
Description
Get your feet wet in developing visual novels and take a guided tour through easy to follow tutorials using three of the most popular tools (Ren'Py, TyranoBuilder, and Twine). This book uses a two-pronged approach into the fine art of text-based games, showing you what makes for compelling writing as well as the programming logic and techniques needed to bring your visual novels to life. In this book, you will uncover the rich history of interactive...
Author
Publisher
Newnes
Pub. Date
2013.
Edition
1st edition.
Physical Desc
1 online resource (488 pages)
Language
English
Description
Easy-to-read, but nonetheless thorough, this book on digital circuits is for use by students and engineers, and is a readily accessible source of data on devices in the TTL and CMOS families. The book is written to be used as a Designer's Handbook and will spend its days on the designer's bench rather than their bookshelf. The basic theory is explained and then supported with specific practical examples. Revised, enlarged, reduced price edition Easy-to-read,...
Author
Publisher
CRC Press
Pub. Date
[2014]
Physical Desc
1 online resource (1 volume) : illustrations
Language
English
Description
Programmable logic controllers (PLCs) are extensively used in industry to perform automation tasks, with manufacturers offering a variety of PLCs that differ in functions, program memories, and the number of inputs/outputs (I/O). Not surprisingly, the design and implementation of these PLCs have long been a secret of manufacturers. Unveiling the mysteries of PLC technology, Building a Programmable Logic Controller with PIC16F648A Microcontroller explains...
Series
Publisher
Cambridge University Press
Pub. Date
2016.
Physical Desc
xii, 450 pages : illustrations ; 24 cm.
Language
English
Description
This volume, the first dedicated and comprehensive Companion to Medieval Logic, covers both the Latin and the Arabic traditions and shows that they were in face sister traditions, which both arose against the background of a Hellenistic heritage and which influenced one another over the centuries. A series of chapters by both established and younger scholars cover the whole period including early and late developments, and offers new insights into...
Author
Publisher
Oxford University Press
Pub. Date
[2016]
Physical Desc
xiv, 289 pages : illustrations ; 22 cm
Language
English
Description
"A Cabinet of Philosophical Curiosities is a colorful collection of puzzles and paradoxes, both historical and contemporary, by philosopher Roy Sorensen. Taking inspiration from Ian Stewart's Professor Stewart's Cabinet of Mathematical Curiosities, which assembled interesting "maths" from outside the classroom into a miscellany of marvels, these puzzles are ready to be enjoyed independently but gain mutual support when read in clusters. The volume...
Author
Publisher
Wiley
Pub. Date
2011
Physical Desc
1 online resource (vii, 353 pages) : illustrations
Language
English
Description
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.
Interlibrary loan through ILLiad
Didn't find what you need? Items not owned by Knox County Public Library can be requested from other libraries to be delivered to your pickup location.
Suggest a purchase
If it is too new for interlibrary loan (6 months), you can place a suggestion with us. Suggest a Purchase