Loại tài liệu:    Chỉ tìm trong: 
741-750 trong số 3052 kết quả
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
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
Tác giả: Armin Biere, David Parker
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Collaborative Systems for Smart Networked Environments [electronic resource] : 15th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2014, Amsterdam, The Netherlands, October 6-8, 2014
Tác giả: Hamideh Afsarmanesh, Luis M Camarinha-Matos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.068
 
Business Information Systems Workshops [electronic resource] : BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011, Revised Papers
Tác giả: Witold Abramowicz, Leszek Maciaszek, Krzysztof Wecel
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  658.05
 
Availability, Reliability and Security for Business, Enterprise and Health Information Systems [electronic resource] : IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop, Vienna
Tác giả: Gerald Quirchmayr, A Min Tjoa, Lida Xu, Ilsun You
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.3
 
Biomedical Engineering Systems and Technologies [electronic resource] : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers
Tác giả: Emmanuel Conchon, Carlos Correia, Ana Fred, Joaquim Gabriel, Hugo Gamboa, Jan Schier, Sabine Van Huffel
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.285
 
Collaborative Systems for Reindustrialization [electronic resource] : 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 - October 2, 2013
Tác giả: Luis M Camarinha-Matos, Raimar J Scherer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.068
 
Biomedical Engineering Systems and Technologies [electronic resource] : 6th International Joint Conference, BIOSTEC 2013, Barcelona, Spain, February 11-14, 2013, Revised Selected Papers
Tác giả: Sergio Alvarez, Pedro L Fernandes, Mireya Fernández-Chimeno, Ana Fred, Hugo Gamboa, Jordi Solé-Casals, Deborah Stacey
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.285
 
Cloud Infrastructures, Services, and IoT Systems for Smart Cities [electronic resource] : Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017
Tác giả: Dario Bruneo, Maria Fazio, Antonella Longo, Philippe Massonet, Omer Rana, Rajiv Ranjan, Massimo Villari, Marco Zappatore
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:  004
 
Biomedical Engineering Systems and Technologies [electronic resource] : 8th International Joint Conference, BIOSTEC 2015, Lisbon, Portugal, January 12-15, 2015, Revised Selected Papers
Tác giả: Dirk Elias, Ana Fred, Hugo Gamboa
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.285
 

Truy cập nhanh danh mục