檢索結果 - constructive computation ((programming code) or (programming model)) concepts

1

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

出版 2010

書本目錄: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
獲取全文

電子電子書

2

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

出版 2010

書本目錄: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
獲取全文

電子電子書

3

Drawing Programs: The Theory and Practice of Schematic Functional Programming

由 Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010

書本目錄: “... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....”
獲取全文

電子電子書

4

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

出版 2013

書本目錄: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
獲取全文

電子電子書

5

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

出版 2006

書本目錄: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
獲取全文

電子電子書

6

Principles of the Spin Model Checker

由 Ben-Ari, Mordechai., Ben-Ari, Mordechai.
出版 2008

書本目錄: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
獲取全文

電子電子書

7

An Introduction to Network Programming with Java

由 Graba, Jan., Graba, Jan.
出版 2007

書本目錄: “...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
獲取全文

電子電子書

8

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

出版 2008

書本目錄: “...? -- Learning Expressive Models of Gene Regulation -- Information Overload and FP7 Funding Opportunities in 2009...”
獲取全文

電子電子書

9

Guide to Scientific Computing in C++

由 Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
出版 2012

書本目錄: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
獲取全文

電子電子書

10

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版 2005

書本目錄: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
獲取全文

電子電子書

11

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

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

書本目錄: “... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...”
獲取全文

電子電子書

12

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

出版 2012

書本目錄: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
獲取全文

電子電子書

13

Network Performance Analysis Using the J Programming Language /

由 Holt, Alan., Holt, Alan.
出版 2008

書本目錄: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
獲取全文

電子電子書

14

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

出版 2015

書本目錄: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
獲取全文

電子電子書

15

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...”
獲取全文

電子電子書

16

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

出版 2008

書本目錄: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
獲取全文

電子電子書

17

Transactions on Petri Nets and Other Models of Concurrency I

出版 2008

書本目錄: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
獲取全文

電子電子書

18

Innovations in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
獲取全文

電子電子書

19

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal...

出版 2008

書本目錄: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
獲取全文

電子電子書

20

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics /

由 Hausser, Roland R., Hausser, Roland R.
出版 2006

書本目錄: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
獲取全文

電子電子書

縮小搜索