Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
developing computer » development computer, developing competent, developing complex
method programs » method progress, method programmed, methods progress
methods program » methods programmed, methods problem, metrics program
computer https » computers https, computing https, computer arts
1
Ảnh bìa
Bằng Liu, G.R., Liu, G.R., Gu, Y.T.
Được phát hành 2005
Mục lục: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Được phát hành 2008
Mục lục: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Được phát hành 2010
Mục lục: “... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
4
Ảnh bìa
Được phát hành 2007
Mục lục: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
5
Ảnh bìa
Được phát hành 2010
Những chủ đề: “...Programming languages (Electronic computers)....”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
6
Ảnh bìa
Được phát hành 2012
Mục lục: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
7
Ảnh bìa
Được phát hành 2013
Mục lục: “... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
8
Ảnh bìa
Bằng Kall, Peter., Kall, Peter., Mayer, János.
Được phát hành 2005
Mục lục: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
9
Ảnh bìa
Được phát hành 2010
Mục lục: “... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
10
Ảnh bìa
Bằng Mantovan, Pietro., Mantovan, Pietro., Secchi, Piercesare.
Được phát hành 2010
Mục lục: “... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
11
Ảnh bìa
Bằng Hunt, John., Hunt, John.
Được phát hành 2014
Mục lục: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
12
Ảnh bìa
Bằng Lee, Kent D., Lee, Kent D.
Được phát hành 2014
Mục lục: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Bằng Barker, Philip., Barker, Philip.
Được phát hành 2007
Mục lục: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
14
Ảnh bìa
Được phát hành 2008
Mục lục: “... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
15
Ảnh bìa
Bằng Biau, Gérard., Biau, Gérard., Devroye, Luc.
Được phát hành 2015
Mục lục: “... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Bằng Li, Duan., Li, Duan., Sun, Xiaoling.
Được phát hành 2006
Mục lục: “... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
17
Ảnh bìa
Bằng Brett Spell, Terrill., Brett Spell, Terrill.
Được phát hành 2005
Mục lục: “...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
18
Ảnh bìa
Được phát hành 2013
Mục lục: “... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
19
Ảnh bìa
Được phát hành 2008
Mục lục: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
20
Ảnh bìa
Bằng Birge, John R., Birge, John R., Louveaux, François.
Được phát hành 2011
Mục lục: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm