Detail Cantuman

Advanced Search

No image available for this title

Bundel Jurnal

Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness

Shukla, S. K. - Personal Name
Barkaoui, K.; Bernardinello, L.; Mokhov, A. - Personal Name
Furbach, F.; Meyer, R.; Schneider, K.; Senftben, M. - Personal Name
Knapik, M.; Meski, A.; Penczek, W. - Personal Name
Siirtola, A.; Heljanko, K. - Personal Name
Cotard, S.; Queudet, A.; L-Bechennec, J.; Faucou, S.; Trinquet, Y. - Personal Name
Bujtor, F.; Vogler, W. - Personal Name
Groote, R. de; Holzenspies, P. K. F.; Kuper, J.; Smit, G. J. M. - Personal Name
Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S. - Personal Name

1 Eksemplar : Vol.14, No. 4 ( 2015 )

Ketersediaan

J0013-2018 BJ.ACM JT-84 : J0013-2018 Referensi (Bundel Jurnal Teknik) Tersedia

Informasi Detil

Judul Seri	-
No. Panggil	BJ.ACM JT-84 : J0013-2018
Penerbit	Association for Computing Machinery : New York., 2015
Deskripsi Fisik	1-86:27p., il., 17.5x26.5cm
Bahasa	English
ISBN/ISSN	1539-9087
Klasifikasi	BJ.ACM
Tipe Isi	-

Tipe Media	-
Tipe Pembawa	-
Edisi	1
Subyek	Computers
Info Detil Spesifik	-
Pernyataan Tanggungjawab	-

Versi lain/terkait

Tidak tersedia versi lain

Informasi

DETAIL CANTUMAN

Kembali ke sebelumnya

Advanced Search

Judul

Pengarang

Subyek

ISBN/ISSN

Tipe Koleksi

Lokasi

GMD