1
出版事項 2010
目次: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
全文の入手
電子媒体 eBook
2
出版事項 2013
目次: ... Differential Evolution -- Evolving Hierarchical Temporal Memory-Based Trading Models -- Robust Estimation...
全文の入手
電子媒体 eBook
3
出版事項 2008
目次: ... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
全文の入手
電子媒体 eBook
5
出版事項 2006
目次: ... -- Infrastructures for Information Technology Systems: Perspectives on Their Evolution and Impact -- Communications...
全文の入手
電子媒体 eBook
6
出版事項 2010
目次: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
全文の入手
電子媒体 eBook
7
出版事項 2014
目次: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
全文の入手
電子媒体 eBook