Loại tài liệu:    Chỉ tìm trong: 
141-150 trong số 20281 kết quả
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Alessandra Russo, Alessandra Russo, Andy Schürr, Andy Schürr
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Amal Ahmed
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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ả: Ralf Küsters, Lujo Bauer
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Amal Ahmed
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
Tác giả: Erol Gelenbe, Paolo Campegiani, Paolo Campegiani, Tadeusz Czachórski, Tadeusz Czachórski, Erol Gelenbe, Sokratis K Katsikas, Sokratis K Katsikas, Ioannis Komnios, Ioannis Komnios, Luigi Romano, Luigi Romano, Dimitrios Tzovaras, Dimitrios Tzovaras
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.8
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised
Tác giả: Corina Cîrstea
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
ASMOD 2018: Proceedings of the International Conference on Advances in Statistical Modelling of Ordinal Data
Tác giả:
Xuất bản: FedOA - Federico II University Press , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Saunders guide to success in nursing school : 2017-2018 : a student planner
Tác giả: Holly Stromberg, SuSan C DeWit
Xuất bản: St. Louis, Missouri: Elsevier , 2018
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  610.73076
 

Truy cập nhanh danh mục