Subcategories

Please register using this link if you want to download anything.

Latest
Best

Arduino 230 Projects

Posted By: zxcvbn

Date: 30 Oct 2020 03:16:25

Arduino

Details

Arduino Language Reference: Arduino Programming for Absolute Beginners , 2nd Edition

Posted By: zxcvbn

Date: 29 Oct 2020 04:31:24

Details

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Posted By: AvaxGenius

Date: 28 Oct 2020 23:55:00

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I by Tiziana Margaria
English | PDF | 2020 | 596 Pages | ISBN : 3030613615 | 27.8 MB

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

architecture verification and validation artificial intelligence embedded systems

Details

Mobile Robotics: A Practical Introduction

Posted By: DZ123

Date: 26 Oct 2020 16:36:11

Ulrich Nehmzow, "Mobile Robotics: A Practical Introduction"
English | 2012 | ISBN: 1852337265 | PDF | pages: 290 | 9.9 mb

Electronics Robotics

Details

Experimenting with the PIC Basic Pro Compiler

Posted By: DZ123

Date: 26 Oct 2020 16:21:36

Les Johnson, "Experimenting with the PIC Basic Pro Compiler: A Collection of Building Blocks and Working Applications Using ME LABS Simple to Use Yet Powerful Compiler"
English | 2000 | ISBN: 1903719003 | PDF | pages: 188 | 7.4 mb

CoCompilers Electronics

Details

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Posted By: AvaxGenius

Date: 26 Oct 2020 05:59:32

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III by Tiziana Margaria
English | PDF | 2020 | 498 Pages | ISBN : 3030614662 | 28 MB

architecture verification and validation computer networks artificial intelligence embedded control software formal logic embedded systems computer programming blockchain

Details

Build a Remote-Controlled Robot

Posted By: DZ123

Date: 25 Oct 2020 19:42:49

David R. Shircliff, "Build a Remote-Controlled Robot"
English | 2002 | ISBN: 0071409645 | PDF | pages: 145 | 50.5 mb

Engineering Robotics

Details

Practical Arduino Engineering (Repost)

Posted By: DZ123

Date: 25 Oct 2020 16:59:50

Harold Timmis, "Practical Arduino Engineering"
English | 2011 | ISBN: 1430238852 | PDF | pages: 320 | 9.9 mb

Arduino Electronics

Details

PIC Robotics: A Beginner's Guide to Robotics Projects Using the PIC Micro

Posted By: DZ123

Date: 25 Oct 2020 16:46:48

John Iovine, "PIC Robotics: A Beginner's Guide to Robotics Projects Using the PIC Micro"
English | 2004 | ISBN: 0071373241 | PDF | pages: 289 | 30.9 mb

Robotics Electronics

Details