Electronic Books

Total Books: 1321 - 1340 /1548

Prof. McClain has indeed produced "a new kind of tutorial book." It is written using the logic engine Mathematica, which ...

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

The book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects ...

This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...

SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...

SystemVerilog is a rich set of extensions to the Verilog Hardware Description Language (Verilog HDL). SystemVerilog for Design ...

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Cellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...

Stochastic processes are as usual the main subject of the Séminaire, with contributions on Brownian motion (fractional or ...

This book includes interviews with fourteen internationally-acclaimed leading figures in Second Language Acquisition (SLA), ...

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...

One of the most civilized nations in history, China has a long-standing writing tradition and many Chinese texts have become ...

The movement of teachers from mostly English-speaking countries into the U.S. has expanded the flow of skilled laborers to ...

Here is a book for those who need to enhance their command of the English language with the terminology of geosciences. It ...

Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

Terrorism informatics has been defined as the application of advanced methodologies, information fusion and analysis techniques ...

Total Books: 1321 - 1340 /1548