Computational Intelligence in Information Assurance and Security
Nadia Nedjah
₹3,569
Specification and Verification of Declarative Open Interaction Models
A Logic-based Approach
Springer · 2010
₹5,609
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2010, Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach by Marco Montali runs to 411 pages.
The book deals with Computer logic, Computational intelligence, Declarative programming languages and Management information systems.
Book details
- ISBN-13
- 9783642145377
- ISBN-10
- 364214537X
- Author
- Marco Montali
- Publisher
- Springer
- Published
- 2010
- Pages
- 411
- Language
- English
- Condition
- New
- Subject
- Computational intelligence
More in Computational intelligence
Proceedings of 2017 Chinese Intelligent Systems Conference
Yingmin Jia, Junping Du, Weicun Zhang
₹16,001
Pattern Analysis, Intelligent Security and the Internet of Things
Ajith Abraham, Azah Kamilah Muda, Yun-Huoy Choo
₹7,764
Advances in Intelligent Modelling and Simulation
Aleksander Byrski
₹11,590
Evolve
Alexandru-Adrian Tantar, Emilia Tantar, Jian-Qiao Sun, Wei Zhang, Qian Ding
₹11,572
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems Cisis 2008
International Workshop on Computational Intelligence in Security for Information Systems (2008 Genoa, Italy)
₹10,857
Intelligent Systems for Stability Assessment and Control of Smart Power Grids
Yan Xu, Yuchen Zhang, Rui Zhang, Zhao Yang Dong
₹17,227
Intelligent Numerical Methods
George A. Anastassiou, Ioannis K. Argyros
₹11,559
Computational Intelligence for Network Structure Analytics
Qing Cai, Yu Lei, Maoguo Gong, Shanfeng Wang, Lijia Ma
₹7,764
Next Generation Data Technologies for Collective Computational Intelligence
Nik Bessis, Fatos Xhafa
₹5,064
Intelligent Distributed Computing VII
Filip Zavoral
₹15,401
Computational Intelligence in Expensive Optimization Problems
Yoel Tenne, Chi-Keong Goh
₹5,127