Electronic Books

Total Books: 101 - 120 /248
978-1-84628-137-2
Evolutionary Multiobjective Optimization

Evolutionary Multiobjective Optimization is a rare collection of the latest state-of-the-art theoretical research, design ...

Continue reading
978-3-540-30538-5
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...

Continue reading
978-3-540-32419-5
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...

Continue reading
978-3-540-49995-4
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 ...

Continue reading
978-3-540-77050-3
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 ...

Continue reading
978-3-540-35469-7
Finite-State Methods and Natural Language Processing

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

Continue reading
978-3-540-30960-4
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 ...

Continue reading
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

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

Continue reading
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

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

Continue reading
978-0-387-24098-5
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 ...

Continue reading
978-3-540-70952-7
Formal Methods Applications and Technology

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

Continue reading
978-3-540-76650-6
Formal Methods and Software Engineering

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

Continue reading
978-3-540-47462-3
Formal Methods and Software Engineering (vol. # 4260)

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

Continue reading
978-3-540-31939-9
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 ...

Continue reading
978-3-540-68894-5
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Continue reading
978-3-540-32021-0
Formal Methods for Mobile Computing

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

Continue reading
978-3-540-72952-5
Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Continue reading
978-3-540-34895-5
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Continue reading
978-3-540-72522-0
Formal Methods for Performance Evaluation

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

Continue reading
978-3-540-68413-8
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

Continue reading
Total Books: 101 - 120 /248