Format:
Table of Contents: “... Billion SMT Queries a Day (Invited Paper) -- 1 Introduction -- 2 Eliminate Writing Specifications -- 2...”
Click to View

Format:
Table of Contents: “...Intro -- Preface -- Contents -- Part I Introduction -- 1 What Is the Sublinear Computation Paradigm...”
Click to View

Format:
Table of Contents: “... and Back: Remote Pair Programming During COVID-19 -- 1 Introduction -- 2 Background and Related Work -- 2...”
Click to View

Format:
Table of Contents: “... -- Book GitHub -- Hello, World! and a SYCL Program Dissection -- Queues and Actions -- It Is All About...”
Click to View

Format:
Table of Contents: “... -- 1.5 Obtaining the tutorial examples -- 1.6 Background knowledge -- 1.6.1 Programming in Python -- 1...”
Click to View

Format:
Table of Contents: “... Activities -- Game is Fame! Negotiating Interests in Halal Knowledge via Halal@School Program by IHRAM...”
Click to View

Format:
Table of Contents: “...Intro -- CONTENTS -- PREFACE -- COMPUTATIONAL CHALLENGES IN COMPARATIVE GENOMICS -- SESSION...”
Click to View

Format:
Table of Contents: “... Syntax -- 2.3 Computational Statistics Using Programming -- 2.4 Introducing R and RStudio -- 2...”
Click to View

Format:
Table of Contents: “... Gifted and Able Students -- 9 Scholarships Program for Academically High Performing Graduates -- 10...”
Click to View

Format:
Table of Contents: “... 'precariat' -- A small-scale, high absorption infrastructure boom -- Green technology and 4IR for Africa...”
Click to View

Format:
Table of Contents: “... Survey Data -- 3.5 Interdisciplinary Academic Writing Self-efficacy -- 3.6 Educators' Discussions in a...”
Click to View