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 38747 returns 2950 document(s)
Analysis of slope-parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1201...
Author: Frederic Boniol; Augusto Burgueno; Olivier Roux; Vlad Rusu; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
multiobjective hybrid controller synthesis, (LNCS-Lecture Notes in Computer Science 1201) ...
Author: John Lygeros; Claire Tomlin; Shankar Sastry; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in C...
Author: Myla Archer; Constance heitmeyer; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Controller design of hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 240...
Author: Stefan Pettersson; Bengt Lennartson; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
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
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
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Evaluasi Usability dan Perbaikan Desain Antarmuka M.TIX Sebagai Platform Pembelian Tiket Secara Daring
Type: Skripsi
UI/UX Designer at PT Impactbyte Teknologi Edukasi
Type: Kerja Praktek (KP)
A First course in differential equations with modeling applications 12 ed.
Type: Buku
Analisis dan Perancangan Aplikasi PendukungPembelian Produk Sustainable Fashion
Type: Skripsi
Integrasi Sistem Pengecekan Plagiarisme Elang dengan Sistem Informasi Sidang(Sisidang) Fakultas Ilmu Komputer Universitas Indonesia
Type: Skripsi
Analisis dan Perancangan Aplikasi Manajemen Keuangan Pribadi untuk Penggunaan Berkelanjutan : Suatu Penelitian Design Science
Type: Skripsi
Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS
Type: Karya Akhir (KA)
Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC
Type: Karya Akhir (KA)
Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial
Type: Karya Akhir (KA)
Favorite
Aligning sequences via an evolutionary tree: complexity and approximation,Hal 760-769
Author: Tao Jiang; | Publisher: Proceedings of the twenty-sixth annual ACM symposium on the theory of computing Montreal,Quebec,Canada May 23-25,1994
[Remove]
A near optimal algorithm for edge separators (Preliminary Version), hal 1-8
Author: F.R.K.Chung; | Publisher: Proceedings of the twenty-sixth annual ACM symposium on the theory of computing Montreal,Quebec,Canada May 23-25,1994
[Remove]
Penelitian bidang sistem informasi manajemen di Indonesia (SIMDI): quo vadis?
Author: Rahmat M. Samik-Ibrahim | Publisher: Fakultas Ilmu Komputer Universitas Indonesia
[Remove]
The word processing handbook
Author: Stultz, Russell Allen; | Publisher: Englewood Cliffs, New Jersey : Prentice Hall, 1982
[Remove]
Partial Differential Equations and Integral Transforms: For B.Sc.-IT and Computer Technology M.Sc.-IT and..../Veerarajan
Author: Veerarajan; | Publisher: New Delhi:Tata McGrawHill:2004
[Remove]
Kajian penerapanvolere requirement process model dalam memenuhi kerangka kerja capability maturity model Integration for development
Author: Zulhalim; | Publisher: Jakarta: Program Pasca Sarjana - MTI Ilmu komputer : 2006
[Remove]
Login
Advanced Search