This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suite
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suite
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Lire la suite
Switching theory and logic design provide mathematical foundations and tools for digital system design that is an essential ...
Lire la suite
The significantly updated second edition of Fundamentals of the New Artificial Intelligence thoroughly covers the most essential ...
Lire la suite
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
Lire la suite
ThisbookpresentsnewnovelmethodologiesfordesigningrobustH fuzzy ? controllers and robustH fuzzy ?lters for a class of uncertain ...
Lire la suite
This book presents a systematic and focused study of the application of fuzzy sets to two basic areas of decision theory, ...
Lire la suite
This is the first monograph on fuzzy portfolio optimization. By using fuzzy mathematical approaches, quantitative analysis, ...
Lire la suiteGUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through ...
Lire la suite
This monograph provides all the implementation details of GEP so that anyone with elementary programming skills will be able ...
Lire la suite
The auther was involved in several industry projects in the field of power management, on the occasion of which I was repeatedly ...
Lire la suite
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lire la suite
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Lire la suite
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lire la suite
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
Lire la suite
This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...
Lire la suite
In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...
Lire la suite