Electronic Books

Total Books: 21 - 40 /55
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

Lire la suite
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

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

Lire la suite
Foundations of 3D Graphics Programming : Using JOGL and Java3D

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

Lire la suite
Human-Computer Interaction. HCI Applications and Services

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This ...

Lire la suite
Improvements in System Safety

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...

Lire la suite
Introduction to Scientific Programming with Python

This book offers an initial introduction to programming for scientific and computational applications using the Python programming ...

Lire la suite
Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Lire la suite
Multiagent Engineering

1 Multiagent Engineering: A New Software Construction Paradigm Multiagent systems have a long academic tradition. They have ...

Lire la suite
Parallel Problem Solving from Nature - PPSN IX

We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...

Lire la suite
Peer-to-Peer Systems IV

Constitutes the post-proceedings of the 4th International Workshop on Peer-to-Peer Systems, IPTPS 2005, held at Cornell University, ...

Lire la suite
Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...

Lire la suite
Practical Software Factories in .NET

This book was written in order to demystify the software factories paradigm by guiding you through a practical case study, ...

Lire la suite
Pro .NET 2.0 Code and Design Standards in C#

This book is special, because for the first time you get an easy-to-follow set of code and design standards that addresses ...

Lire la suite
Pro C# 10 with .NET 6 : Foundational Principles and Practices in Programming / Andrew Troelsen; Phil Japikse

Explore C# 10 features and updates in records and record structs, global and implicit using directives, file level namespaces, ...

Lire la suite
Pro Hibernate 3

Pro Hibernate 3 is the first book to offer complete coverage of the open source lightweight Hibernate 3 and its features. ...

Lire la suite
Quality Of Protection

Information security in the business setting has matured in the last few decades. Standards, such as IS017799, the Common ...

Lire la suite
Requirements Management : The Interface Between Requirements Development and All Other Systems Engineering Processes

Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...

Lire la suite
Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

Lire la suite
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Lire la suite
Security in E-Learning

Security in E-Learning is organized in three parts. Emphasizes that security is mainly an organizational and management issue. ...

Lire la suite
Total Books: 21 - 40 /55