Electronic Books

Total Books: 1221 - 1240 /1548

Ruby on Rails for PHP and Java Developers

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

Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

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

Rules and Rule Markup Languages for the Semantic Web

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

Runtime Verification

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

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

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

SAS for Data Analysis : Intermediate Statistical Methods

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

SCJP Exam for J2SE 5

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

SDL 2001: Meeting UML

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

SDL 2005: Model Driven

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

SDL 2007: Design for Dependable Systems

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

SQL Server 2008 Transact-SQL Recipes

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

STACS 2005

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

STACS 2006

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

STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

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

Satellite Events at the MoDELS 2005 Conference

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

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

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

Scattering and Structures

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

Scenarios: Models, Transformations and Tools

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

Scientific Pharmaceutical Research and Competition : Between Doctors and Pharmacists رنيم الخاوندي ؛ رنيم علاء الدين ؛ نور السيد ؛ إشراف د. عبد الوهاب علاف

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

Script Effects as the Hidden Drive of the Mind, Cognition, and Culture

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