Sökresultat - constructive computation programming model concepts a

1

Transaction-level modeling with SystemC : TLM concepts and applications for embedded systems /

Publicerad 2005

Ämnen: “...Systems on a chip Design and construction....”

Bok

2

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

Publicerad 2010

Innehållsförteckning: “... Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained...”
Hämta fulltext

Elektronisk E-bok

3

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

av Hausser, Roland R., Hausser, Roland R.
Publicerad 2006

Innehållsförteckning: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2012

Innehållsförteckning: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Hämta fulltext

Elektronisk E-bok

5

Principles of the Spin Model Checker

av Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Publicerad 2008

Innehållsförteckning: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Hämta fulltext

Elektronisk E-bok

6

Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyond /

av Carsetti, A., Carsetti, A.
Publicerad 2013

Innehållsförteckning: “... information: the biological computer -- 4. Non-standard models and limitation procedures -- 4. Natural...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2015

Innehållsförteckning: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Hämta fulltext

Elektronisk E-bok

8

Guide to Scientific Computing in C++

av Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Publicerad 2012

Innehållsförteckning: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Hämta fulltext

Elektronisk E-bok

9

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2005

Innehållsförteckning: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2010

Innehållsförteckning: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Hämta fulltext

Elektronisk E-bok

12

Use of an Attribute Grammar for Software Process Measurement

av Atan, Rodziah
Publicerad 2005

Ämnen: “...Programming languages (Electronic computers)...”
Hämta fulltext

Lärdomsprov

13

Drawing Programs: The Theory and Practice of Schematic Functional Programming

av Addis, Tom., Addis, Tom., Addis, Jan.
Publicerad 2010

Innehållsförteckning: “... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2013

Innehållsförteckning: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2006

Innehållsförteckning: “... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2008

Innehållsförteckning: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Hämta fulltext

Elektronisk E-bok

17

Transactions on Petri Nets and Other Models of Concurrency I

Publicerad 2008

Innehållsförteckning: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Hämta fulltext

Elektronisk E-bok

18

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Publicerad 2007

Innehållsförteckning: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
Hämta fulltext

Elektronisk E-bok

19

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”
Hämta fulltext

Elektronisk E-bok

20

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Publicerad 2006

Innehållsförteckning: “... Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen