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
Pengarang
David Castro
Koleksi Nasional
Menampilkan
1
-
5
of
5
untuk pencarian:
'David Castro'
, lama mencari: 0.09s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
SCHÈMES ET TRAJECTOIRES POUR LA FORMATION DES ENSEIGNANTS DES SCIENCES
Article
eJournal
oleh
David
Castro
Terbitan:
2018
Available online:
Get online
Favorit
Tersimpan di:
Dacapi91/AcneDetectionAssessment: AcneDetection
info
software
oleh
David
Castro
Piñol
Terbitan:
2020
Available online:
Get online
Favorit
Tersimpan di:
Zooid: a DSL for Certified Multiparty Computation
info
software
Journal
oleh
David
Castro
-Perez
,
Francisco Ferreira
,
Lorenzo Gheri
,
Nobuko Yoshida
Terbitan:
2021
Available online:
Get online
Favorit
Tersimpan di:
Zooid: a DSL for Certified Multiparty Computation
info
software
Journal
oleh
David
Castro
,
Francisco Ferreira
,
Lorenzo Gheri
,
Nobuko Yoshida
Terbitan:
2021
Available online:
Get online
Favorit
Tersimpan di:
Hallazgos en el hemograma en la urgencia pediátrica
Article
Journal
oleh
Adriana Isabel Agamez Diaz
,
Amira Lorena Mejía Cerpa
,
Jonathan
David
Castro
Martinez
,
Karen Patricia Muñoz Beleño
,
Gabriel David Tarud
,
Henry J. González-Torres
Terbitan:
2021
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
concurrency
correctness
distributed systems
domain-specific languages
language design
specification
theorem provers
type systems
Anemia
Desordenes sanguíneos
Eritrocitos
Hemograma
Plaquetas
Urgencia Pediátrica
×
Loading...
