Artificial Neural Networks in Biomedicine [electronic resource]
	Tác giả: Emmanuel C Ifeachor, Paulo JG Lisboa, Piotr S Szczepaniak
	Xuất bản: London: Springer London : Imprint: Springer , 2000.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Brownian Agents and Active Particles [electronic resource] : Collective Dynamics in the Natural and Social Sciences
	Tác giả: Frank Schweitzer
	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:  006.3  Thêm vào giỏ

Classification and Learning Using Genetic Algorithms [electronic resource] : Applications in Bioinformatics and Web Inte...
	Tác giả: Sanghamitra Bandyopadhyay, Sankar Kumar Pal
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2007.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.4  Thêm vào giỏ

Branching in Nature [electronic resource] : Dynamics and Morphogenesis of Branching Structures, from Cell to River Netwo...
	Tác giả: V Fleury, J-F Gouyet, Marc Leonetti
	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:  570  Thêm vào giỏ

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

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

Performance evaluation of shuttle-based storage and retrieval systems using discrete-time queueing network models
	Tác giả: Martin Epp
	Xuất bản: Karlsruhe: KIT Scientific Publishing , 2018
	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 : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

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

Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
	Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ