1
Published 2007
Table of Contents: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
View full text
Electronic eBook
3
Table of Contents: ... -- Learners' Alternative Conceptions -- Teaching Methods in Computer Science Education -- Lab-Based Teaching...
View full text
Electronic eBook
4
Table of Contents: ...Introduction – What Is This Guide About? -- Active Learning and the Active-Learning-Based Teaching...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... on Asynchronous Partial Gauss-Seidel Method -- Improved Program Dependence Graph and Algorithm for Static Slicing...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Service Provision Control -- ICHEA – A Constraint Guided Search for Improving Evolutionary Algorithms...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- Dynamic Programming for Guided Gene Transfer in Bacterial Memetic Algorithm -- Topological Adaptive...
View full text
Electronic eBook
9
Table of Contents: ....-Appendix A. Integrability -- Appendix B. Matrices, Transposes, and Factorization -- Appendix C.Topics...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Programming -- Tracer Kinetics Guided Dynamic PET Reconstruction -- Maximum Likelihood Estimators in Magnetic...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... for the Use and Development of Methods for Image-Guided Brain Tumor Surgery -- Brain Shift and Updated...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...Computational Linguistics Research -- Integration of Linguistic Resources for Verb Classification...
View full text
Electronic eBook
16
by Edge, Charles., Edge, Charles.
Published 2010
Table of Contents: ... Configurations to Mobile Devices -- Integrating with Groupware -- Working with Documents and Files -- Remote...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- A Simplified and Systematic Technique to Develop and Implement PLC Program for a Control Process...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Adders in Modified Gated Diffusion Input Technique -- Guided Local Search for Optimal GPON/FTTP Network...
View full text
Electronic eBook
20
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
View full text
Electronic eBook