Rezultaty - constructive computation ((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 /

Wydane 2010

Spis treści: “... Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2005

Hasła przedmiotowe: “...Systems on a chip Design and construction....”

Książka

3

Programming Language Concepts

od Sestoft, Peter., Sestoft, Peter.
Wydane 2012

Spis treści: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2010

Spis treści: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Drawing Programs: The Theory and Practice of Schematic Functional Programming

od Addis, Tom., Addis, Tom., Addis, Jan.
Wydane 2010

Spis treści: “... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2013

Spis treści: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2006

Spis treści: “... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Principles of the Spin Model Checker

od Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Wydane 2008

Spis treści: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

An Introduction to Network Programming with Java

od Graba, Jan., Graba, Jan.
Wydane 2007

Spis treści: “...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2008

Spis treści: “...-10 -- Research Papers -- A Model to Study Phase Transition and Plateaus in Relational Learning -- Top...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Guide to Scientific Computing in C++

od Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Wydane 2012

Spis treści: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

od Hausser, Roland R., Hausser, Roland R.
Wydane 2006

Spis treści: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2005

Spis treści: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

od Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Wydane 2010

Spis treści: “... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2012

Spis treści: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Network Performance Analysis Using the J Programming Language /

od Holt, Alan., Holt, Alan.
Wydane 2008

Spis treści: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2015

Spis treści: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2005

Spis treści: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2008

Spis treści: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Transactions on Petri Nets and Other Models of Concurrency I

Wydane 2008

Spis treści: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty