Electronic Books

Total Books: 2341 - 2360 /2706

This book presents some recent works on the application of Soft Computing techniques in information access on the World Wide ...

This carefully edited book covers a wide range of application areas of soft computing like optimization, data analysis and ...

Progress in basic soft matter research is driven largely by the experimental techniques available. Much of the work is concerned ...

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...

The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...

Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...

volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...

The aim of the present volume is different. We recognize that of shore development is here to stay, and not just a result ...

The book is divided in two parts: The first part presents concepts of the object-oriented paradigm and the UML notation of ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...

This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...

Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...

This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...

This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

The book collects together material from the current literature in atmospheric environmental sciences, climate change research, ...

Total Books: 2341 - 2360 /2706