Electronic Books

Total Books: 341 - 360 /2144

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

Automated Machine Learning

This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...

Automatic video editor / Naeem Alhomsi ; Yahea Najibeh ; Yasser Nourallah ; Ahmad Sukkar

Searching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...

Automating Business Modelling

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Autonomous Control for a Reliable Internet of Services

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable ...

Autonomous Intelligent Systems: Agents and Data Mining

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

Autonomous Intelligent Systems: Multi-Agents and Data Mining

MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...

Autonomous Intelligent Systems: Multi-Agents and Data Mining

MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...

B 2007: Formal Specification and Development in B

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

BIM for Design Firms: Data Rich Architecture at Small and Medium Scales / François Lévy, Jeffrey W. Ouellette

Expands on Building Information Modeling, showing its applicability to a range of design-oriented projects. It emphasizes ...

Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...

Basic Science Techniques in Clinical Practice

Medical researchers including doctors, nurses, medical students and allied health professionals are required to undertake ...

Bayesian Networks and Influence Diagrams : A Guide to Construction and Analysis

Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...

Bayesian Reliability

Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...

Be Data Literate : The Data Literacy Skills Everyone Needs To Succeed / Jordan Morrow

It is not enough for a business to have the best data if those using it don't understand the right questions to ask or how ...

Beginning C# 2008

This book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...

Total Books: 341 - 360 /2144