Loại tài liệu:    Chỉ tìm trong: 
441-450 trong số 1249 kết quả
ARIS Design Platform [electronic resource] : Advanced Process Modelling and Administration
Tác giả: Rob Davis
Xuất bản: London: Springer London : Imprint: Springer , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  330.0151
 
Combinatorial Pattern Matching [electronic resource] : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014...
Tác giả: Alexander S Kulikov, Sergei O Kuznetsov, Pavel Pevzner
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.4
 
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
 
Combinatorial Algorithms [electronic resource] : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, ...
Tác giả: Costas S Iliopoulos, William F Smyth
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:  004.0151
 
Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 201...
Tác giả: Juha Kärkkäinen, Jens Stoye
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:  006.4
 
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 1...
Tác giả: Jacques Fleuriot, Tetsuo Ida
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Combinatorial Pattern Matching [electronic resource] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-...
Tác giả: Johannes Fischer, Peter Sanders
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.4
 
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 201...
Tác giả: Thierry Lecroq, Laurent Mouchard
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijin...
Tác giả: Jaques Calmet, Tetsuo Ida, Dongming Wang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Call-By-Push-Value [electronic resource] : A Functional/Imperative Synthesis
Tác giả: PB Levy
Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 

Truy cập nhanh danh mục