Electronic Books

Total Books: 61 - 80 /237
978-1-84628-079-5
Constructing Correct Software

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

Continue reading
978-3-540-30569-9
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Continue reading
978-3-540-33691-4
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

Continue reading
978-3-540-71878-9
Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Continue reading
978-3-540-71878-9
Cooperative Bug Isolation

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...

Continue reading
978-3-540-35176-4
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...

Continue reading
978-3-540-30570-5
Database Theory - ICDT 2005

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during ...

Continue reading
978-3-540-31927-6
Declarative Agent Languages and Technologies II

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...

Continue reading
978-3-540-68961-4
Declarative Agent Languages and Technologies IV

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...

Continue reading
978-3-540-77564-5
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...

Continue reading
978-3-030-62822-2
Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

Continue reading
978-1-4020-5131-9
Design Computing and Cognition 06

This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...

Continue reading
978-1-84628-598-1
Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...

Continue reading
978-3-540-72883-2
Distributed Applications and Interoperable Systems

This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...

Continue reading
978-3-540-72883-2
Distributed Applications and Interoperable Systems

This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...

Continue reading
978-3-540-31582-7
Distributed Applications and Interoperable Systems (vol. # 3543)

ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...

Continue reading
978-3-540-35127-6
Distributed Applications and Interoperable Systems (vol. # 4025)

This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Continue reading
978-3-540-31961-0
Engineering Human Computer Interaction and Interactive Systems

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research ...

Continue reading
Total Books: 61 - 80 /237