Cuốn sách này giới thiệu về phần mềm Coq để viết và kiểm tra các bằng chứng toán học. Nó tập trung vào kỹ thuật thực tế xuyên suốt, nhấn mạnh các kỹ thuật sẽ giúp người dùng xây dựng, hiểu và duy trì sự phát triển Coq lớn và giảm thiểu chi phí thay đổi mã theo thời gian.

Phần giới thiệu về lập trình máy tính bằng Python này bắt đầu với một số kiến ​​thức cơ bản về điện toán và lập trình trước khi đi sâu vào các yếu tố cơ bản và các khối xây dựng của chương trình máy tính bằng ngôn ngữ Python.

Phần giới thiệu về lập trình máy tính bằng Python này bắt đầu với một số kiến ​​thức cơ bản về điện toán và lập trình trước khi đi sâu vào các yếu tố cơ bản và các khối xây dựng của chương trình máy tính bằng ngôn ngữ Python.

Cuốn sách truy cập mở này là một hướng dẫn hiện đại cho tất cả các lập trình viên C ++ để tìm hiểu Threading Building Blocks (TBB).

Phần giới thiệu về lập trình máy tính bằng Python này bắt đầu với một số kiến ​​thức cơ bản về điện toán và lập trình trước khi đi sâu vào các yếu tố cơ bản và các khối xây dựng của chương trình máy tính bằng ngôn ngữ Python.

Sổ tay thực hành này dành cho khóa học lập trình nhập môn dành cho sinh viên ngành Kỹ thuật Điện và/hoặc Công nghệ ở bậc Cao đẳng (AAS) và/hoặc Cử nhân (BS). Khóa học bắt đầu bằng phần giới thiệu về phần mềm mô phỏng Multisim (TM) và tiến tới lập trình bằng ngôn ngữ Python. Hầu hết các bài tập lập trình đều dựa trên các ứng dụng điện.

This book is aimed at three groups of readers: Experienced object-oriented programming developers looking to learn JavaScript as it relates to traditional OO languages such as Java and C++; Web application developers attempting to enhance site usability; novice JavaScript developers.

This book is suitable for undergraduate students in computer science and engineering, for students in other disciplines who have good programming skills, and for professionals.

The ISTQB Certified Tester exam was developed toward an international standard which includes 47 international testing boards. Today more than 130,000 people have taken the International Software Testing Qualifications Board (ISTQB) Foundations Level exam. So, where can all these people go to learn what they need to know in order to pass the exam? Now they can go to Software Testing Foundations, 3rd Edition, from Rocky Nook's Computing division.

If you want a basic understanding of computer vision’s underlying theory and algorithms, this hands-on introduction is the ideal place to start. You’ll learn techniques for object recognition, 3D reconstruction, stereo imaging, augmented reality, and other computer vision applications as you follow clear examples written in Python.