Search Results - "Running"

EFEKTIVITAS PEMBIAYAAN MODAL USAHA TERHADAP PERKEMBANGAN UMKM: STUDI KASUS BMT BINA UMMAT SEJAHTERA KCU PONDOK GEDE by Sulthan Suci Yudhistira,

Link Metadata

ANALISIS USER EXPERIENCE DAN REDESIGN USER INTERFACE WEBSITE SMA NEGERI 3 DEPOK DENGAN METODE USER CENTERED DESIGN (UCD) by Muhammad Fauzan Alhafizh,

Link Metadata

KLASIFIKASI DATA MAHASISWA UNTUK MEREKOMENDASIKAN KELOMPOK STUDI MAHASISWA MENGGUNAKAN ALGORITMA NAIVE BAYES by Alfian Pratama,

Link Metadata

ANALISIS BUKTI FORENSIK DIGITAL PENIPUAN TRANSAKSI ONLINE PADA LINE MESSENGER MENGGUNAKAN METODE FORENSIK LANGSUNG by Syamsul Arifin,

Link Metadata

HUBUNGAN AKTIVITAS FISIK, KEBIASAAN KONUMSI MIE INSTAN, DAN MINUMAN MANIS DENGAN KEJADIAN STATUS GIZI LEBIH PADA REMAJA DI SMA NEGERI 6 DEPOK by Radita Afifa Saptarani,

Link Metadata

PERENCANAAN GALANGAN KAPAL IKAN FIBERGLASS UNTUK MENUNJANG PEREKONOMIAN DI WILAYAH KABUPATEN KEBUMEN by Kevin Bagus Saputro,

Link Metadata

KEBIJAKAN HUKUM PIDANA DALAM PERAMPASAN ASET PERKARA TINDAK PIDANA KORUPSI UNTUK MEMAKSIMALKAN PEMULIHAN KEUANGAN NEGARA by Beny Kristanto,

Link Metadata

PENGUATAN POSISI BADAN PENYELESAIAN SENGKETA KONSUMEN TERHADAP TUGAS PENGAWASAN KLAUSULA BAKU by Evita Amung Kasih,

Link Metadata

KRITERIA PENENTUAN TEORI PERTANGGUNGJAWABAN PIDANA KORPORASI OLEH HAKIM DALAM MEMUTUS TINDAK PIDANA KORPORASI by Putri Trie Lestari,

Link Metadata

ANALISIS HASIL PERBAIKAN KELURUSAN MAIN ENGINE TERHADAP GERA BOX TERHADAP KAPAL TB. OSCO GUNA by Rahmat Soleh, -

Link Metadata

PENERAPAN TECHNOLOGY ACCEPTANCE MODEL (TAM) DALAM PENGUJIAN PERILAKU PENGGUNA TERHADAP APLIKASI INDEKS DESA MEMBANGUN PADA KEMENTRIAN DESA, PEMBANGUNAN DAERAH TERTINGGAL DAN TRANSM... by Godellava Wynne,

Link Metadata

BUDAYA UPACARA ADAT MERMULE SEBAGAI IMPLEMENTASI KEPATUHAN PADA NILAI-NILAI ADAT : Studi deskriptif pada masyarakat desa jatibarang kabupaten indramayu by Yulistrianti, Lolita

Link Metadata

Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian, Dotlačil, Jakub

Link to Metadata

Quantum Computing for the Quantum Curious by Hughes, Ciaran, Isaacson, Joshua, Perry, Anastasia, Sun, Ranbel F., Turner, Jessica

Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

Beyond Global Food Supply Chains Crisis, Disruption, Regeneration /

Link to Metadata

Python for Everybody Exploring Data Using Python 3 by Severance, Charles

Access online version

Transactional Drafting Introduction to Contract Drafting and Transactional Practice by Fernandez, Ben L.

Access online version

Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

DOAB: download the publication
DOAB: description of the publication

Structure-Based Drug Design for Diagnosis and Treatment of Neurological Diseases by Giuseppe Di Giovanni

DOAB: download the publication
DOAB: description of the publication