1
出版事項 2005
目次: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
全文の入手
電子媒体 eBook
3
出版事項 2010
目次: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
全文の入手
電子媒体 eBook
4
出版事項 2008
目次: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
全文の入手
電子媒体 eBook
5
出版事項 2007
目次: ...Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics...
全文の入手
電子媒体 eBook
6
出版事項 2005
目次: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
全文の入手
電子媒体 eBook
7
出版事項 2007
目次: ... Iterative Computations on Volatile Nodes -- Aspect Oriented Pluggable Support for Parallel Computing...
全文の入手
電子媒体 eBook
8
出版事項 2008
目次: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
全文の入手
電子媒体 eBook
9
出版事項 2005
目次: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling...
全文の入手
電子媒体 eBook
11
出版事項 2012
目次: ... Genericity -- Invariant Theory: Applications and Computations (Invited Talk) -- Local Generic Position...
全文の入手
電子媒体 eBook
12
出版事項 2005
目次: ... and Planar Pseudo-Billiard Systems -- On the Importance of Parallelism for Quantum Computation...
全文の入手
電子媒体 eBook
13
出版事項 2015
目次: ...Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A...
全文の入手
電子媒体 eBook
14
出版事項 2013
目次: ...Invited Papers -- (Tissue) P Systems with Decaying Objects -- Alan Turing and John von Neumann...
全文の入手
電子媒体 eBook
15
出版事項 2015
目次: ...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...
全文の入手
電子媒体 eBook
16
出版事項 2014
目次: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
全文の入手
電子媒体 eBook
17
出版事項 2014
主題: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
全文の入手
電子媒体 eBook