Electronic Books

Total Books: 1221 - 1240 /1548

The web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...

Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...

Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...

The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Quantum physics may appear complicated, especially if one forgets the "big picture" and gets lost in the details. However, ...

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...

The profession of pharmacist and pharmacology is a science that researches drugs, their properties, the composition of drugs ...

This book reveals the hidden power of the script we read in and how it shapes and drives our minds, ways of thinking, and ...

Total Books: 1221 - 1240 /1548