| S/N |
NAMES |
LINKS |
| 1 |
Computer Aided Verification |
https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf |
| 2 |
Computational Science – ICCS 2022 |
https://library.oapen.org/bitstream/20.500.12657/61845/1/978-3-031-08757-8.pdf |
| 3 |
Foundations of Software Science and Computation Structures |
https://library.oapen.org/bitstream/20.500.12657/54027/1/978-3-030-99253-8.pdf |
| 4 |
Natural Computing and Beyond |
https://library.oapen.org/bitstream/20.500.12657/39970/1/2013_Book_NaturalComputingAndBeyond.pdf |
| 5 |
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
https://library.oapen.org/bitstream/20.500.12657/49587/1/9783854480426.pdf |
| 6 |
Computer Aided Verification |
https://library.oapen.org/bitstream/20.500.12657/57931/1/978-3-031-13188-2.pdf |
| 7 |
Advances in Computer Science and IT |
https://mts.intechopen.com/storage/books/3760/authors_book/authors_book.pdf |
| 8 |
Computer Aided Verification |
https://library.oapen.org/bitstream/20.500.12657/23325/1/1006830.pdf |
| 9 |
Foundations of Software Science and Computation Structures |
https://library.oapen.org/bitstream/20.500.12657/37723/1/2020_Book_FoundationsOfSoftwareScienceAn.pdf |
| 10 |
Programming Languages and Systems |
https://library.oapen.org/bitstream/20.500.12657/23330/1/1006825.pdf |
| 11 |
Silicon Valley Cybersecurity Conference |
https://library.oapen.org/bitstream/20.500.12657/61298/1/978-3-031-24049-2.pdf |
| 12 |
Foundations of Software Science and Computation Structures |
https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf |
| 13 |
Artificial Intelligence and Cognitive Science |
https://library.oapen.org/bitstream/20.500.12657/61867/1/978-3-031-26438-2.pdf |
| 14 |
Socio-Cognitive and Affective Computing |
http://www.mdpi.com/books/pdfview/book/758 |
| 15 |
Computer Science and Engineering Education for Pre-collegiate Students and Teachers |
https://mdpi.com/books/pdfview/book/1332 |
| 16 |
Reversible Computation: Extending Horizons of Computing |
https://library.oapen.org/bitstream/20.500.12657/39589/1/2020_Book_ReversibleComputationExtending.pdf |
| 17 |
Finite Difference Computing with Exponential Decay Models |
https://library.oapen.org/bitstream/20.500.12657/27712/1/1002294.pdf |
| 18 |
The 1st International Conference on Computational Engineering and Intelligent Systems |
https://mdpi.com/books/pdfview/book/5280 |
| 19 |
Architecture of Advanced Numerical Analysis Systems |
https://library.oapen.org/bitstream/20.500.12657/60830/1/978-1-4842-8853-5.pdf |
| 20 |
Brain-Inspired Computing |
https://library.oapen.org/bitstream/20.500.12657/50430/1/978-3-030-82427-3.pdf |
| 21 |
Computational Fluid Dynamics |
https://mts.intechopen.com/storage/books/3194/authors_book/authors_book.pdf |
| 22 |
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf |
| 23 |
Supercomputing Frontiers |
https://library.oapen.org/bitstream/20.500.12657/57385/1/978-3-031-10419-0.pdf |
| 24 |
Evolutionary Computation |
https://mts.intechopen.com/storage/books/3749/authors_book/authors_book.pdf |
| 25 |
The Amazing Journey of Reason |
https://library.oapen.org/bitstream/20.500.12657/23086/1/1007072.pdf |
| 26 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://library.oapen.org/bitstream/20.500.12657/48219/1/9783030720131.pdf |
| 27 |
Programming for Computations – MATLAB/Octave |
https://library.oapen.org/bitstream/20.500.12657/27998/1/1001999.pdf |
| 28 |
New Achievements in Evolutionary Computation |
https://mts.intechopen.com/storage/books/2713/authors_book/authors_book.pdf |
| 29 |
Programming Languages and Systems |
https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf |
| 30 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf |
| 31 |
Software for Exascale Computing – SPPEXA 2016-2019 |
https://library.oapen.org/bitstream/20.500.12657/41289/1/2020_Book_SoftwareForExascaleComputing-S.pdf |
| 32 |
Supercomputing Frontiers |
https://library.oapen.org/bitstream/20.500.12657/39588/1/2020_Book_SupercomputingFrontiers.pdf |
| 33 |
Diversity in Computer Science |
https://library.oapen.org/bitstream/20.500.12657/59372/1/978-3-031-13314-5.pdf |
| 34 |
Fluid Dynamics, Computational Modeling and Applications |
https://mts.intechopen.com/storage/books/1989/authors_book/authors_book.pdf |
| 35 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://library.oapen.org/bitstream/20.500.12657/37722/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf |
| 36 |
Computational Thinking Education |
https://library.oapen.org/bitstream/20.500.12657/23182/1/1006971.pdf |
| 37 |
Human Computer Interaction |
https://mts.intechopen.com/storage/books/6120/authors_book/authors_book.pdf |
| 38 |
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings |
https://library.oapen.org/bitstream/20.500.12657/27714/1/1002292.pdf |
| 39 |
Computational and Numerical Simulations |
https://mts.intechopen.com/storage/books/3832/authors_book/authors_book.pdf |
| 40 |
Fundamental Approaches to Software Engineering |
https://library.oapen.org/bitstream/20.500.12657/23333/1/1006822.pdf |
| 41 |
Computer Vision Metrics |
https://library.oapen.org/bitstream/20.500.12657/28173/1/1001821.pdf |
| 42 |
Objective Information Theory |
https://library.oapen.org/bitstream/20.500.12657/62455/1/978-981-19-9929-1.pdf |
| 43 |
Automated Reasoning |
https://library.oapen.org/bitstream/20.500.12657/57927/1/978-3-031-10769-6.pdf |
| 44 |
AI Knowledge Transfer from the University to Society |
https://library.oapen.org/bitstream/20.500.12657/52571/1/9781000568134.pdf |
| 45 |
Computational Models in Engineering |
https://mts.intechopen.com/storage/books/7678/authors_book/authors_book.pdf |
| 46 |
Advances in Human Computer Interaction |
https://mts.intechopen.com/storage/books/3786/authors_book/authors_book.pdf |
| 47 |
Human-Computer Interaction |
https://mts.intechopen.com/storage/books/5249/authors_book/authors_book.pdf |
| 48 |
Programming for Computations – Python |
https://library.oapen.org/bitstream/20.500.12657/23103/1/1007055.pdf |
| 49 |
Human Computer Interaction and Emerging Technologies |
https://library.oapen.org/bitstream/20.500.12657/39716/1/human-computer-interaction-and-emerging-technologies.pdf |
| 50 |
How the Computer went to School |
https://library.oapen.org/bitstream/20.500.12657/25754/1/1004334.pdf |
| 51 |
Principles of Security and Trust |
https://library.oapen.org/bitstream/20.500.12657/23331/1/1006824.pdf |
| 52 |
Mixed Reality and Three-Dimensional Computer Graphics |
https://mts.intechopen.com/storage/books/7603/authors_book/authors_book.pdf |
| 53 |
Computer Vision |
https://mts.intechopen.com/storage/books/3765/authors_book/authors_book.pdf |
| 54 |
High-Performance Modelling and Simulation for Big Data Applications |
https://library.oapen.org/bitstream/20.500.12657/23334/1/1006821.pdf |
| 55 |
Security in Computer and Information Sciences |
https://library.oapen.org/bitstream/20.500.12657/57380/1/978-3-031-09357-9.pdf |
| 56 |
Informatics in the Future: Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 |
https://library.oapen.org/bitstream/20.500.12657/28055/1/1001939.pdf |
| 57 |
Numerical Modeling and Computer Simulation |
https://mts.intechopen.com/storage/books/7824/authors_book/authors_book.pdf |
| 58 |
Engineering the Computer Science and IT |
https://mts.intechopen.com/storage/books/3781/authors_book/authors_book.pdf |
| 59 |
High Performance Embedded Computing |
https://library.oapen.org/bitstream/20.500.12657/59745/1/9781000794687.pdf |
| 60 |
Quantum Computing for the Quantum Curious |
https://library.oapen.org/bitstream/20.500.12657/48236/1/9783030616014.pd |
| 61 |
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing |
https://library.oapen.org/bitstream/20.500.12657/59730/1/9781000794380.pdf |
| 62 |
The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? |
https://library.oapen.org/bitstream/20.500.12657/27793/1/1002212.pdf |
| 63 |
Computation and the Humanities: Towards an Oral History of Digital Humanities |
https://library.oapen.org/bitstream/20.500.12657/28115/1/1001879.pdf |
| 64 |
Probability in Electrical Engineering and Computer Science |
https://library.oapen.org/bitstream/20.500.12657/50016/1/978-3-030-49995-2.pdf |
| 65 |
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries |
https://library.oapen.org/bitstream/20.500.12657/57925/1/978-3-031-08999-2.pdf |
| 66 |
Thumbnail Real-Time Auralisation of Outdoor Sound Propagation |
https://www.logos-verlag.de/ebooks/OA/978-3-8325-5629-7.pdf |
| 67 |
Computational Simulations and Applications |
https://mts.intechopen.com/storage/books/405/authors_book/authors_book.pdf |
| 68 |
Grid Computing |
https://mts.intechopen.com/storage/books/1865/authors_book/authors_book.pdf |
| 69 |
EG-ICE 2021 Workshop on Intelligent Computing in Engineering |
https://library.oapen.org/bitstream/20.500.12657/52189/1/EG-ICE_2021.pdf |
| 70 |
Gender Differences in Computer and Information Literacy |
https://library.oapen.org/bitstream/20.500.12657/22956/1/1007204.pdf |
| 71 |
Hypergraph Computation |
https://library.oapen.org/bitstream/20.500.12657/63610/1/978-981-99-0185-2.pdf |
| 72 |
Advances in Computer Science and Engineering |
https://mts.intechopen.com/storage/books/116/authors_book/authors_book.pdf |
| 73 |
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences |
https://library.oapen.org/bitstream/20.500.12657/41292/1/2020_Book_TowardsInteroperableResearchIn.pdf |
| 74 |
Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings |
https://library.oapen.org/bitstream/20.500.12657/27785/1/1002220.pdf |
| 75 |
Haptics: Science, Technology, Applications |
https://library.oapen.org/bitstream/20.500.12657/56983/1/978-3-031-06249-0.pdf |
| 76 |
Nordic Artificial Intelligence Research and Development |
https://library.oapen.org/bitstream/20.500.12657/61287/1/978-3-031-17030-0.pdf |
| 77 |
Theory, Application, and Implementation of Monte Carlo Method in Science and Technology |
https://mts.intechopen.com/storage/books/8190/authors_book/authors_book.pdf |
| 78 |
Hypergraph Computation |
https://library.oapen.org/bitstream/20.500.12657/63610/1/978-981-99-0185-2.pdf |
| 79 |
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences |
https://library.oapen.org/bitstream/20.500.12657/41292/1/2020_Book_TowardsInteroperableResearchIn.pdf |
| 80 |
Handbook of Computational Social Science for Policy |
https://library.oapen.org/bitstream/handle/20.500.12657/61285/978-3-031-16624-2.pdf?sequence=1 |
| 81 |
Fundamental Approaches to Software Engineering |
https://library.oapen.org/bitstream/20.500.12657/54029/1/978-3-030-99429-7.pdf |
| 82 |
Computational Fluid Dynamics Technologies and Application |
https://mts.intechopen.com/storage/books/161/authors_book/authors_book.pdf |
| 83 |
Recent Advances in Brain-Computer Interface Systems |
https://mts.intechopen.com/storage/books/47/authors_book/authors_book.pdf |
| 84 |
Turtle Geometry: The Computer as a Medium for Exploring Mathematics |
https://watermark.silverchair.com/book_9780262362740.pdf 85. |
| 85 |
Fundamental Approaches to Software Engineering |
https://library.oapen.org/bitstream/20.500.12657/37725/1/2020_Book_FundamentalApproachesToSoftwar.pdf |
| 86 |
Applications of Computational Intelligence |
https://mdpi-res.com/bookfiles/book/7106/Applications_of_Computational_Intelligence.pdf?v=1694013681 |
| 87 |
Brain Computations and Connectivity |
https://library.oapen.org/bitstream/20.500.12657/63871/1/9780198887928_WEB2.pdf |
| 88 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://library.oapen.org/bitstream/20.500.12657/54031/1/978-3-030-99527-0.pdf |
| 89 |
Digital Forensic Science |
https://mts.intechopen.com/storage/books/8321/authors_book/authors_book.pdf |
| 90 |
Logic and Computation |
https://mdpi-res.com/bookfiles/book/7198/Logic_and_Computation.pdf?v=1694014230 |
| 91 |
Intelligent Computing for Big Data |
https://mdpi-res.com/bookfiles/book/6398/Intelligent_Computing_for_Big_Data.pdf?v=1694014279 |
| 92 |
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings |
https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf |
| 93 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf |
| 94 |
Cyber Security |
https://library.oapen.org/bitstream/20.500.12657/52870/1/978-981-16-9229-1.pdf |
| 95 |
Computer Aided Verification |
https://library.oapen.org/bitstream/20.500.12657/75412/1/978-3-031-37706-8.pdf |
| 96 |
Algorithms for Big Data |
https://library.oapen.org/bitstream/20.500.12657/61296/1/978-3-031-21534-6.pdf |
| 97 |
Applications of MATLAB in Science and Engineering |
https://mts.intechopen.com/storage/books/1027/authors_book/authors_book.pdf |
| 98 |
Applications of Monte Carlo Method in Science and Engineering |
https://mts.intechopen.com/storage/books/1485/authors_book/authors_book.pdf |
| 99 |
Tools and Algorithms for the Construction and Analysis of Systems |
https://library.oapen.org/bitstream/20.500.12657/23327/1/1006828.pdf |
| 100 |
Intertwingled: The Work and Influence of Ted Nelson |
https://library.oapen.org/bitstream/handle/20.500.12657/28043/1001951.pdf?sequence=1 |
| 101 |
Computer Vision and Machine Learning for Intelligent Sensing Systems |
https://mdpi-res.com/bookfiles/book/7500/Computer_Vision_and_Machine_Learning_for_Intelligent_Sensing_Systems.pdf?v=1694021650 |
| 102 |
MATLAB |
https://mts.intechopen.com/storage/books/294/authors_book/authors_book.pdf |
| 103 |
Soft Computing |
https://library.oapen.org/bitstream/handle/20.500.12657/43494/external_content.pdf?sequence=1 |
| 104 |
Computational Intelligence and Soft Computing: Recent Applications |
https://mdpi-res.com/bookfiles/book/7134/Computational_Intelligence_and_Soft_Computing_Recent_Applications.pdf?v=1694021999 |
| 105 |
Applied Computational Fluid Dynamics |
https://mts.intechopen.com/storage/books/1988/authors_book/authors_book.pdf |
| 106 |
Technology and Sustainable Development |
https://library.oapen.org/bitstream/handle/20.500.12657/62281/9781000886078.pdf?sequence=1 |
| 107 |
Differential Equations for Studies in Computational Electrophysiology |
https://library.oapen.org/bitstream/handle/20.500.12657/63576/978-3-031-30852-9.pdf?sequence=1 |
| 108 |
Numerical and Symbolic Computation |
https://mdpi-res.com/bookfiles/book/2417/Numerical_and_Symbolic_Computation.pdf?v=1694022401 |
| 109 |
Solving PDEs in Python: The FEniCS Tutorial I |
https://library.oapen.org/bitstream/handle/20.500.12657/27716/1002290.pdf?sequence=1 |
| 11o |
Electronic Voting |
https://library.oapen.org/bitstream/handle/20.500.12657/58339/978-3-031-15911-4.pdf?sequence=1 |
| 111 |
Security of Ubiquitous Computing Systems |
https://library.oapen.org/bitstream/handle/20.500.12657/46790/2021_Book_SecurityOfUbiquitousComputingS.pdf?sequence=1 |
| 112 |
Vector Semantics |
https://library.oapen.org/bitstream/handle/20.500.12657/60191/978-981-19-5607-2.pdf?sequence=1 |
| 113 |
IoT Applications Computing |
https://mts.intechopen.com/storage/books/9977/authors_book/authors_book.pdf |
| 114 |
Multimedia Forensics |
https://library.oapen.org/bitstream/20.500.12657/54043/1/978-981-16-7621-5.pdf |
| 115 |
Biometrics |
https://mts.intechopen.com/storage/books/118/authors_book/authors_book.pdf |
| 116 |
Finite Difference Computing with PDEs: A Modern Software Approach |
https://library.oapen.org/bitstream/handle/20.500.12657/27809/1002196.pdf?sequence=1 |
| 117 |
Big Data Computing for Geospatial Applications |
https://mdpi-res.com/bookfiles/book/3121/Big_Data_Computing_for_Geospatial_Applications.pdf?v=1694023356 |
| 118 |
Serial and Parallel Robot Manipulators |
https://mts.intechopen.com/storage/books/1876/authors_book/authors_book.pdf |
| 119 |
Web Intelligence and Intelligent Agents |
https://mts.intechopen.com/storage/books/6123/authors_book/authors_book.pdf |
| 120 |
Developing Graphics Frameworks with Python and OpenGL |
https://library.oapen.org/bitstream/20.500.12657/48838/1/9781000407952.pdf |
