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 38922 returns 4127 document(s)
Functional specification of real-time and hybrid systems, (LNCS-Lecture Notes in Computer ...
Author: Olaf Muller; Peter Scholz; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Relating time progress and deadlines in hybrid systems, (LNCS-Lecture Notes in Computer Sc...
Author: Sebastien Bornot; Joseph Sifakis; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Semantics and verification of extended phase transition systems in duration calculus, (LNC...
Author: Xu Qiwen; |
Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Weak refinement for modal hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Ha...
Author: Carsten Weise; Dirk Lenzkes; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Synthesizing controllers for hybrid systems, (LNCS-Lecture Notes in Computer Science 1201)...
Author: Deepak Kapur; R. K. Shyamasundar; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Invariance principle in hybrid systems modeled by mixed mappings, (LNCS-Lecture Notes in C...
Author: Toshimitsu Ushio; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hybrid systems described by the complementarity formalism, (LNCS-Lecture Notes in Computer...
Author: A. J. van der Schaft; J. M. Schumacher; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
SHIFT: a languages for simulating interconnected hybrid systems ( invited presentation ), ...
Author: Pravin Varaiya; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture...
Author: Hassen Saidi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The verus tool: a quantitative approach to the formal verification of real-time systems, (...
Author: Sergio Campos; Edmund Clarke; Marius Minea; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   4 5 6 7 8 9 10 11 12 13  Next
Latest Collection
Analisis Peringkat Faktor Penentu Kesuksesan Proyek Pembaruan Aplikasi SOA Menggunakan Analytic Hierarchy Process (AHP) dan Rekomendasi Perbaikan: Studi Kasus PT Bank XYZ
Type: Karya Akhir (KA)
Kerangka Kerja Transisi dan Adopsi Agile: Studi Kasus Aplikasi Perizinan Online Kementrian ESDM
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Perilaku Pengguna Dalam Menghindari Ancaman Keamanan pada Mobile Banking
Type: Karya Akhir (KA)
Perancangan Strategi Tata Kelola Data: Studi Kasus Pemerintah Kabupaten Sumenep
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Pengguna dalam Menggunakan Fitur Ulasan Produk pada Aplikasi Tokopedia
Type: Karya Akhir (KA)
Perancangan Strategi Sistem Informasi Pada Software Development Company: Studi Kasus PT XYZ
Type: Karya Akhir (KA)
Perancangan Manajemen Keamanan Informasi Sistem Pemerintahan Berbasis Elektronik Menggunakan Peraturan Badan Siber dan Sandi Negara Nomor 4 Tahun 2021 dan ISO/IEC 27001:2022: Studi Kasus Pusat Penelitian, Data dan Informasi Badan Narkotika Nasional
Type: Karya Akhir (KA)
Asesmen Maturitas Kualitas Data: Studi Kasus PT.DEF
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Yang Memengaruhi Perpindahan Niat Berbelanja Ke Fitur E-Fulfillment: Studi Kasus Dilayani Tokopedia
Type: Karya Akhir (KA)
Analisis Pengaruh Personalisasi Produk dan Service Quality Pada Niat Keberlanjutan Pengguna Online Grocery: Studi Kasus Tokopedia NOW!
Type: Karya Akhir (KA)
Favorite
Energy lesser broadcasting algorithms using adjustable transmission ranges in mobile ad hoc networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 502-511
Author: Toshihiko Sasama | Publisher: null
[Remove]
Ontology On The Level G Of The Software Process Model MPS.BR To Assist Business Processes Modeling (404-408)
Author: Alessandro Viola PizzoletoHilda Carvalho de OliveiraCelso Socorro Oliveira | Publisher: null
[Remove]
Management information systems 9th ed.
Author: O'brien, James A. | Publisher: null
[Remove]
Perbandingan naive bayes classification dan vector model dalam pengklasifikasian dokumen, Hal. 528-531
Author: Anung Ariwibowo, Djasli Djamarus, Mira Faranty; | Publisher: NACSIT 2007 : Proceedings National Conference on Computer Science
[Remove]
Faster R-CNN with Structured Sparsity Learning and Ristretto for Mobile Environment
Author: Muhammad Arif Nasution | Publisher: null
[Remove]
Subnet generation problem: a new network routing problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 855
Author: Cheuk Fun Bede Leung | Publisher: null
[Remove]
FACE: its detection, tracking and emotional expression recognition with computational intelligence techniques, Hal. 9-14
Author: Z. Zenn Bien | Publisher: null
[Remove]
The effect syllable and word stress on the quality of Indonesian HMM-based speech synthesis system, Hal.413-417
Author: Clara Vania; Mirna Adriani; | Publisher: ICACSIS'2011: International conference of advanced computer science and information systems, Jakarta, 17th-18th, December 2011
[Remove]
Kajian teoritis technology acceptance model sebagai model pendekatan untuk menentukan strategi mendorong kemauan pengguna dalam menggunakan teknologi informasi dan komunikasi, Hal. 186-193
Author: Stevanus Wisnu Wijaya | Publisher: null
[Remove]
Data file programming in basic
Author: Finkel, LeRoy | Publisher: null
[Remove]
Login
Advanced Search