Electronic Books

Total Books: 41 - 60 /133

ECOOP 2006 - Object-Oriented Programming

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Evaluation of Text Summaries Based on Linear Optimization of Content Metrics / Jonathan Rojas-Simon, Yulia Ledeneva, Rene Arnulfo Garcia-Hernandez

Covers both theoretical contributions and practical applications in security system design by applying the Internet of Things ...

Evolutionary Computation in Combinatorial Optimization : 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings

Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings

The feld of bioinformatics has two main objectives: the creation and main- nance of biological databases, and the discovery ...

Evolvable Systems: From Biology to Hardware : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held ...

Fields and Galois Theory

The pioneering work of Abel and Galois in the early nineteenth century demonstrated that the long-standing quest for a solution ...

Fields and Galois Theory

The pioneering work of Abel and Galois in the early nineteenth century demonstrated that the long-standing quest for a solution ...

Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

From Animals to Animats 10 : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...

From Research to Manuscript

From Research to Manuscript, written in simple, straightforward language, explains how to understand and summarize a research ...

Functional Verification of Programmable Embedded Architectures

This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...

Guide to Efficient Software Design

This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...

Total Books: 41 - 60 /133