Treffer 1 - 5 von 5 für Suche 'Raskin, Jean-François', Suchdauer: 0,11s
Treffer weiter einschränken
-
1
Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Veröffentlicht 2022Weitere Verfasser: “… Raskin, Jean-François …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch E-Book -
2
34th International Conference on Concurrency Theory CONCUR 2023, September 18–23, 2023, Antwerp, Belgium
Veröffentlicht 2023Weitere Verfasser:Signatur: Wird geladen …kostenfrei
Standort: Wird geladen …
Volltext
kostenfrei
kostenfrei
kostenfrei
Elektronisch E-Book -
3
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings
Veröffentlicht 2014Weitere Verfasser:Signatur: Wird geladen …UBT01
Standort: Wird geladen …
UBR01
URL des Erstveröffentlichers
Inhaltsverzeichnis
Abstract
Elektronisch Tagungsbericht E-Book -
4
Principles of systems design essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday
Veröffentlicht 2022Weitere Verfasser: “… Raskin, Jean-François …”
Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
42nd International Symposium on Mathematical Foundations of Computer Science
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …kostenfrei
Standort: Wird geladen …
kostenfrei
Volltext
kostenfrei
Elektronisch Tagungsbericht E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
Computer science
Festschrift
Konferenzschrift
Software Engineering
Software engineering
Artificial Intelligence
Artificial intelligence
CASHE
Computer Communication Networks
Computer Science
Computer Science Logic and Foundations of Programming
Computer communication systems
Computer logic
Computer programming
Eingebettetes System
Formal Languages and Automata Theory
Formale Methode
Informatik
Konferenzschrift 2014 Sydney
Logics and Meanings of Programs
Machine theory
Mathematical Logic and Formal Languages
Mathematical logic
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Systemanalyse
Systementwurf
Systemsynthese
Theoretische Informatik