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 39091 returns 4105 document(s)
A Formal approach to software design: the clepsydra methodology (LNCS-Lecture Notes in Com...
Author: P. Ciarcia; P. Ciancarini; W. Penzo; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Course on formal methods in software engineering matching requirements with design (LNCS...
Author: Paolo ciancarini and Paolo Ciaccia; |
Call Number: 005.133 Bow z | 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
Using an object-oriented methodology to bring a hybrid system from initial concept to form...
Author: David Sinclair; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Structuring a Z specification to provide a formal framework for autonomous agent systems(L...
Author: Michael Luck; Mark d'Inverno; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Mechanizing formal methods : opportunities and challenges (LNCS-Lecture Notes in Computer ...
Author: John Rushby; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Formal semantics for a language with type extension (LNCS- Lecture Notes in Computer Sci...
Author: Peter Baneroft; Ian Hayes; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Two dimensional view of integrated formal and informal specification techniques (LNCS-Le...
Author: R.B. Frances and M.M. Larrondo-Petrie; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approac...
Author: Roger B. Hughes; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hardware-software partitioning: a reconfigurable and evolutionary computing approach, (LNC...
Author: Jim Harkin; Thomas M. McGinnity; Liam P. Maguire; |
Call Number: 005.115 Fie | 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