Rezultaty - constructive ((computation programming) OR (computation programmatic)) two concepts case

Inne możliwości wyszukiwania:
computation programmatic » computation grammatical , computational diagrammatics , computational grammatical
computation programming » communication programming , computing programming , simulation programming
concepts case » concepts cases , concepts a , concepts chapter
two concepts » 1 concepts , 2 concepts , 4 concepts

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

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

Wydane 2006

Spis treści: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Concurrent Programming: Algorithms, Principles, and Foundations

od Raynal, Michel., Raynal, Michel.
Wydane 2013

Spis treści: “...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Guide to Fortran 2008 Programming

od Brainerd, Walter S., Brainerd, Walter S.
Wydane 2015

Spis treści: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Methods

Wydane 2006

Spis treści: “... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 /

Wydane 2006

Spis treści: “...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Concepts for slicing object-oriented programs

od Yahaya, Nor Adnan, Al-Fawareh, Hamed Jasem Khaled, Abd Ghani, Abdul Azim
Wydane 2001

“...This paper proposes several concepts that form the basis for slicing object-oriented programs...”
Dokumenty pełnotekstowe

Artykuł

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Wydane 2005

Spis treści: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Fundamentals of Algebraic Graph Transformation

od Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Wydane 2006

Spis treści: “... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational...

Wydane 2008

Spis treści: “..., Quantales and Monads -- Automated Reasoning for Hybrid Systems — Two Case Studies — -- Non-termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Wydane 2012

Spis treści: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference...

Wydane 2014

Spis treści: “... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Collective Intelligence. Technologies and Applications Second International...

Wydane 2010

Spis treści: “... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /

Wydane 2006

Spis treści: “... in Chinese Discourse -- Random Walks on Text Structures -- Shallow Case Role Annotation Using Two-Stage...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

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

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Wydane 2008

Spis treści: “...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Global Perspectives on Archaeological Field Schools Constructions of Knowledge and Experience /

Wydane 2012

Spis treści: “... Concepts by Harold Mytum.-Field Schools, Transferrable Skills and Enhancing Employability by Hannah Cobb...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty