finelybook
Proof Theory and Logic Programming: Computation as Proof Search
Author(s): Dale Miller (Author)
Cambridge University | 2025 | English | 9781009561297 | 334 pages | PDF | 1 MB
最近更新 第115页
Energy Transitions: The AI–Energy Nexus
Author(s): Lefteri H Tsoukalas (Author)
World Scientific | 2026 | English | 9789819820436 | 300 pages | PDF | 11 MB
Handbook of Digital Innovation, Transformation, and Sustainable Development in a Post-Pandemic Era
Author(s): M. Affan Badar (Editor), Ruchika Gupta (Editor), Priyank Srivastava (Editor), Imran Ali (Editor), Elizabeth A. Cudney (Editor)
CRC | 2024 | English | 9781032566887 | 488 pages | PDF, EPUB | 20 MB
Distributed and Parallel Computing
Author(s): Sandhya Avasthi (Editor), Suman Lata Tripathi (Editor)
Wiley-Scrivener | 2025 | English | 9781394288007 | 368 pages | PDF, EPUB | 35 MB
Digital Immune System: Principles and Practices
Author(s): Sujata Priyambada Dash (Editor), Vaibhav Mishra (Editor), Bijeta Shaw (Editor), Sandeep Kumar Panda (Editor), S. Balamurugan (Editor)
Wiley-Scrivener | 2025 | English | 9781394383757 | 416 pages | EPUB, PDF(conv) | 19 MB
Deep Learning for Intrusion Detection: Techniques and Applications
Author(s): Faheem Syeed Masoodi (Editor), Alwi Bamhdi (Editor)
Wiley | 2025 | English | 9781394285167 | 336 pages | PDF, EPUB | 10 MB
Computer Arithmetic in Practice: Exercises and Programming
Author(s): Slawomir Grys (Author)
CRC | 2023 | English | 9781032425658 | 212 pages | PDF, EPUB | 4 MB
The C++ Programmer’s Mindset: Learn computational, algorithmic, and systems thinking to become a better C++ programmer
Author(s): Sam Morley (Author)
Packt | 2025 | English | 9781835888438 | 398 pages | PDF, EPUB | 5 MB
Cloud Security: Managing Emerging Threats
Author(s): Ankur Chowdhary (Author), Abdulhakim Sabur (Author)
CRC | 2025 | English | 9781032470788 | 276 pages | PDF, EPUB | 115 MB
Basics of Semiconductors
Author(s): 3G E-Learning (Author)
3G E-learning LLC | 2024 | English | 9781984685650 | 164 pages | PDF | 25 MB