This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and …
This book presents an authoritative collection of contributions reporting on computational intelligence, fuzzy systems as well as artificial intelligence techniques for modeling, …
This edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed …