-
1
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 24th.
Published 2018CONNECT
Electronic eBook -
2
-
3
-
4
Computational thinking and how to develop it in the educational process /
Published 2020CONNECT
Electronic eBook -
5
-
6
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.
Published 2019CONNECT
CONNECT
Electronic Conference Proceeding eBook -
7
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022CONNECT
CONNECT
Electronic Conference Proceeding eBook -
8
-
9
-
10
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings.
Published 2024CONNECT
Electronic Conference Proceeding eBook -
11
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings.
Published 2024CONNECT
CONNECT
Electronic Conference Proceeding eBook -
12
-
13
-
14
-
15
-
16
-
17
Decision points : Boolean logic for computer users and beginning online searchers /
Published 1999CONNECT
Electronic eBook -
18
-
19
The logician and the engineer : how George Boole and Claude Shannon created the information age /
Published 2012CONNECT
Electronic eBook -
20