marcello bonsangue
Data Science and Artificial Intelligence
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Third International Conference on Data Scie...
Artificial Intelligence Logic and Applications
TaschenbuchVorbestellbarThis book constitutes the proceedings of the 5th International Conference on Artificial Intellige...
Formal Methods for Open Object-Based Distributed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...
Formal Methods for Components and Objects
TaschenbuchPrint on DemandFormal methods have been applied successfully to the verification of medium-sized programs in pro...
Formal Methods for Components and Objects
TaschenbuchPrint on DemandFormal methods have been applied successfully to the verification of medium-sized programs in pro...
Theory and Practice of Formal Methods
TaschenbuchPrint on DemandThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 6...
Formal Methods for Components and Objects
TaschenbuchPrint on DemandInhaltsangabeCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Ma...
Formal Methods for Components and Objects
TaschenbuchPrint on DemandInhaltsangabeThe MOBIUS Project.- The MOBIUS Proof Carrying Code Infrastructure.- Certification U...
Coalgebraic Methods in Computer Science
TaschenbuchPrint on DemandInhaltsangabeHigher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract...
Formal Methods for Components and Objects
TaschenbuchPrint on DemandLargeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...
It’s All About Coordination
TaschenbuchPrint on DemandThis Festschrift volume has been published to celebrate the lifelong scientific achievements of F...
Data Science and Artificial Intelligence
TaschenbuchPrint on DemandThis book constitutes the proceedings of the First International Conference, DSAI 2023, held in B...
- 1
- 2