Zoekresultaten - constructive computing ((programming code) OR (programming model)) concepts a

1

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

Gepubliceerd in 2010

Inhoudsopgave: “... Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2005

Onderwerpen: “...Systems on a chip Design and construction....”

Boek

3

Programming Language Concepts

door Sestoft, Peter., Sestoft, Peter.
Gepubliceerd in 2012

Inhoudsopgave: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Volledige tekst

Elektronisch E-boek

4

Drawing Programs: The Theory and Practice of Schematic Functional Programming

door Addis, Tom., Addis, Tom., Addis, Jan.
Gepubliceerd in 2010

Inhoudsopgave: “... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2006

Inhoudsopgave: “... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2010

Inhoudsopgave: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Volledige tekst

Elektronisch E-boek

8

Principles of the Spin Model Checker

door Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Gepubliceerd in 2008

Inhoudsopgave: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Volledige tekst

Elektronisch E-boek

9

An Introduction to Network Programming with Java

door Graba, Jan., Graba, Jan.
Gepubliceerd in 2007

Inhoudsopgave: “...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2008

Inhoudsopgave: “...-10 -- Research Papers -- A Model to Study Phase Transition and Plateaus in Relational Learning -- Top...”
Volledige tekst

Elektronisch E-boek

11

Guide to Scientific Computing in C++

door Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Gepubliceerd in 2012

Inhoudsopgave: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Volledige tekst

Elektronisch E-boek

12

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

door Hausser, Roland R., Hausser, Roland R.
Gepubliceerd in 2006

Inhoudsopgave: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2005

Inhoudsopgave: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Volledige tekst

Elektronisch E-boek

14

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

door Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Gepubliceerd in 2010

Inhoudsopgave: “... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2012

Inhoudsopgave: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Volledige tekst

Elektronisch E-boek

16

Network Performance Analysis Using the J Programming Language /

door Holt, Alan., Holt, Alan.
Gepubliceerd in 2008

Inhoudsopgave: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2015

Inhoudsopgave: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Volledige tekst

Elektronisch E-boek