Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 63 kết quả
Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Rom...
Tác giả: Anna Soós
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul...
Tác giả: Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los ...
Tác giả: Shuvendu K Lahiri, Chao Wang
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.1
 Thêm vào giỏ
 
Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
Tác giả: Oliver Boldt, Helmut Jürgensen
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:  005.45
 Thêm vào giỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chib...
Tác giả: Cyrille Artho, Axel Legay, Doron Peled
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Inf...
Tác giả: Gabriele Puppis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Automatic Program Development [electronic resource] : A Tribute to Robert Paige
Tác giả: Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, ...
Tác giả: Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 Thêm vào giỏ
 
Artificial Intelligence in Medicine [electronic resource] : 16th Conference on Artificial Intelligence in Medicine, AIME...
Tác giả: John H Holmes, Christian Popow, Lucia Sacchi, Annette ten Teije
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : 6th Summer School, CEFP 2015, Budapest, Hungary, ...
Tác giả: Zoltán Horváth, Zoltán Porkoláb, Viktória Zsók
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.11
 Thêm vào giỏ
 
Trước 3 4 5 6 7 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media