Loại tài liệu:    Chỉ tìm trong: 
541-550 trong số 588 kết quả
Oh, Wind, if Winter comes, can Spring be far behind? : Charleston Conference Proceedings, 2018
Tác giả: Beth R Bernhardt, Leah H Hinds, Lars Meyer, Katina P Strauch
Xuất bản: West Lafayette IN: Purdue University Press, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
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
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Reiner Hähnle, Wil van der Aalst
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Amal Ahmed
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.13
 
Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Caires Luís
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Mikołaj Bojańczyk, Alex Simpson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Plug-in PHP Elektronische Daten 100 power solutions
Tác giả: Robi Nixon
Xuất bản: New York: McGrawHill, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.2
 
Open Access
Tác giả: Peter Suber
Xuất bản: Cambridge Mass: MIT Press, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
The Social Life of Economic Inequalities in Contemporary Latin America [electronic resource] : Decades of Change
Tác giả: Iselin Åsedotter Strønen, Margit Ystanes
Xuất bản: Cham: Springer International Publishing Imprint Palgrave Macmillan, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  300
 

Truy cập nhanh danh mục