Listing 505 Free Ebooks at Amazon

Book Avg Rating Num Ratings Last Verified
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Lecture Notes in Computer Science Book 10776) by Rio Yokota and Weigang Wu 4.2 4 May 19
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 May 19
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 May 19
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 May 19
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Lecture Notes in Computer Science Book 10776) by Rio Yokota and Weigang Wu 4.2 4 May 19
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Lecture Notes in Computer Science Book 10776) by Rio Yokota and Weigang Wu 4.2 4 May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Lecture Notes in Computer Science Book 10776) by Rio Yokota and Weigang Wu 4.2 4 May 19
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Lecture Notes in Computer Science Book 10776) by Rio Yokota and Weigang Wu 4.2 4 May 19
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 May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 May 19
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 May 19
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 May 19
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 May 19
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 May 19
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 May 19
Sort by: Avg Rating | Num Ratings | Last Verified