Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-mo]computer science [cs]/modeling and simulation 33 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 26 Treffer
- [info.info-dc]computer science [cs]/distributed 20 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 20 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 20 Treffer
-
33 weitere Werte:
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 20 Treffer
- and cluster computing [cs.dc] 20 Treffer
- parallel 20 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 5 Treffer
- code generation 4 Treffer
- model transformation 4 Treffer
- [info.info-wb]computer science [cs]/web 3 Treffer
- constraint reasoning 3 Treffer
- privacy 3 Treffer
- provisioning 3 Treffer
- requirements validation 3 Treffer
- web service 3 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 2 Treffer
- cloud computing 2 Treffer
- digital twin 2 Treffer
- distributed algorithms 2 Treffer
- geo 2 Treffer
- industry 4.0 2 Treffer
- info 2 Treffer
- manufacturing 2 Treffer
- metaheuristique 2 Treffer
- operational research 2 Treffer
- optimization 2 Treffer
- optimization methods 2 Treffer
- process algebras 2 Treffer
- qos 2 Treffer
- task scheduling 2 Treffer
- [info.info-lg]computer science [cs]/machine learning [cs.lg] 1 Treffer
- feature selection 1 Treffer
- partial model checking 1 Treffer
- predictive models 1 Treffer
- xgboost 1 Treffer
Verlag
Publikation
- issn: 1936-6442 6 Treffer
- international conference on software composition 2012 ; https://hal.science/hal-00699997 ; international conference on software composition 2012, may 2012, prague, czech republic. pp.35-50 3 Treffer
- tap 2015, 9th int. conf. of tests and proofs ; https://hal.science/hal-01228995 ; tap 2015, 9th int. conf. of tests and proofs, 2015, l'aquila, italy. pp.109--128 2 Treffer
- tests and proofs ; https://inria.hal.science/hal-01108553 ; tests and proofs, jul 2014, york, united kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩ 2 Treffer
- issn: 1433-2779 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
78 Treffer
-
In: TAP 2015, 9th Int. Conf. of Tests and Proofs ; https://hal.science/hal-01228995 ; TAP 2015, 2015Online KonferenzZugriff:
-
In: TAP 2015, 9th Int. Conf. of Tests and Proofs ; https://hal.science/hal-01228995 ; TAP 2015, 2015Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.science/hal-01246025 ; 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩, 2015Online KonferenzZugriff:
-
In: TAP 2015, 9th Int. Conf. of Tests and Proofs ; https://hal.science/hal-01228995 ; TAP 2015, 2015Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.science/hal-01246025 ; 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩, 2015Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.science/hal-01246025 ; 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩, 2015Online KonferenzZugriff:
-
In: TAP 2015, 9th Int. Conf. of Tests and Proofs ; https://hal.science/hal-01228995 ; TAP 2015, 2015Online KonferenzZugriff:
-
In: TAP 2015, 9th Int. Conf. of Tests and Proofs ; https://hal.archives-ouvertes.fr/hal-01228995 ; TAP 2015, 2015Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.archives-ouvertes.fr/hal-01246025 ; 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩, 2015Online KonferenzZugriff:
-
In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Tests and Proofs ; https://hal.inria.fr/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Lecture Notes in Networks and Systems ; 2022 Intelligent Systems Conference (IntelliSys 2022) ; https://hal.science/hal-04257390 ; 2022 Intelligent Systems Conference (IntelliSys 2022), Sep 2022, Amsterdam, Netherlands. pp.558-572, ⟨10.1007/978-3-031-16072-1_41⟩ ; https://saiconference.com/Conferences/IntelliSys2022, 2022Online KonferenzZugriff:
-
In: 36th International Conference on Advanced Information Networking and Applications (AINA 2022) ; https://hal.science/hal-03708839 ; 36th International Conference on Advanced Information Networking and Applications (AINA 2022), Apr 2022, Sydney, Australia. pp.130-140, ⟨10.1007/978-3-030-99587-4_12⟩ ; http://voyager.ce.fit.ac.jp/conf/aina/2022/, 2022Online KonferenzZugriff:
-
In: Lecture Notes in Networks and Systems ; 7th International Symposium on Modelling and Implementation of Complex Systems (MISC 2022) ; https://hal.science/hal-03932829 ; 7th International Symposium on Modelling and Implementation of Complex Systems (MISC 2022), Oct 2022, Mostaganem, Algeria. pp.263-278, ⟨10.1007/978-3-031-18516-8_19⟩, 2022Online KonferenzZugriff:
-
In: 36th International Conference on Advanced Information Networking and Applications (AINA 2022) ; https://hal.science/hal-03708839 ; 36th International Conference on Advanced Information Networking and Applications (AINA 2022), Apr 2022, Sydney, Australia. pp.130-140, ⟨10.1007/978-3-030-99587-4_12⟩ ; http://voyager.ce.fit.ac.jp/conf/aina/2022/, 2022Online KonferenzZugriff:
-
In: Lecture Notes in Networks and Systems ; 7th International Symposium on Modelling and Implementation of Complex Systems (MISC 2022) ; https://hal.science/hal-03932829 ; 7th International Symposium on Modelling and Implementation of Complex Systems (MISC 2022), Oct 2022, Mostaganem, Algeria. pp.263-278, ⟨10.1007/978-3-031-18516-8_19⟩, 2022Online KonferenzZugriff:
-
In: Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008Online KonferenzZugriff:
-
In: Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008Online KonferenzZugriff: