檢索結果 - constructive computation ((programming tutorials) OR (programming thread)) concepts a*

1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

出版 2013

書本目錄: “...A Relational Approach to Tool-Use Learning in Robots -- A Refinement Operator for Inducing Threaded...”
獲取全文

電子電子書

2

Guide to Fortran 2008 Programming

由 Brainerd, Walter S., Brainerd, Walter S.
出版 2015

書本目錄: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
獲取全文

電子電子書

3

Introduction to C++ Programming and Graphics

由 Pozrikidis, Constantine., Pozrikidis, Constantine.
出版 2007

書本目錄: “...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
獲取全文

電子電子書

4

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

由 Gamatié, Abdoulaye., Gamatié, Abdoulaye.
出版 2010

書本目錄: “... programs -- Formal Semantics -- Formal Model for Program Analysis -- Compilation of Programs -- Advanced...”
獲取全文

電子電子書

5

Handbook of Partial Least Squares Concepts, Methods and Applications /

出版 2010

書本目錄: “... and Its Application -- Interpretation of the Preferences of Automotive Customers Applied to Air...”
獲取全文

電子電子書

6

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

出版 2008

書本目錄: “... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...”
獲取全文

電子電子書

7

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

出版 2010

書本目錄: “... and Continuous Architectural Software Quality Assurance Using the aSQA Technique -- An Architectural Approach...”
獲取全文

電子電子書

8

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

出版 2013

書本目錄: “... for Runtime Assertion Checking of C Programs -- Impartiality and Anticipation for Monitoring of Visibly...”
獲取全文

電子電子書

9

Transactions on Petri Nets and Other Models of Concurrency I

出版 2008

書本目錄: “... -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other...”
獲取全文

電子電子書

10

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland /

出版 2007

書本目錄: “... -- OpenBQR: a framework for the assessment of OSS -- Network Analysis of the SourceForge.net Community...”
獲取全文

電子電子書

11

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

出版 2005

書本目錄: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
獲取全文

電子電子書

12

Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings /

出版 2010

書本目錄: “... in Answer Set Programs via Argumentation Theories -- Short Papers -- A Rule-Based Approach to XML Processing...”
獲取全文

電子電子書

13

Advances in Natural Language Processing 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010, Proceedings /

出版 2010

書本目錄: “... Game-Theoretic Approach -- Anaphora Resolution with Real Preprocessing -- Automatic Construction of a...”
獲取全文

電子電子書

14

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /

出版 2008

書本目錄: “... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....”
獲取全文

電子電子書

15

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

出版 2007

書本目錄: “... in DS-CDMA Systems -- Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic...”
獲取全文

電子電子書

16

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...

出版 2005

書本目錄: “... Algorithm of Proxy Server for Multiple Videos -- Dynamic Adaptive Architecture for Self-adaptation...”
獲取全文

電子電子書

17

Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010, Proceedings /

出版 2010

書本目錄: “... Matching Based Automatic Scoring System for C Programming Language -- An Analysis Framework of Activity...”
獲取全文

電子電子書

18

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

出版 2005

書本目錄: “... Disorders -- An Intelligent Knowledge-Based Recommendation System -- A Formal Concept Analysis Approach...”
獲取全文

電子電子書

19

Advances in Web-Based Learning - ICWL 2005 4th International Conference, Hong Kong, China, July 31 - August 3, 2005, Proceedings /

出版 2005

書本目錄: “... IMS Standards: Architecture of a Manifest Driven Approach -- Constructing a SCORM-Compliant...”
獲取全文

電子電子書

20

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

出版 2007

書本目錄: “... of Affordances in Autonomous Robots -- A Computational Model of Bistable Perception- Attention Dynamics with Long...”
獲取全文

電子電子書

縮小搜索