1
Veröffentlicht 2015
Inhaltsangabe: ...Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2014
Inhaltsangabe: ... of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming...
Volltext
Elektronisch E-Book
3
von Albert, Jim., Albert, Jim.
Veröffentlicht 2007
Inhaltsangabe: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2007
Inhaltsangabe: ... -- Slightly Beyond Turing’s Computability for Studying Genetic Programming -- A Smallest Five-State Solution...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2005
Inhaltsangabe: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2006
Inhaltsangabe: ...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2014
Inhaltsangabe: .../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2007
Inhaltsangabe: ... Context-Aware Workflow System -- A Dataflow-Oriented Atomicity and Provenance System for Pipelined...
Volltext
Elektronisch E-Book
12
von Atan, Rodziah
Veröffentlicht 2005
Schlagworte: ...Programming languages (Electronic computers)...
Volltext
Abschlussarbeit
13
Veröffentlicht 2007
Inhaltsangabe: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ...Papers from Invited Talks -- Design Choices in a Compiler Course or How to Make Undergraduates Love...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2006
Inhaltsangabe: ... with Sabotage -- Categorical Models -- A Finite Model Construction for Coalgebraic Modal Logic -- Presenting...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Inhaltsangabe: ..., Context and Replication in a Spatial-Temporal Architecture -- Service Oriented E-Government -- Fuzzy-rule...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2006
Inhaltsangabe: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2008
Inhaltsangabe: ... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...
Volltext
Elektronisch E-Book