Electronic Books

Total Books: 221 - 240 /990

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...

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

This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Total Books: 221 - 240 /990