Search Results - "Java"

RANCANG BANGUN SISTEM INFORMASI E-LEARNING BERBASIS WEBSITE PADA SEKOLAH MENENGAH ATAS NEGERI 1 JONGGOL by Putri Nabila,

Link Metadata

SISTEM INFORMASI PENJUALAN TOKO SUKU CADANG KENDARAAN RODA DUA PADA RAJAWALI MOTOR 27 BERBASIS WEBSITE by Muhammad Shafa Ridho Syahputra,

Link Metadata

ANALISI ISI OPINI PUBLIK TERKAIT CITRA DIRI GANJAR PRANOWO DI TWITTER by Bella Indah Permatasari,

Link Metadata

HUBUNGAN ANTARA ASI EKSKLUSIF DENGAN STUNTING DI WILAYAH KERJA PUSKESMAS BOJONG GENTENG SUKABUMI JAWA BARAT 2023 by Hendi Fulvian Fauzan Nur,

Link Metadata

HUBUNGAN USIA, JENIS KELAMIN DAN STATUS GIZI DENGAN DERAJAT PNEUMONIA BALITA DI RUMAH SAKIT CITAMA KABUPATEN BOGOR PADA TAHUN 2022 by Nia Citama Saragih,

Link Metadata

SISTEM INFORMASI ADMINISTRASI PELAYANAN HEWAN PELIHARAAN PADA O'PET PETSHOP DAN CLINIC by Mohammad Nizarullah, -

Link Metadata

IMPLEMENTASI KERJASAMA BILATERAL INDONESIA-DENMARK PADA SEKTOR LINGKUNGAN DAN ENERGI MELALUI ENVIRONMENTAL SUPPORT PROGRAMME - PHASE III (ESP3) DI PROVINSI JAWA TENGAH PERIODE 2013... by Natasha Aurora Salsabila,

Link Metadata

PERKEMBANGAN ORGANISASI PERSATUAN ISTRI TENTARA DIVISI SILIWANGI : Kajian Historis Dari Tahun 1946-1951 by Megamarinti, Mega

Link Metadata

KIPRAH K.H. ABDUL HALIM DALAM BIDANG POLITIK TAHUN 1912-1955 by Herwandy, Norris Noer

Link Metadata

PEMETAAN BAHASA SUNDA DIALEK BOJONG KABUPATEN PURWAKARTA JAWA BARAT :KAJIAN GEOGRAFI DIALEK by Andriana, Aris

Link Metadata

PENERAPAN STRATEGI PEMBELAJARAN INQUIRI PADA PROGRAM PARENTING DALAM MENINGKATKAN PEMAHAMAN ORANG TUA TENTANG POLA ASUH by Handoko, Indra Dwi

Link Metadata

REKAM JEJAK EMHA AINUN NADJIB DALAM PERKEMBANGAN POLITIK INDONESIA (1991-2013) by Riyanti, Ikrimah Vella

Link Metadata

MODEL DIDAKTIK LITERASI TEKNOLOGI INFORMASI DAN KOMUNIKASI GURU SMK by Saripudin, -

Link Metadata

MANAJEMEN PENGEMBANGAN KINERJA GURU DALAM KONTEKS KEBIJAKAN OTONOMI DAERAH : Studi Perencanaan, Pelaksanaan, Dan Pengawasan Pengembangan Kinerja Guru Sekolah Dasar Di Kota Tegal by Rozano, Dini

Link Metadata

AJÉN-INAJÉN BUDAYA KAMPUNG ADAT MIDUANADi KABUPATÉN CIANJUR by Tri Agustini Gandaresmi, -

Link Metadata

PENGEMBANGAN PROGRAM DIKLAT PENINGKATAN KOMPETENSI MENGEMBANGKAN BUTIR INSTRUMEN TES HASIL PEMBELAJARAN RANAH KOGNITIF BAGI GURU-GURU FISIKA SMA DAN SEDERAJAT by Arif, Wahyudin

Link Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Théâtres indiens

DOAB: download the publication
DOAB: description of the publication

Perceived threat and benefit toward community compliance of filariasis’ mass drug administration in Pekalongan district, Indonesia by Widjanarko B, Saraswati LD, Ginandjar P

Connect to this object online.