Loại tài liệu:    Chỉ tìm trong: 
241-250 trong số 349 kết quả
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
 
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary...
Tác giả: Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók
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:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shan...
Tác giả: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 
Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17...
Tác giả: Florin Manea, Dirk Nowotka
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TA...
Tác giả: Hans De Nivelle
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Sele...
Tác giả: Hong Gao, Qin Lu
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9...
Tác giả: Francisco Botana, Pedro Quaresma
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17...
Tác giả: Dalibor Froncek, Kratochvíl Jan, Mirka Miller
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September...
Tác giả: Thomas Sturm, Christoph Zengler
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-2...
Tác giả: Julien Narboux, Jürgen Richter-Gebert, Pascal Schreck
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục