Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
basic implementation » basics implementation, asic implementation, based implementation
implementation https » instrumentation https, implementation _
program graphs » programs graph, programs grades, program goals
graphs basic » graphs based, gray's basic, graphics basics
basic implementation » basics implementation, asic implementation, based implementation
implementation https » instrumentation https, implementation _
program graphs » programs graph, programs grades, program goals
graphs basic » graphs based, gray's basic, graphics basics
1
nork Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Argitaratua 2006
Aurkibidea:
“... Transformation -- Implementation of Typed Attributed Graph Transformation by AGG....”Argitaratua 2006
Testu osoa
Baliabide elektronikoa
eBook
2
Aurkibidea:
“... and Associative Arrays -- Sorting and Selection -- Priority Queues -- Sorted Sequences -- Graph Representation...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... of Process Graphs -- Sanity Checks in Formal Verification -- Invited Tutorials -- Welcome to the Jungle: A...”Testu osoa
Baliabide elektronikoa
eBook
4
Aurkibidea:
“...-Oriented Product Lines -- Part II Variability Implementation -- Basic Concepts, Classification, and Quality...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2007
Aurkibidea:
“... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...”Testu osoa
Baliabide elektronikoa
eBook
7
Aurkibidea:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... and Implementations of Pure Methods -- Finding Environment Guarantees -- Ensuring Consistency Within Distributed Graph...”Testu osoa
Baliabide elektronikoa
eBook
9
Aurkibidea:
“... -- Creating a Rails Application -- Monkey Tasks: Managing a Daily Task List -- Implementing a User...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... Transformation Semantics and Analysis Methodology for SecureUML -- Model Transformation Tools and Implementation...”Testu osoa
Baliabide elektronikoa
eBook
11
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Aurkibidea:
“...Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... In-Place String Sorting -- Comparing Integer Data Structures for 32 and 64 Bit Keys -- A New Graph...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... Winning Positions in Parity Games -- On the Physical Basics of Information Flow -- Regular Papers...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2005
Aurkibidea:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2005
Aurkibidea:
“... Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools -- Using Graph...”Testu osoa
Baliabide elektronikoa
eBook
18
Aurkibidea:
“...Part I Modeling Techniques -- Chap. 1 An Example -- Chap. 2 The Basic Concepts -- Chap. 3 Common...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2007
Aurkibidea:
“... Stream -- Implementing Huge Sparse Random Graphs -- Sublinear Algorithms for Approximating String...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2014
Aurkibidea:
“... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]