Computer Science Logic
Mathematical Logic for Computer Science eBooks & eLearning
Posted by insetes at March 28, 2021
Mathematical Logic for Computer Science By Mordechai Ben-Ari
2003 | 160 Pages | ISBN: 1852333197 | PDF | 22 MB
2003 | 160 Pages | ISBN: 1852333197 | PDF | 22 MB
Fundamental Proof Methods in Computer Science: A Computer-Based Approach eBooks & eLearning
Posted by IrGens at April 16, 2018
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Konstantine Arkoudas, David Musser
English | May 5, 2017 | ISBN: 0262035537 | PDF | 976 pages | 9 MB
English | May 5, 2017 | ISBN: 0262035537 | PDF | 976 pages | 9 MB
Logic in Computer Science: Modelling and Reasoning about Systems eBooks & eLearning
Posted by Jeembo at May 9, 2019
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan
English | 1999 | ISBN: 0521656028 | 405 Pages | PDF | 67.3 MB
English | 1999 | ISBN: 0521656028 | 405 Pages | PDF | 67.3 MB
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies.
Structural Decision Diagrams in Digital Test: Theory and Applications (Computer Science Foundations and Applied Logic) eBooks & eLearning
Posted by Free butterfly at Sept. 22, 2024
Structural Decision Diagrams in Digital Test: Theory and Applications (Computer Science Foundations and Applied Logic) by Raimund Ubar, Jaan Raik, Maksim Jenihhin
English | January 30, 2024 | ISBN: 3031447336 | 608 pages | MOBI | 48 Mb
English | January 30, 2024 | ISBN: 3031447336 | 608 pages | MOBI | 48 Mb
Logic Sets and Recursion eBooks & eLearning
Posted by step778 at May 19, 2015
Robert L. Causey, "Logic Sets and Recursion"
1994 | pages: 440 | ISBN: 086720463X | PDF | 17,8 mb
1994 | pages: 440 | ISBN: 086720463X | PDF | 17,8 mb
Relational Methods in Computer Science eBooks & eLearning
Posted by insetes at Feb. 25, 2019
Relational Methods in Computer Science By Peter Jipsen, Chris Brink, Gunther Schmidt (auth.), Prof. Dr. Chris Brink, Dr. Wolfram Kahl, Prof. Dr. Gunther Schmidt (eds.)
1997 | 272 Pages | ISBN: 3211829717 | PDF | 8 MB
1997 | 272 Pages | ISBN: 3211829717 | PDF | 8 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
Cambridge | English | October 2016 | ISBN-10: 1107028361 | 752 pages | PDF | 13.07 mb
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, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday eBooks & eLearning
Posted by AvaxGenius at July 7, 2021
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday by Alexander Raschke
English | PDF,EPUB | 2021 | 367 Pages | ISBN : 3030760197 | 43.9 MB
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.
It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.
Model Theory, Computer Science, and Graph Polynomials eBooks & eLearning
Posted by DexterDL at Aug. 6, 2025
Model Theory, Computer Science, and Graph Polynomials: Festschrift in Honor of Johann A. Makowsky
English | 2025 | ISBN: 9783031863196 | 356 pages | PDF | 12.75 MB
Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesim eBooks & eLearning
Posted by insetes at Dec. 28, 2024
Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996 By Layman E. Allen (auth.), Mark A. Brown PhD, José Carmo PhD (eds.)
1996 | 235 Pages | ISBN: 3540760156 | PDF | 7 MB
1996 | 235 Pages | ISBN: 3540760156 | PDF | 7 MB