Electronic Books

Total Books: 12/68
Advances in Control Theory and Applications

This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...

Lee mas
Advances in Verification of Time Petri Nets and Timed Automata

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...

Lee mas
Agent Communication

In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...

Lee mas
Algebra and Coalgebra in Computer Science

Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...

Lee mas
Algebra and Coalgebra in Computer Science

Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...

Lee mas
Application and Theory of Petri Nets 2002

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...

Lee mas
Applications and Theory of Petri Nets 2005

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...

Lee mas
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Lee mas
Artificial Immune Systems (vol. # 3627)

Your immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the ...

Lee mas
Artificial Intelligence Applications and Innovations II

Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent ...

Lee mas
Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

Lee mas
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Lee mas
Total Books: 12/68