Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

Démarche-qualité et organisations sportives : Guide pratique du manager by Claude Vasseur

DOAB: download the publication
DOAB: description of the publication

Neural Signal Estimation in the Human Brain by Christopher W. Tyler

DOAB: download the publication
DOAB: description of the publication

Topics of Thought The Logic of Knowledge, Belief, Imagination by Berto, Francesco

DOAB: download the publication
DOAB: description of the publication

Vietnam as if... Tales of youth, love and destiny by Huynh, Kim

OAPEN Library: download the publication
OAPEN Library: description of the publication

Topics of Thought The Logic of Knowledge, Belief, Imagination by Berto, Francesco

OAPEN Library: download the publication
OAPEN Library: description of the publication

DASAR PROGRAM PERENCANAAN DAN PERANCANGAN ARSITEKTUR(DP3A) PUSAT KEBUGARAN JASMANI DAN SPA DI SURAKARTA (Pendekatan Konsep Green Architecture) by SETIAWAN, ACHNIN

Connect to this object online

Redesain Stadion Joyokusumo Pati dengan Konsep Green Architecture by Samaran, Amor, , Wisnu Setiawan, ST., M.Arch., PhD

Connect to this object online

SISTEM INFORMASI PENDATAAN MURID BERBASIS WEB PADA TENTOREDU by Mirza Kemal Abdullah, -

Link Metadata

PENGGUNAAN CONVOLUTIONAL NEURAL NETWORK DALAM IDENTIFIKASI BAHAN KULIT SAPI DAN BABI DENGAN TENSORFLOW by Ellvina Reksi Hardyanti,

Link Metadata

Hindu Pluralism: Religion and the Public Sphere in Early Modern South India by Fisher, Elaine

DOAB: download the publication
DOAB: description of the publication

Körper, Leistung, Selbstdarstellung Medienaneignung jugendlicher Zuschauerinnen von Germany's Next Topmodel by Schurzmann-Leder, Lena

DOAB: download the publication
DOAB: description of the publication

Doing Research: A New Researcher's Guide by Hiebert, James, Cai, Jinfa, Hwang, Stephen, Morris, Anne K., Hohensee, Charles

Link to Metadata

The Social Life of Economic Inequalities in Contemporary Latin America Decades of Change /

Link to Metadata

Introduction to Probability by Grinstead, Charles M., Snell, J. Laurie

Access online version

Human Resource Management

Access online version

Foundations of Academic Success Words of Wisdom by Priester, Thomas C.

Access online version

Nanofibers

DOAB: download the publication
DOAB: description of the publication

Programming Persistent Memory A Comprehensive Guide for Developers by Scargall, Steve

DOAB: download the publication
DOAB: description of the publication

Mapping and the Citizen Sensor

DOAB: download the publication
DOAB: description of the publication