Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: NCBI
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: NCBI
	ddc:  005.1015113  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: NCBI
	ddc:  005.1015113  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: NCBI
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: NCBI
	ddc:   Thêm vào giỏ

Neuronal Co-transmission
	Tác giả: John Apergis-Schoute, John Apergis-Schoute, Geoffrey Burnstock, Geoffrey Burnstock, Miguel A Morales, Miguel A Morales, Michael P Nusbaum, Michael P Nusbaum, David Parker, David Parker, Erik Svensson, Erik Svensson, Louis-Eric Trudeau, Louis-Eric Trudeau
	Xuất bản: Frontiers Media SA , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ