Cuốn sách này nhằm mục đích đóng góp cho lĩnh vực song ngữ từ góc độ cú pháp tổng quát ở nhiều cấp độ khác nhau.

Cuốn sách là nguồn thông tin và lập luận phong phú cho bất kỳ bên liên quan nào trong nghiên cứu phản đối các tiêu chuẩn kép trong nghiên cứu. Nó sẽ là tài liệu không thể thiếu đối với những người nộp đơn vào các chương trình khung của Liên minh châu Âu, vì GCC hiện là tài liệu tham khảo bắt buộc để nhận tài trợ của EU.

Cuốn sách này được thiết kế để giới thiệu cho bạn cách viết chương trình bằng ngôn ngữ lập trình Go. Bạn sẽ học cách viết các công cụ và ứng dụng hữu ích có thể chạy trên máy chủ từ xa hoặc hệ thống Windows, macOS và Linux cục bộ để phát triển.

Cuốn sách mở này là phần giới thiệu về React hoạt động từ nền tảng trở lên. Mỗi chương sẽ đưa bạn tìm hiểu sâu hơn một chút về hệ sinh thái React, dựa trên kiến ​​thức trước đây của bạn.

Node.js là môi trường thời gian chạy mã nguồn mở phổ biến có thể thực thi JavaScript bên ngoài trình duyệt. Thời gian chạy Node thường được sử dụng để phát triển web back-end, tận dụng khả năng không đồng bộ của nó để tạo các ứng dụng mạng và máy chủ web.

Cuốn sách Câu lạc bộ lập trình này là một phong trào của các câu lạc bộ máy tính vui nhộn, miễn phí gặp nhau ở hơn 150 quốc gia trên toàn thế giới. Tại Code Club, hàng trăm nghìn người trẻ - giống như bạn - học cách sáng tạo bằng công nghệ và đã tạo ra trò chơi, hoạt hình, trang web của riêng mình

Cuốn sách Câu lạc bộ lập trình này là một phong trào của các câu lạc bộ máy tính vui nhộn, miễn phí gặp nhau ở hơn 150 quốc gia trên toàn thế giới. Tại Code Club, hàng trăm nghìn người trẻ - giống như bạn - học cách sáng tạo bằng công nghệ và đã tạo ra trò chơi, hoạt hình, trang web của riêng mình.

Là cuốn sách thứ hai trong loạt Anyone Can Code, Algorithmic Thinking tập trung vào logic đằng sau lập trình máy tính và thiết kế phần mềm. Với cách tiếp cận lấy dữ liệu làm trung tâm, cuốn sách bắt đầu với các thuật toán đơn giản hoạt động trên các mục dữ liệu đơn giản và tiến tới các thuật toán phức tạp hơn bao gồm các cấu trúc dữ liệu và lớp.

Cuốn sách bìa cứng 224 trang tuyệt đẹp này không chỉ kể về câu chuyện của một số trò chơi điện tử tiêu biểu của những năm 1970 và 1980 mà còn chỉ cho bạn cách tạo ra các trò chơi của riêng mình lấy cảm hứng từ chúng bằng Python và Pygame Zero, theo các ví dụ được lập trình bởi người sáng lập Raspberry Pi Eben Upton. Trong tập đầu tiên trong số hai tập, chúng tôi làm lại năm trò chơi điện tử kinh điển - từ Pong đến Sensible Soccer, mỗi trò chơi đại diện cho một thể loại khác nhau

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.