All Categories →
Computers & Technology →
Hardware
Listing 505 Free Ebooks at Amazon
Sort by:
Avg Rating
|
Num Ratings
|
Last Verified
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 4.3 of 5 ratings - Last Verified May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 5.0 of 1 ratings - Last Verified May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 4.2 of 4 ratings - Last Verified 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
Avg 5.0 of 1 ratings - Last Verified May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 4.3 of 5 ratings - Last Verified 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
Avg 5.0 of 1 ratings - Last Verified 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
Avg 4.3 of 5 ratings - Last Verified 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
Avg 4.3 of 5 ratings - Last Verified May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 4.2 of 4 ratings - Last Verified 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
Avg 4.2 of 4 ratings - Last Verified May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 4.2 of 4 ratings - Last Verified 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
Avg 4.2 of 4 ratings - Last Verified 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
Avg 3.0 of 1 ratings - Last Verified May 19
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson
Avg 3.8 of 4 ratings - Last Verified 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
Avg 5.0 of 1 ratings - Last Verified 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
Avg 3.0 of 1 ratings - Last Verified 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
Avg 3.0 of 1 ratings - Last Verified 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
Avg 5.0 of 1 ratings - Last Verified 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
Avg 5.0 of 1 ratings - Last Verified May 19