Electronic Books

Total Books: 1821 - 1840 /2039

Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...

This book is the first to provide an integrated view of preposition from morphology to reasoning, via syntax and semantics. ...

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

System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two ...

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

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

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

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

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...

This book examines the much-debated question of how to unleash the potential of young people with promising intellectual ...

This revised and greatly expanded second edition of the Russian text Tales of Physicists and Mathematicians contains a wealth ...

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

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

This book applies proactive crisis management to the management of technology organizations to make them more sustainable ...

This book analyses the past, present and future of the technical university as a single faculty independent institution. ...

This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...

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

The technology of terahertz detection has largely been developed around expensive and bulky femtosecond laser systems but, ...

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

Total Books: 1821 - 1840 /2039