Electronic Books

Total Books: 541 - 560 /1271
Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Lire la suite
NoIMG
Frontiers of Computational Science

With the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...

Lire la suite
Fun with Algorithms

This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...

Lire la suite
Functional and Logic Programming

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...

Lire la suite
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), ...

Lire la suite
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, ...

Lire la suite
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, ...

Lire la suite
Fundamental Approaches to Software Engineering

This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...

Lire la suite
Fundamental Approaches to Software Engineering

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
NoIMG
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 ...

Lire la suite
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. ...

Lire la suite
Future Generation Grids

Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...

Lire la suite
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, ...

Lire la suite
NoIMG
GUI Design for Android Apps

GUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through ...

Lire la suite
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 ...

Lire la suite
Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Lire la suite
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 ...

Lire la suite
Genetic Programming

This book constitutes the refereed proceedings of the 10th European Conference on Genetic Programming, EuroGP 2007, held ...

Lire la suite
Total Books: 541 - 560 /1271