Loại tài liệu:    Chỉ tìm trong: 
941-950 trong số 974 kết quả
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: 
 
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part o...
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Chapter Hesperia, a Database for Palaeohispanic Languages; and AELAW, a Database for the Ancient European Languages and ...
Tác giả: María José Estarán, Francisco Beltrán, Annamaria De Santis, Annamaria De Santis, Joaquín Gorrochategui, Eduardo Orduña, Irene Rossi, Irene Rossi
Xuất bản: Berlin ; Boston: De Gruyter , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  411.7
 
Biological Networks
Tác giả: Neda Bagheri (Ed), Rudiyanto Gunawan (Ed)
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
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: 
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
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: 
 
Chapter Preface
Tác giả: Vladimir Mityushev, Wojciech Nawalaniec, Natalia Rylko
Xuất bản: Boca Raton: Taylor & Francis , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.3
 
Chapter 1 Principles of Mathematical Modeling
Tác giả: Vladimir Mityushev, Wojciech Nawalaniec, Natalia Rylko
Xuất bản: Boca Raton ; London ; New York: Taylor & Francis , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.3
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European ...
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
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:  005.1
 

Truy cập nhanh danh mục