This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
WeiterlesenWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
Weiterlesen
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Weiterlesen
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Weiterlesen
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Weiterlesen
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Weiterlesen
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Weiterlesen
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Weiterlesen
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Weiterlesen
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Weiterlesen
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Weiterlesen
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
Weiterlesen
This book presents a systematic and focused study of the application of fuzzy sets to two basic areas of decision theory, ...
WeiterlesenGUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through ...
Weiterlesen
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Weiterlesen
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Weiterlesen
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...
Weiterlesen