Loại tài liệu:    Chỉ tìm trong: 
181-190 trong số 347 kết quả
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin
Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Luís Caires, Luís Caires
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: 
 
Error-Correction Coding and Decoding [electronic resource] : Bounds, Codes, Decoders, Analysis and Applications
Tác giả: Martin Tomlinson, Mohammed Ahmed, Marcel A Ambroze, Mubarak Jibril, Cen Jung Tjhai
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.717
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 
Sliding mode control : the delta-sigma modulation approach
Tác giả: Hebertt Sira-Ramirez
Xuất bản: New York NY: Springer ScienceBusiness Media, 2015
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.8
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Model Reduction for Circuit Simulation elektronisk ressurs
Tác giả: Peter Benner, Michael Hinze, E Jan W ter Maten
Xuất bản: Dordrecht: Springer Netherlands, 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 
Stability and stabilization of nonlinear systems
Tác giả: Iasson Karafyllis, Z-P Jiang, E Sontag
Xuất bản: London New York: SpringerVerlag, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  003
 

Truy cập nhanh danh mục