This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThe 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 suiteThis book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Lire la suiteSwitching theory and logic design provide mathematical foundations and tools for digital system design that is an essential ...
Lire la suiteThe significantly updated second edition of Fundamentals of the New Artificial Intelligence thoroughly covers the most essential ...
Lire la suiteFuture Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
Lire la suiteThisbookpresentsnewnovelmethodologiesfordesigningrobustH fuzzy ? controllers and robustH fuzzy ?lters for a class of uncertain ...
Lire la suiteThis book presents a systematic and focused study of the application of fuzzy sets to two basic areas of decision theory, ...
Lire la suiteThis 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 suiteThis monograph provides all the implementation details of GEP so that anyone with elementary programming skills will be able ...
Lire la suiteThe auther was involved in several industry projects in the field of power management, on the occasion of which I was repeatedly ...
Lire la suiteThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lire la suiteGenerative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Lire la suiteThis tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lire la suiteThis tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...
Lire la suiteIn this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...
Lire la suite