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