Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Home
/
Search for:
Your search for 40518 returns 899 document(s)
Formal specification of active database functionality: a survey
Author: Norman W. Paton, Jack Campin, Alvaro A.A. Fernandes, M. Howard Williams; |
Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Event specification in an active object-oriented database (hal 81 - 90)
Author: N. H. Gehani, H. V. Jagadish, O.Shmueli; |
Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Formal methods of program verification and specification
Author: Berg, Helmut K.; |
Call Number: 005.3 Ber f | Type: Buku
Find Similar Add to Favorite Open in New Tab
FORMAL SPECIFICATION OF OBJECT-ORIENTED SYSTEMS
Author: Roger Duke; |
Call Number: SEM-213 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Formal systems specification: the RPC memory specification case study/Manfred Broy
Author: Broy, Manfred; |
Call Number: 005.131 Bro f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal specification of interactive graphics programming languages
Call Number: 005.13 For | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal specification and software development/ Dines Bjorner
Author: Bjorner, Dines; |
Call Number: 004 Bjo f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; |
Call Number: 004.33 Old r | Type: Buku
Find Similar Add to Favorite Open in New Tab
An Algebraic Approach to Static Analysis of Active Database Rules
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Reasoning about the behavior of active database applications
Author: Opher Etzion; |
Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Go-To Market Automation at Lumina
Type: Kerja Praktek (KP)
Pengembangan Group Sequential Hypothesis Testing untuk N-Sample Variant pada Sistem Eksperimentasi
Type: Kerja Praktek (KP)
Pemgembangan Platform Kursus Online Berbasis Web
Type: Kerja Praktek (KP)
Laporan Akhir Kerja Praktek di PT.DAC Solution Informatika
Type: Kerja Praktek (KP)
API Test Automation for Fromlabs Infospot Order Module
Type: Kerja Praktek (KP)
Analisis Bisnis dan Pembuatan Aplikasi Mobile Dokter untuk ZLCARE
Type: Kerja Praktek (KP)
Versatile Chatbot Swarm with Phyton Selenium and Tanya GPT for Computer System Lab CSUI
Type: Kerja Praktek (KP)
Penerapan Teknik Pembelajaran Mesin dalam Proyek Self-Service Gas Station : Studi Kasus di Nomura Research Institute Indonesia
Type: Kerja Praktek (KP)
Reuliance: Quality Assurance System App for Levner Consulting in Management System Compliance, Food Safety Compliance Environment & Safety Compliance and Business Consulting
Type: Kerja Praktek (KP)
Pembuatan Model Machine Learning-Optimalisasi Likuiditas SEABANK
Type: Kerja Praktek (KP)
Favorite
Login
Advanced Search