^^PAGEHEADLINE ^^
-
-0 %
Artificial Intelligence Logic and Applications
Springer Verlag GmbH 01.07.2026 - 2026Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 5th International Conference on Artificial Intellige...
Unser bisheriger Preis:ORGPRICE: 78,74 €
Jetzt 60,18 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Formal Methods for Open Object-Based Distributed Systems
Springer Verlag GmbH 25.05.2007 - 2007Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 18.12.2007 - 2007Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenFormal methods have been applied successfully to the verification of medium-sized programs in pro...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 10.08.2006 - 2006Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenFormal methods have been applied successfully to the verification of medium-sized programs in pro...
-
Theory and Practice of Formal Methods
Springer Verlag GmbH 13.03.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 6...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 27.10.2004 - 2004Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Ma...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 01.12.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeThe MOBIUS Project.- The MOBIUS Proof Carrying Code Infrastructure.- Certification U...
-
Coalgebraic Methods in Computer Science
Springer Verlag GmbH 01.09.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeHigher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 09.10.2003 - 2003Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenLargeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...
-
-0 %
It’s All About Coordination
Springer Verlag GmbH 07.04.2018 - 2018Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift volume has been published to celebrate the lifelong scientific achievements of F...
Unser bisheriger Preis:ORGPRICE: 52,50 €
Jetzt 52,49 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
-0 %
Data Science and Artificial Intelligence
Springer Verlag GmbH 17.11.2023 - 2023Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the First International Conference, DSAI 2023, held in B...
Unser bisheriger Preis:ORGPRICE: 125,99 €
Jetzt 96,29 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Formal Methods for Components and Objects
Springer Verlag GmbH 07.09.2009 - 2009Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen
- 1
- 2