Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Continue reading
Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
Continue reading
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Continue reading
Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
This book teaches data-parallel programming using C++ and the SYCL standard from the Khronos Group and walks through everything ...
Continue reading
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Continue reading
Design Patterns in Modern C++20 : Reusable Approaches for Object-Oriented Software Design / Dmitri Nesteruk
As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful ...
Continue reading
Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years Date
The Design, Automation and Test in Europe (DATE) conference celebrated in 2007 its tenth anniversary. This provides an excellent ...
Continue reading
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis ...
Continue reading
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Continue reading
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...
Continue reading
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Continue reading
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Continue reading
ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...
Continue readingExploring C for Microcontrollers
The market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...
Continue reading
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Continue reading
Fast, Efficient and Predictable Memory Accesses
Fast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable ...
Continue reading
Fine- and Coarse-Grain Reconfigurable Computing
The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
Continue reading
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Continue reading
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Continue reading
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Continue reading
