Loại tài liệu:    Chỉ tìm trong: 
481-490 trong số 659 kết quả
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Ne...
Tác giả: Jos CM Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J Woeginger
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Aspect-Oriented Database Systems [electronic resource]
Tác giả: Awais Rashid
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, J...
Tác giả: Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerla...
Tác giả: Ugo Montanari, Jose DP Rolim, Emo Welzl
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, Jul...
Tác giả: Jan van Leeuwen, Fernando Orejas, Paul G Spirakis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
SOWFA Super-Controller [electronic resource] : A High-Fidelity Tool for Evaluating Wind Plant Control Approaches
Tác giả:
Xuất bản: Golden, Colo. : Oak Ridge, Tenn: National Renewable Energy Laboratory (U.S.) ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2013
Bộ sưu tập: Báo, Tạp chí
ddc:  621.45
 
IEA Wind Task 37 [electronic resource] : Systems Modeling Framework and Ontology for Wind Turbines and Plants
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2017
Bộ sưu tập: Báo, Tạp chí
ddc:  621.45
 
Advances in Automated Driving Systems
Tác giả: Arno Eichberger, Arno Eichberger, Martin Fellendorf, Martin Fellendorf, Henry Liu, Henry Liu, Zsolt Szalay, Zsolt Szalay
Xuất bản: Basel: MDPI - Multidisciplinary Digital Publishing Institute , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Deployment and Operation of Complex Software in Heterogeneous Execution Environments : The SODALITE Approach
Tác giả: Elisabetta Di Nitto, Elisabetta Di Nitto, Jesús Gorroñogoitia Cruz, Jesús Gorroñogoitia Cruz, Indika Kumara, Indika Kumara, Dragan Radolović, Dragan Radolović, Kamil Tokmakov, Kamil Tokmakov, Zoe Vasileiou, Zoe Vasileiou
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục