1
Argitaratua 2008
Aurkibidea: ... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2006
Aurkibidea: ... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...
Testu osoa
Baliabide elektronikoa eBook
4
nork Kall, Peter., Kall, Peter., Mayer, János.
Argitaratua 2005
Aurkibidea: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2007
Aurkibidea: ... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2005
Aurkibidea: ... -- Clique-Width for Four-Vertex Forbidden Subgraphs -- Computational Game Theory -- On the Complexity...
Testu osoa
Baliabide elektronikoa eBook
7
nork Nisio, Makiko., Nisio, Makiko.
Argitaratua 2015
Gaiak: ...Functional analysis....
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2013
Aurkibidea: ... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2007
Aurkibidea: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2008
Aurkibidea: ... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testu osoa
Baliabide elektronikoa eBook
12
Aurkibidea: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2006
Aurkibidea: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2007
Aurkibidea: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2007
Aurkibidea: ... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2007
Aurkibidea: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2008
Aurkibidea: ... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2010
Aurkibidea: ...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2007
Aurkibidea: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
Testu osoa
Baliabide elektronikoa eBook