Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop o...
	Tác giả: Yasuhiro Suzuki, Toshiyuki Nakagaki, Toshiyuki Nakagaki, Yasuhiro Suzuki
	Xuất bản: Springer Nature , 2013
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Cyber-Physical Systems: A Model-Based Approach
	Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
	Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Theoretical Foundations of Synchrotron and Storage Ring RF Systems
	Tác giả: Harald Klingbeil, Ulrich Laier, Dieter Lens
	Xuất bản: Cham: Springer Nature , 2015
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  681.753  Thêm vào giỏ

Microsystems & Nanoengineering
	Tác giả:
	Xuất bản: Nature Publishing Group , 2016
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
	Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
	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:  004.24  Thêm vào giỏ

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  Thêm vào giỏ

Additive Manufacturing Technologies and Applications
	Tác giả: Carlo Giovanni Ferro (Ed), Paolo Maggiore (Ed), Salvatore Brischetto (Ed)
	Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  621.988  Thêm vào giỏ

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:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
	Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
	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:   Thêm vào giỏ