Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
integration functions » integration functional, integrating functions, interactions functions
functions programmed » equations programmed, functional programming, functional programs
programmed program » programmes programme, programming program, programs program
program care » program cara, program case, program carmen
care https » change https
1
Ảnh bìa
Được phát hành 2008
Mục lục: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
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 2007
Mục lục: “... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”
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 2012
Mục lục: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
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 2006
Mục lục: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
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 2013
Mục lục: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
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 2013
Mục lục: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
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: “...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
8
Ảnh bìa
Được phát hành 2013
Mục lục: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
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 2013
Mục lục: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
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 Jalote, Pankaj., Jalote, Pankaj.
Được phát hành 2005
Mục lục: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
11
Ảnh bìa
Được phát hành 2013
Mục lục: “...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
12
Ảnh bìa
Được phát hành 2007
Mục lục: “... in the Maintenance of Functional Integrity and Quality of Life -- HIV/AIDS and Palliative Care: Models of Care...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Được phát hành 2007
Mục lục: “...: Application to HealthCare -- Using Formal Specification Techniques for Advanced Counseling Systems in Health...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
14
Ảnh bìa
Bằng Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Được phát hành 2015
Những chủ đề: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
15
Ảnh bìa
Được phát hành 2015
Mục lục: “... -- 13. Interdisciplinary Functional Restoration and Pain Programs -- 14. Pain and Spirituality -- 15...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Được phát hành 2013
Mục lục: “... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
17
Ảnh bìa
Được phát hành 2010
Mục lục: “... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...”
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 2008
Mục lục: “... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”
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 2010
Mục lục: “... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
20
Ảnh bìa
Được phát hành 2010
Mục lục: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
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