Electronic Books

Total Books: 141 - 160 /409

Engineering Interactive Systems : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction ...

Engineering Societies in the Agents World VI

ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone ...

Engineering Societies in the Agents World VII

It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of ...

Engineering Societies in the Agents World VII

It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of ...

Engineering Theories of Software Intensive Systems

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

"Methods of Artificial Intelligence and Intelligent Agents" contains 13 contributions analyzing such areas of AI as fuzzy ...

Essential Issues in SOC Design

SOC design is fast becoming the key area of focus that engineers and researchers from the Electronic Design Automation field ...

Experimental Unsaturated Soil Mechanics

These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...

FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

Finite Difference Computing with PDEs

This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...

Focusing Telescopes in Nuclear Astrophysics

This volume is the first of its kind on focusing gamma-ray telescopes. Forty-eight refereed papers provide a comprehensive ...

Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...

Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Formal Methods Applications and Technology

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

Formal Methods and Hybrid Real-Time Systems

This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

Formal Methods and Software Engineering (vol. # 3785)

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Total Books: 141 - 160 /409