Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
modular programming » computer programming
integrated modular » integrated molecular, integrated model, integrated solar
constraint https » constraint atoms, constraint graphs, constraint codes
1
Ảnh bìa
Được phát hành 2007
Mục lục: “... Games Semantics of ASP -- Modular Answer Set Programming -- Universal Timed Concurrent Constraint...”
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: “... 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:
3
Ảnh bìa
Được phát hành 2006
Mục lục: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
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 2008
Mục lục: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
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 2015
Mục lục: “... For Modular Systems -- Solving disjunctive fuzzy answer set programs -- Characterizing and Explaining...”
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 2006
Mục lục: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
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 2008
Mục lục: “... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”
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 2010
Mục lục: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
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 2007
Mục lục: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
10
Ảnh bìa
Được phát hành 2008
Mục lục: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
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 2010
Mục lục: “... Encryption -- FLEX: A Modular Software Architecture for Flight License Exam -- Enabling and Integrating...”
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 2014
Mục lục: “... Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints...”
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 2010
Mục lục: “...-Neuron Model of the Oculomotor System -- An Integrated Neuromimetic Model of the Saccadic Eye Movements...”
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 2013
Mục lục: “... Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming...”
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 2010
Mục lục: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
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 2012
Mục lục: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
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 2014
Mục lục: “... by State-Based Holonic Modular Units -- Semantic Model Differencing Utilizing Behavioral Semantics...”
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 2010
Mục lục: “... Validation with OWL Integrity Constraints -- SPARQL1.1: New Features and Friends (OWL2, RIF) -- Full Papers...”
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 2005
Mục lục: “... of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation...”
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: “...BPMDS 2010 -- In Search of the Holy Grail: Integrating Social Software with BPM Experience Report...”
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