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 39114 returns 3217 document(s)
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
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
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 125...
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Aziz; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 12...
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Azis; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Exploring specification with mathematica (LNCS-Lecture Notes in Computer Science 967), Hal...
Author: Colman Relilly; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture...
Author: Egidio Astesiano; Gainna Reggio; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
On the use of formal specification in the design and simulation of artificial neural netwo...
Author: Patricia Duarte de Lima Machado; |
Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
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
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
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