الكتب الالكترونية

عدد الكتب: 1 - 20 /79
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

اقرأ المزيد
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

اقرأ المزيد
978-3-540-37445-9
Advanced Topics in Exception Handling Techniques

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...

اقرأ المزيد
978-3-540-31559-9
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 ...

اقرأ المزيد
978-3-540-68746-7
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 ...

اقرأ المزيد
978-3-540-31934-4
CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

اقرأ المزيد
978-3-540-37377-3
CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

اقرأ المزيد
978-3-540-74407-8
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

اقرأ المزيد
978-3-540-74407-8
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

اقرأ المزيد
978-3-540-85361-9
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...

اقرأ المزيد
978-3-540-26891-8
Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...

اقرأ المزيد
978-3-540-32265-8
Communicating Sequential Processes. The First 25 Years

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...

اقرأ المزيد
978-3-540-75140-3
Computational Methods in Systems Biology

This book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...

اقرأ المزيد
978-3-540-75140-3
Computational Methods in Systems Biology

This book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...

اقرأ المزيد
978-3-540-25974-9
Computational Methods in Systems Biology (vol. # 3082)

present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...

اقرأ المزيد
978-3-540-46167-8
Computational Methods in Systems Biology (vol. # 4210)

This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, ...

اقرأ المزيد
978-3-030-81685-8
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

اقرأ المزيد
978-3-030-81688-9
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

اقرأ المزيد
978-3-319-96145-3
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

اقرأ المزيد
978-3-319-96142-2
Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

اقرأ المزيد
عدد الكتب: 1 - 20 /79