1
nork Addis, Tom., Addis, Tom., Addis, Jan.
Argitaratua 2010
Aurkibidea: ... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2012
Aurkibidea: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2015
Aurkibidea: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2005
Aurkibidea: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2010
Aurkibidea: ... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...
Testu osoa
Baliabide elektronikoa eBook
7
nork Carsetti, A., Carsetti, A.
Argitaratua 2013
Aurkibidea: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2006
Aurkibidea: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2005
Aurkibidea: ... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...
Testu osoa
Baliabide elektronikoa eBook
10
nork Raynal, Michel., Raynal, Michel.
Argitaratua 2013
Aurkibidea: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2006
Aurkibidea: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
Testu osoa
Baliabide elektronikoa eBook
12
Gaiak: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2008
Aurkibidea: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2013
Aurkibidea: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
Testu osoa
Baliabide elektronikoa eBook
15
Aurkibidea: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2007
Aurkibidea: ... the Partition into Perfect Matchings Problem in Halin Graphs -- A Graph-Theory Algorithm for WCET Estimation...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2008
Aurkibidea: ... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...
Testu osoa
Baliabide elektronikoa eBook
18
nork Holt, Alan., Holt, Alan.
Argitaratua 2008
Aurkibidea: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Testu osoa
Baliabide elektronikoa eBook
19
nork Longley, John., Longley, John., Normann, Dag.
Argitaratua 2015
Aurkibidea: ...Introduction and Motivation -- Historical Survey -- Theory of Computability Models -- Theory...
Testu osoa
Baliabide elektronikoa eBook
20
nork Hausser, Roland R., Hausser, Roland R.
Argitaratua 2006
Aurkibidea: ... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...
Testu osoa
Baliabide elektronikoa eBook