Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Retain current filters
topic_facet:"refinement"
Cari:
Koleksi Nasional
Menampilkan
1
-
3
of
3
untuk pencarian:
''
, lama mencari: 0.11s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B
Article
oleh
Rajaa Filali
,
Mohamed Bouhdadi
Terbitan:
2017
Lokasi
Repository
IOS Number
KOTA PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.1132451
Available online:
Get online
Favorit
Tersimpan di:
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)
info
software
eJournal
oleh
Bernhard Kragl
,
Constantin Enea
,
Thomas A. Henzinger
,
Suha Orhun Mutluergil
,
Shaz Qadeer
Terbitan:
2020
Institusi:
Universitas PGRI Palembang
Gedung:
Perpustakaan Universitas PGRI Palembang
Lokasi
Repository
IOS Number
KOTA PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.3754772
Available online:
Get online
Favorit
Tersimpan di:
lightdock/membrane_docking: Release 1.0
info
dataset
oleh
Jorge Roel-Touris
,
Brian Jimenez-Garcia
,
Alexandre MJJ Bonvin
Terbitan:
2020
Lokasi
Repository
IOS Number
KOTA PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.3940206
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Persempit Pencarian
Hapus Filter
Topik: refinement
Sektor
1
Library
University
1
Institusi
3
Universitas PGRI Palembang
2
DEFAULT
Koleksi
Puyang Concept Sacrificed and Demythosized
3
2
DEFAULT
Format
2
Journal
2
Other
Info
2
Dataset
1
Software
1
less ...
Topik
refinement
1
Event-B
1
ProB
1
Rodin
1
abstraction
1
asynchrony
more ...
1
coarse grained
1
concurrency
1
docking
1
haddock
1
induction
1
invariants
1
layers
1
lightdock
1
membrane
1
movers
1
proof obligation
1
protein
1
reduction
1
verification
1
wireless transaction protocol
less ...
Pengarang
1
Alexandre MJJ Bonvin
1
Bernhard Kragl
1
Brian Jimenez-Garcia
1
Constantin Enea
1
Jorge Roel-Touris
1
Mohamed Bouhdadi
more ...
1
Rajaa Filali
1
Shaz Qadeer
1
Suha Orhun Mutluergil
1
Thomas A. Henzinger
less ...
Bahasa
2
eng
Tahun
2
2020
1
2017
×
Loading...