1
出版事項 2006
目次: ... Accepted by a Linear Pushdown Tree Automaton -- Shorter Regular Expressions from Finite-State Automata...
全文の入手
電子媒体 eBook
2
出版事項 2007
目次: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
全文の入手
電子媒体 eBook
3
出版事項 2008
目次: ...Invited Papers -- From CA to Gene Expression: Machines and Mechanisms -- What’s New in Wolfram’s...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... Krylov Subspace Methods Solving Dense Nonsymmetric Linear Systems Arising from BEM -- Research on Bio...
全文の入手
電子媒体 eBook
5
出版事項 2014
目次: ... programming techniques in distributed MPC problems, by I. Prodan, F. Stoican, S. Olaru, C. Stoica, S-I...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
全文の入手
電子媒体 eBook
7
出版事項 2005
目次: ... of Implementable MSC Languages -- Combining Static Analysis and Model Checking for Systems Employing Commutative...
全文の入手
電子媒体 eBook
8
出版事項 2006
目次: ... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...
全文の入手
電子媒体 eBook