Loại tài liệu:    Chỉ tìm trong: 
431-440 trong số 473 kết quả
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Anthony Seda
Xuất bản: Boca Raton, FL: Taylor & Francis , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 
Solving PDEs in Python : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham, Switzerland: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 
Models in Microeconomic Theory ('He' Edition)
Tác giả: Martin J Osborne, Ariel Rubinstein
Xuất bản: Cambridge, UK: Open Book Publishers , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  338.5
 
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
 
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
 
Sometimes Hard, Usually Soft : The Future of Knowledge Systems
Tác giả: Johnny Golding, Johnny Golding, Mattia Paganelli, Mattia Paganelli, Martin Reinhart, Martin Reinhart
Xuất bản: Berlin ; Boston: De Gruyter , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  702.85
 
Measurement of Poverty, Undernutrition and Child Mortality
Tác giả: Mark Misselhorn
Xuất bản: Bern: Peter Lang International Academic Publishers , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  362.563
 
Card sorting : designing usable categories
Tác giả: Donna Spencer, Jesse James Garrett
Xuất bản: Brooklyn, N.Y: Rosenfeld Media , 2009.
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.72
 
Biological Networks
Tác giả: Neda Bagheri (Ed), Rudiyanto Gunawan (Ed)
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục