Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 51 kết quả
Jurnal Teknologi dan Sistem Informasi
Tác giả:
Xuất bản: Universitas Andalas , 2016
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
Tác giả: Joanna Kołodziej, Horacio González-Vélez, Horacio González-Vélez, Joanna Kołodziej
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.11
 
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
Xuất bản: Cham, Switzerland: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
Tác giả: Armin Biere, David Parker
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Heterogeneity, High Performance Computing, Self-Organization and the Cloud [electronic resource]
Tác giả: David Kenny, Theo Lynn, John P Morrison
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  658.4038
 
The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th I...
Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Mohamed Jmaiel, Slim Kallel, Mounir Mokhtari
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 
Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC14...
Tác giả: Carla Ferreira, Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.395
 
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as...
Tác giả: Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 

Truy cập nhanh danh mục