Listing 743 Free Ebooks at Amazon

Book Avg Rating Num Ratings Last Verified
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science Book 12225) by Shuvendu K. Lahiri and Chao Wang 5.0 1 Dec 4
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 1080 by Christel Baier and Ugo Dal Lago 4.4 9 Dec 4
Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at ... and Communication Technology Book 54 by Leon Strous and Vinton G. Cerf 4.4 63 Dec 4
Embedded Firmware Solutions: Development Best Practices for the Internet of Things by Vincent Zimmer , Jiming Sun 4.2 73 Dec 4
Android on x86: An Introduction to Optimizing for Intel Architecture by Iggy Krajci and Darren Cummings 4.3 93 Dec 4
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561 by Isil Dillig and Serdar Tasiran 3.0 1 Dec 4
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran 4.0 2 Dec 4
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book by Ilya Sergey 0.0 0 Dec 4
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering Book 136) by Hans-Joachim Bungartz, Severin Reiz 4.2 3 Dec 4
Embedded Firmware Solutions: Development Best Practices for the Internet of Things by Vincent Zimmer , Jiming Sun 4.2 73 Dec 4
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Science and General Issues Boo by Armin Biere and David Parker 3.0 1 Dec 4
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Science and General Issues Boo by Armin Biere and David Parker 3.0 1 Dec 4
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran 4.0 2 Dec 4
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Science and General Issues Boo by Armin Biere and David Parker 3.0 1 Dec 4
Android on x86: An Introduction to Optimizing for Intel Architecture by Iggy Krajci and Darren Cummings 4.3 93 Dec 4
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 1080 by Christel Baier and Ugo Dal Lago 4.4 9 Dec 4
TouchDevelop: Programming on the Go (Expert's Voice in Web Development) by Nigel Horspool, Nikolai Tillmann 4.3 61 Dec 4
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Armin Biere and David Parker 4.0 2 Dec 4
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 1080 by Christel Baier and Ugo Dal Lago 4.4 9 Dec 4
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Science and General Issues Boo by Armin Biere and David Parker 3.0 1 Dec 4
Embedded Firmware Solutions: Development Best Practices for the Internet of Things by Vincent Zimmer , Jiming Sun 4.2 73 Dec 4
Android on x86: An Introduction to Optimizing for Intel Architecture by Iggy Krajci and Darren Cummings 4.3 93 Dec 4
Android on x86: An Introduction to Optimizing for Intel Architecture by Iggy Krajci and Darren Cummings 4.3 93 Dec 4
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering Book 136) by Hans-Joachim Bungartz, Severin Reiz 4.2 3 Dec 4
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science Book 12225) by Shuvendu K. Lahiri and Chao Wang 5.0 1 Dec 4
Sort by: Avg Rating | Num Ratings | Last Verified
Avg 4.2 of 73 ratings - Last Verified Dec 4
Avg 4.3 of 93 ratings - Last Verified Dec 4
Avg 4.2 of 3 ratings - Last Verified Dec 4
Avg 4.2 of 73 ratings - Last Verified Dec 4
Avg 4.3 of 93 ratings - Last Verified Dec 4
Avg 4.3 of 61 ratings - Last Verified Dec 4
Avg 4.2 of 73 ratings - Last Verified Dec 4
Avg 4.3 of 93 ratings - Last Verified Dec 4
Avg 4.3 of 93 ratings - Last Verified Dec 4
Avg 4.2 of 3 ratings - Last Verified Dec 4