• Ebook Concepts, techniques, and models of computer programming: Part 1 - Peter Van Roy, Seif Haridi

    Ebook Concepts, techniques, and models of computer programming: Part 1 - Peter Van Roy, Seif Haridi

    Part 1 of book "Concepts, techniques, and models of computer programming" provide with knowledge about: introduction to programming concepts; general computation models; declarative computation model; declarative programming techniques; declarative concurrency; message-passing concurrency;...

     435 p actvn 23/08/2022 66 0

  • Ebook Concepts, techniques, and models of computer programming: Part 2 - Peter Van Roy, Seif Haridi

    Ebook Concepts, techniques, and models of computer programming: Part 2 - Peter Van Roy, Seif Haridi

    Part 1 of book "Concepts, techniques, and models of computer programming" provide with knowledge about: explicit state; object-oriented programming; shared-state concurrency; relational programming; specialized computation models; graphical user interface programming; distributed programming; constraint programming; mozart system development environment;...

     496 p actvn 23/08/2022 65 0

  • Ebook Programming and problem solving with C++ (Sixth edition): Part 1

    Ebook Programming and problem solving with C++ (Sixth edition): Part 1

    Part 1 of book "Comprehensive edition: Programming and problem solving with C++ (Sixth edition)" provide with knowledge about: overview of programming and problem solving; C++ syntax and semantics, and the program development process; numeric types, expressions, and output; program input and the software design process; conditions, logical expressions, and selection control structures;...

     677 p actvn 23/08/2022 83 1

  • Ebook Programming and problem solving with C++ (Sixth edition): Part 2

    Ebook Programming and problem solving with C++ (Sixth edition): Part 2

    Part 2 of book "Comprehensive edition: Programming and problem solving with C++ (Sixth edition)" provide with knowledge about: arrays; classes and abstraction; array-based lists; dynamic data and linked lists; inheritance, polymorphism, and object-oriented design; templates, operator overloading, and exceptions; introduction to data structures using the standard template library;...

     721 p actvn 23/08/2022 72 0

  • Ebook Programming Methodology: Part 1 - Annabelle Mclver, Carroll Morgan

    Ebook Programming Methodology: Part 1 - Annabelle Mclver, Carroll Morgan

    Part 1 of the book "Programming Methodology" will provide with knowledge about: models and correctness; wanted: a compositional approach to concurrency; enforcing behavior with contracts; asynchronous progress; a reduction theorem for concurrent object-oriented programs; abstractions from time; a predicative semantics for real-time refinement;...

     208 p actvn 23/08/2022 70 0

  • Ebook Programming Methodology: Part 2 - Annabelle Mclver, Carroll Morgan

    Ebook Programming Methodology: Part 2 - Annabelle Mclver, Carroll Morgan

    Continued part 1, part 2 of the book "Programming Methodology" will provide with knowledge about: programming techniques; object orientation; object-oriented programming and software development - a critical assessment; a trace model for pointers and objects; object models as heap invariants; abstraction dependencies; applications and automated theories;...

     248 p actvn 23/08/2022 70 0

  • Ebook Your UNIX/LINUX: the ultimate guide (Third Edition) – Part 1

    Ebook Your UNIX/LINUX: the ultimate guide (Third Edition) – Part 1

    Ebook Your UNIX/LINUX: the ultimate guide (Third Edition) – Part 1 presents the following content: Chapter 1 Introducing UNIX; Chapter 2 Becoming Familiar with UNIX Commands; Chapter 3 The File System; Chapter 4 File Attributes; Chapter 5 The vi/vim Editor; Chapter 6 The Shell; Chapter 7 The Process; Chapter 8 The Shell - Customizing the Environment; Chapter 9 Simple Filters; Chapter 10 Filters Using Regular Expressions - grep and sed;...

     369 p actvn 23/08/2022 76 0

  • Ebook Your UNIX/LINUX: the ultimate guide (Third Edition) – Part 2

    Ebook Your UNIX/LINUX: the ultimate guide (Third Edition) – Part 2

    Ebook Your UNIX/LINUX: the ultimate guide (Third Edition) – Part 1 presents the following content: Chapter 12 Filtering and Programming with awk; Chapter 13 Shell Programming; Chapter 14 perl - The Master Manipulator; Chapter 15 Introducing C; Chapter 16 Program Development Tools; Chapter 17 Systems Programming I – Files; Chapter 18 Systems Programming II - Process Control; Chapter 19 System Administration.

     432 p actvn 23/08/2022 80 0

  • Ebook The Intel microprocessors: architecture, programming, and interfacing – Part 1

    Ebook The Intel microprocessors: architecture, programming, and interfacing – Part 1

    Ebook The Intel microprocessors: Part 1 presents the following content: Chapter 1 introduction to the microprocessor and computer, chapter 2 the microprocessor and its architecture, chapter 3 addressing modes, chapter 4 data movement instructions, chapter 5 arithmetic and logic instructions, chapter 6 program control instructions, chapter 7 using assembly language with C/C++.

     395 p actvn 23/08/2022 62 1

  • Ebook The Intel microprocessors: architecture, programming, and interfacing – Part 2

    Ebook The Intel microprocessors: architecture, programming, and interfacing – Part 2

    Ebook The Intel microprocessors: Part 2 presents the following content: Programming the microprocessor; 8086/8088 HARDWARE SPECIFICATIONS; memory interface; basic I/O interface; interrupts; direct memory access and dma-controlled I/O; the arithmetic coprocessor, MMX, and SIMD technologies bus interface; the 80186, 80188, and 80286 microprocessors; the 80386 and 80486 microprocessors; the pentium and pentium pro microprocessors the pentium II,...

     549 p actvn 23/08/2022 54 1

  • Giáo trình PHP & MySQL - Bùi Quốc Huy

    Giáo trình PHP & MySQL - Bùi Quốc Huy

    Giáo trình "PHP & MySQL" nhằm cung cấp cho học viên những kiến thức cơ bản về HTML và Javascript; tổng quan PHP; toán tử và biểu thức; mảng trong PHP (Array); hàm và gọi lại hàm; làm việc với chuỗi; các thao tác trên file; xử lý form trong PHP; quản lý phiên làm việc; tổng quan MySQL;... Mời các bạn cùng tham khảo!

     68 p actvn 23/08/2022 122 0

  • Bài giảng Kho dữ liệu và khai phá dữ liệu: Chương 1 - Nguyễn Ngọc Duy

    Bài giảng Kho dữ liệu và khai phá dữ liệu: Chương 1 - Nguyễn Ngọc Duy

    Bài giảng Kho dữ liệu và khai phá dữ liệu: Chương 1 trình bày một số khái niệm cơ bản về khai phá dữ liệu, các loại dữ liệu và kiểu mẫu dùng để khai phá, các bài toán và phương pháp cơ bản trong khai phá dữ liệu, sự tích hợp của khai phá dữ liệu, ứng dựng của kho dữ liệu và khai phá dữ liệu.

     30 p actvn 22/08/2022 77 1

Hướng dẫn khai thác thư viện số
getDocumentFilter3 p_strSchoolCode=actvn