Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيد
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 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 ...
اقرأ المزيد
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
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 ...
اقرأ المزيد
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 Programming and Component Engineering
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
اقرأ المزيد
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
اقرأ المزيد
Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
اقرأ المزيد
Handbook Of Mathematical Models For Languages And Computation
Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
اقرأ المزيد
Handbook of Quantitative Science and Technology Research
This handbook offers a state-of-the-art overview of quantitative science and technology research. It focuses on the development ...
اقرأ المزيد
Hands-On Data Structures and Algorithms with Python: Store, manipulate, and access data effectively, 3rd Edition / Basant Agarwal
Expands your understanding of key structures, including stacks, queues, and lists, and also show you how to apply priority ...
اقرأ المزيد
Hands-On Design Patterns with Java : Learn Design Patterns That Enable the Building of Large-Scale Software Architectures / Edward Lavieri
Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
اقرأ المزيد
Hands-On Software Architecture with Java - Learn key architectural techniques and strategies to design efficient and elegant Java applications / Giuseppe Bonocore
Starts with the fundamentals of architecture and takes you through the basic components of application architecture. You'll ...
اقرأ المزيد
Hands-on Question Answering Systems with BERT : Applications in Neural Networks and Natural Language Processing / Navin Sabharwal
Begins with an overview of the technology landscape behind BERT. It takes you through the basics of NLP, including natural ...
اقرأ المزيد
Hardware Verification with C++
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
اقرأ المزيد
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
اقرأ المزيد
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
اقرأ المزيد
