Mathematics, Computer Science And Logic

Mathematics, Computer Science and Logic - A Never Ending Story (Repost)  eBooks & eLearning

Posted by roxul at Dec. 27, 2013
Mathematics, Computer Science and Logic - A Never Ending Story (Repost)

Peter Paule, "Mathematics, Computer Science and Logic - A Never Ending Story"
English | 2013 | ISBN: 3319009656 | 120 pages | PDF | 4,6 MB
Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift by Peter Paule
English | 2013 | ISBN: 3319009656 | 120 pages | PDF | 4,6 MB

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.

Boolean Models and Methods in Mathematics, Computer Science, and Engineering  eBooks & eLearning

Posted by arundhati at June 12, 2014
Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Yves Crama, Peter L. Hammer, "Boolean Models and Methods in Mathematics, Computer Science, and Engineering"
2010 | ISBN-10: 0521847524 | 780 pages | PDF | 5 MB

Temporal Logics in Computer Science: Finite-State Systems  eBooks & eLearning

Posted by Underaglassmoon at Jan. 12, 2017
Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb

by Stéphane Demri (Author), Valentin Goranko (Author), Martin Lange (Author)

Logic for Computer Science and Artificial Intelligence (repost)  eBooks & eLearning

Posted by interes at Nov. 16, 2015
Logic for Computer Science and Artificial Intelligence (repost)

Logic for Computer Science and Artificial Intelligence (ISTE) by Ricardo Caferra
English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Logic of Mathematics: A Modern Course of Classical Logic (Repost)  eBooks & eLearning

Posted by nebulae at May 15, 2014
Logic of Mathematics: A Modern Course of Classical Logic (Repost)

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
English | 1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Logic of Mathematics: A Modern Course of Classical Logic  eBooks & eLearning

Posted by arundhati at Aug. 2, 2013
Logic of Mathematics: A Modern Course of Classical Logic

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Logic for Computer Science and Artificial Intelligence (ISTE)  eBooks & eLearning

Posted by Grev27 at April 24, 2013
Logic for Computer Science and Artificial Intelligence (ISTE)

Ricardo Caferra, "Logic for Computer Science and Artificial Intelligence (ISTE)"
English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Recent Advances in Computer Science and Information Engineering  eBooks & eLearning

Posted by tanas.olesya at Feb. 13, 2017
Recent Advances in Computer Science and Information Engineering

Recent Advances in Computer Science and Information Engineering (Lecture Notes in Electrical Engineering) by Zhihong Qian
English | 6 Feb. 2012 | ISBN: 3642257658 | 849 Pages | PDF | 16 MB

Computer Science and its Applications: CSA 2012 (Repost)  eBooks & eLearning

Posted by roxul at Feb. 12, 2017
Computer Science and its Applications: CSA 2012 (Repost)

Sang-Soo Yeo, Yi Pan, Yang Sun Lee and Hang Bae Chang, "Computer Science and its Applications: CSA 2012 "
English | ISBN: 9400756984 | 2012 | 600 pages | PDF | 33 MB