Electronic Books

Total Books: 1801 - 1820 /3928

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...

In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...

Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...

Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...

This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...

These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...

Foundations of Computer Security provides a succinct, yet authoritative introduction to the underlying theory, history, vocabulary, ...

This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of ...

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...

Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations ...

Total Books: 1801 - 1820 /3928