Treffer 1 - 8 von 8 für Suche 'Dubois, Catherine', Suchdauer: 0,94s
Treffer weiter einschränken
-
1
Utilisation du matériau mythique et innovation l'exemple des travaux d'Héraclès chez Euripide von Dubois, Cathérine
Veröffentlicht 2019Signatur: Wird geladen …
Standort: Wird geladen …Artikel Wird geladen … -
2
Tests and proofs 12th International Conference, TAP 2018 : held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Dubois, Catherine …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
3
Intelligent computer mathematics 16th international conference, CICM 2023, Cambridge, UK, , September 5–8, 2023, proceedings
Veröffentlicht 2023Weitere Verfasser: “… Dubois, Catherine …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
4
Formal methods teaching 5th international workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, proceedings
Veröffentlicht 2023Weitere Verfasser: “… Dubois, Catherine …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
5
Tests and proofs 12th international conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Dubois, Catherine …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
6
Intelligent computer mathematics 16th international conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Dubois, Catherine …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
7
Formal methods teaching 5th international workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Dubois, Catherine …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
8
Héraclès von Euripides ca. 485/480 v. Chr.-406 v.Chr
Veröffentlicht 2018Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Formale Methode
Mathematische Logik
Software Engineering
Anwendungssoftware
Beweis
Computer Application in Social and Behavioral Sciences
Konferenzschrift 2023 Cambridge, UK
Konferenzschrift 2023 Lübeck
Künstliche Intelligenz
Mathematical logic
Model Checking
Programmverifikation
Software engineering
Softwareentwicklung
Softwaresystem
Softwaretest
Algorithms
Application software
Artificial Intelligence
Artificial intelligence
Chorlied
Computer Science
Computer and Information Systems Applications
Computer logic
Computer science
Computer security
Computers
Computers and Education
Control Structures and Microprogramming
Design and Analysis of Algorithms