Loại tài liệu:    Chỉ tìm trong: 
151-160 trong số 585 kết quả
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Amal Ahmed
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Amal Ahmed
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:  005.13
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
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: 
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Combinatorial Pattern Matching [electronic resource] : 14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, Jun...
Tác giả: Ricardo Baeza-Yates, Edgar Chávez, Maxime Crochemore
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:  511.1
 
Intersecting Colors : Josef Albers and His Contemporaries
Tác giả: Vanja Malloy, Vanja Malloy
Xuất bản: Amherst, Massachusetts: Amherst College Press , 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  709.2
 
History, Man, and Reason : A Study in Nineteenth-Century Thought
Tác giả: Maurice Mandelbaum
Xuất bản: Johns Hopkins University Press , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  190.9034
 
Nonlinear Control of Engineering Systems [electronic resource] : A Lyapunov-Based Approach
Tác giả: Warren E Dixon, Aman Behal, Darren M Dawson, Siddharth P Nagarkatti
Xuất bản: Boston, MA: Birkhäuser Boston : Imprint: Birkhäuser , 2003
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.836
 
Speech coding algorithms : Foundation and evolution of standardized coders
Tác giả: C Chu Wai
Xuất bản: Hoboken, New Jersey: John Wiley & Sons Inc , 2003
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.382
 
Modulation and coding techniques in wireless communications
Tác giả: Evgenii Krouk, Sergei Semenov
Xuất bản: Chichester, West Sussex: Wiley , 2011.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.384
 

Truy cập nhanh danh mục