Electronic Books

Total Books: 1821 - 1840 /2039

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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

Syntax and Semantics of Prepositions

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

System Level Design of Reconfigurable Systems-on-Chip

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

System Modeling and Optimization (vol. # 166)

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

System Modeling and Optimization (vol. # 199)

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

SystemVerilog for Verification

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

Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

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

Systems, Control, Modeling and Optimization

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

Systems, Software and Services Process Improvement

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

Taking Your iPod touch to the Max

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

Talent Development in European Higher Education : Honors programs in the Benelux, Nordic and German-speaking countries

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

Tales of Mathematicians and Physicists

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

Task Models and Diagrams for User Interface Design

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

Task Models and Diagrams for Users Interface Design ; 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

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

Techlash The Future of the Socially Responsible Tech Organization

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

Technical Universities Past, present and future

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

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

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

Temporal Logic and State Systems

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

Terahertz Frequency Detection and Identification of Materials and Objects

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

Term Rewriting and Applications

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

Total Books: 1821 - 1840 /2039