Electronic Books

Total Books: 141 - 160 /268

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 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 Foundations of Software Science and Computational ...

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 (vol. # 3441)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Foundations of Software Science and Computational Structures (vol. # 3921)

This book constitutes the refereed proceedings of the 9th 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 ...

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

From Data to Models and Back

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...

Fundamental Approaches to Software Engineering (vol. # 3922)

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Fundamentals of Computation Theory

This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...

Fundamentals of Computation Theory

This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...

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 ...

Genetic Programming (vol. # 3447)

In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...

Geometric Group Theory

This volume assembles research papers in geometric and combinatorial group theory. This wide area may be defined as the study ...

Grammatical Inference: Algorithms and Applications

The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference ...

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 ...

Graph Transformations

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...

Handbook of Networked and Embedded Control Systems

The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, ...

Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

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. ...

High Performance Computing for Computational Science - VECPAR 2004

VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance ...

Total Books: 141 - 160 /268