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