Electronic Books

Total Books: 341 - 360 /785

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...

Fabbriche, sistemi, organizzazioni

This book examines the origin of the technological and organizational challenges of industry in Europe and the United States ...

Feasibility and Infeasibility in Optimization : Algorithms and Computational Methods

Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical ...

Field and Service Robotics (vol. # 25)

Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely ...

Field and Service Robotics : Results of the 6th International Conference

This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th ...

Financing Public Universities: The Case of Performance Funding

"Financing Public Universities" addresses newer practices of resource allocation which tie funding to indicators of performance. ...

Finite-State Methods and Natural Language Processing

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...

Fleet Telematics

FLEET TELEMATICS: Real-Time Management and Planning of Commercial Vehicle Operations combines wireless telematics systems ...

Food Physics : Physical Properties — Measurement and Applications

Food Physics deals with the physical properties of food, food ingredients and their measurement. Physical properties of food ...

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 (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Formal Aspects in Security and Trust (vol. # 173)

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

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 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 (vol. # 4260)

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

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods for Components and Objects (vol. # 3657)

This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...

Total Books: 341 - 360 /785