Electronic Books

Total Books: 141 - 160 /372

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

Generative Programming and Component Engineering

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

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

Grammatical Picture Generation

The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...

Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...

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

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 Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...

Implementation and Application of Automata (vol. # 3845)

This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...

Implementation and Application of Functional Languages

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...

Implementation and Application of Functional Languages (vol. # 3474)

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...

Implementation and Application of Functional Languages (vol. # 4015)

The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...

Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...

Total Books: 141 - 160 /372