1
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2014
Tabl Cynhwysion: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...
Cael y testun llawn
Electronig eLyfr
5
Tabl Cynhwysion: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure -- A New Foundation...
Cael y testun llawn
Electronig eLyfr
7
gan Gries, David., Gries, David., Gries, Paul.
Cyhoeddwyd 2005
Tabl Cynhwysion: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2014
Tabl Cynhwysion: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2014
Tabl Cynhwysion: ... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Tracing Closed Itemset and Transaction Set Simultaneously -- Extracting Concepts from Religious Knowledge...
Cael y testun llawn
Electronig eLyfr
13
Tabl Cynhwysion: ...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
Cael y testun llawn
Electronig eLyfr
15
gan Troelsen, Andrew., Troelsen, Andrew.
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Basic 2005 Applications -- Visual Basic 2005 Language Fundamentals -- VB 2005 Programming Constructs...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2010
Tabl Cynhwysion: ... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...
Cael y testun llawn
Electronig eLyfr