Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
اقرأ المزيدFrontiers of Computational Science
With the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
اقرأ المزيد
Fun with Algorithms
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
اقرأ المزيد
Functional and Logic Programming
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
اقرأ المزيد
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
Fundamental Approaches to Software Engineering (vol. # 3442)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيدFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيد
Fundamental Networking in Java
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
اقرأ المزيد
Future Generation Grids
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
اقرأ المزيد
Fuzzy Mathematical Programming and Fuzzy Matrix Games
This book presents a systematic and focused study of the application of fuzzy sets to two basic areas of decision theory, ...
اقرأ المزيدGUI Design for Android Apps
GUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through ...
اقرأ المزيد
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
اقرأ المزيد
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
اقرأ المزيد
Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
اقرأ المزيد
Genetic Programming
This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...
اقرأ المزيد
