Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	006.33 Sei f
Collection Type	Indeks Artikel LNCS
Title	Abstract state machines: an overview of the project, (LNCS-Lecture Notes in Computer Science 2942)Hal. 6-13
Author	Yuri Gurevich;
Publisher	Springer, 2004
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
006.33 Sei f		TERSEDIA

Tidak ada review pada koleksi ini: 40616

This is an extended abstract of an invited talk at the third International symposium on foundations of information and knowledge systems to be held in Vienna. Austria, in February 2004. We quickly survey the ASM project, from its foundational roots to industrial applications

Latest Collection

Zero Reference Deep Curve Estimation dengan Structure Evaluation untuk Restorasi Citra Gelap

Type: Skripsi

Analisis Faktor yang Memengearuhi Intensi Adopsi AI pada Usaha Mikro Kecil Menengah (UMKM) di Indonesia

Type: Skripsi

Analisis Faktor Push Pull dan Mooring yang Memengaruhi niat Beralih Pengguna Aolikasi Navigasi: Studi Kasus Waze

Type: Skripsi

Analisis Komparatif dan Evaluasi Desain Terhadap Penerapan Dark Pattern pada Tiga Aplikasi Mobile E-Commerce di Indonesia Shopee Tokopedia dan Lazada

Type: Skripsi

Analisis Faktor-faktor yang Memengaruhi User Engagement dalam Aplikasi Teleconsultation di Indonesia

Type: Skripsi

Pegnembangan Sistem Pemantauan Kelembaban Tanah Real-Time dengan Integrasi DataStreaming dan Model Machine Learning untuk mendukung Prefailure Inspection pada Stabilitas Lereng

Type: Skripsi

AI Chatbot Development for Computer Science Curriculum Based Academic Consultation using Retrieval Augmented Generation (RAG)

Type: Skripsi

Multi -Task Fine-Tuning Model Transformer dengan Skema Prefix-Prepend untuk Pembangkitan Pertanyaan Terpadu Berbasis Jawaban dalam Bahasa Indonesia

Type: Tesis

Evaluasi Kebergunaan (usability) ChatGPT Menuju Rekomendasi Desain ChatBot Edukasi Berbasis AI

Type: Tesis

Perancangan Kriteria Audit Keamanan Informasi Siber pada Sistem Informasi Manajemen Kepegawaian (SIMPEG) : Studi Kasus Lembaga XYZ

Type: Karya Akhir (KA)

Favorite