Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View

Format:
Table of Contents: “...Intro -- Preface -- Organization -- Contents -- Extended Workshop Papers -- Active Semantic...”
Click to View

Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “...Intro -- Foreword -- Contents -- Machine Intelligence -- Light Fixtures Position Detection Using a...”
Click to View

Format:
Table of Contents: “...Intro -- In Memoriam -- Preface -- Contents -- Perspectives -- Beyond Watson-Crick: The Next 40...”
Click to View

Format:
Table of Contents: “...Intro -- Foreword -- Preface -- Acknowledgments -- Contents -- List of Figures -- List of Tables...”
Click to View

Format:
Table of Contents: “....2 Defining a Framework for Modeling: Design and Notation -- 8.3 Developing the S-BPM Buildbook -- 8...”
Click to View

Format:
Table of Contents: “...Intro -- Table of Contents -- Preface -- Foreword -- CONTRIBUTORS -- NOTATION -- PART I RAY TRACING...”
Click to View