Boole

The Life and Work of George Boole: A Prelude to the Digital Age  eBooks & eLearning

Posted by enmoys at May 15, 2016
The Life and Work of George Boole: A Prelude to the Digital Age

The Life and Work of George Boole: A Prelude to the Digital Age By MacHale Desmond
2014 | 364 Pages | ISBN: 1782050043 | EPUB | 6 MB
The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age

Paul J. Nahin, "The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age"
English | ISBN: 0691151008 | 2012 | EPUB/PDF | 224 pages | 4,7 MB/5,3 MB

George Boole - L'analisi matematica della logica  eBooks & eLearning

Posted by SSCN1926 at Dec. 18, 2015
George Boole - L'analisi matematica della logica

George Boole - L'analisi matematica della logica
Italian | Bollati Boringhieri | 1993 | PDF | Pages 180 | ISBN: 8833907368 | 4.29 Mb

George Boole: Selected Manuscripts on Logic and its Philosophy by Ivor Grattan-Guinnes  eBooks & eLearning

Posted by tanas.olesya at June 25, 2015
George Boole: Selected Manuscripts on Logic and its Philosophy by Ivor Grattan-Guinnes

George Boole: Selected Manuscripts on Logic and its Philosophy (Science Networks. Historical Studies) by Ivor Grattan-Guinness
English | Oct. 29, 2012 | ISBN: 3034898053 | 296 Pages | PDF | 22 MB

The book will appeal to logicians, mathematicians and philosophers, and those interested in the histories of the corresponding subjects; and also students of the early Victorian Britain in which they were written.

A Treatise On Differential Equations by George Boole  eBooks & eLearning

Posted by tanas.olesya at Sept. 29, 2014
A Treatise On Differential Equations by George Boole

A Treatise On Differential Equations by George Boole
Nabu Press | April 1, 2010 | English | ISBN: 1148211837 | 528 pages | DJVU | 26 MB

This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book.
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats

René Cori, Daniel Lascar, "Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats"
2003 | ISBN-10: 210005452X | 408 pages | Djvu | 3,6 MB

The Booles and the Hintons: Two Dynasties that Helped Shape the Modern World  eBooks & eLearning

Posted by IrGens at Sept. 28, 2017
The Booles and the Hintons: Two Dynasties that Helped Shape the Modern World

The Booles and the Hintons: Two Dynasties that Helped Shape the Modern World by Gerry Kennedy
English | February 15, 2017 | ISBN: 1782051856 | EPUB | 492 pages | 13.1 MB

Essays in Honour of Eamonn Cantwell: Yeats Annual No. 20  eBooks & eLearning

Posted by lengen at Nov. 2, 2017
Essays in Honour of Eamonn Cantwell: Yeats Annual No. 20

Essays in Honour of Eamonn Cantwell: Yeats Annual No. 20 by Warwick Gould
English | Dec. 5, 2016 | ISBN: 1783741775 | 512 Pages | PDF | 5 MB

This number of Yeats Annual collects the essays resulting from the University College Cork/ESB International Annual W. B. Yeats Lectures Series (2003-2008) by Roy Foster, Warwick Gould, John Kelly, Paul Muldoon, Bernard O’Donoghue and Helen Vendler. Those that were available in pamphlet form are now collectors’ items, but here is the complete series.

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications  eBooks & eLearning

Posted by AvaxGenius at Oct. 14, 2017
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications By Gerard O'Regan
English | EPUB | 2017 | 322 Pages | ISBN : 3319640208 | 2.87 MB

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing.

PolyBoard Pro-PP 6.05d Multilingual  Software

Posted by melt_ at Sept. 6, 2017
PolyBoard Pro-PP 6.05d Multilingual

PolyBoard Pro-PP 6.05d Multilingual | 11.7 Mb

PolyBoard is an interactive design and manufacturing cabinet software, based on a powerful methological concept. PolyBoard supports arborescent cabinet structures, dynamic material styles and manufacturing methods lists, and recalculates cabinets in real time.