Sortiert nach
2018
2018
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- International Conference on Software Engineering
- ECOOP (Conference)
- Voronkov, Andrei
- Ada-Europe International Conference on Reliable Software Technologies
- Bjørner, Dines
- Broy, Manfred
- European Symposium on Programming
- International Conference on Formal Methods for Open Object-Based Distributed Systems
- International EURO-PAR Conference
- LPAR (Conference)
- Nierstrasz, Oscar
- ACM/IFIP/USENIX International Middleware Conference
- Alexander, Michael
- Boles, Dietrich
- Dongarra, Jack
- Gagniuc, Paul A
- Herrmann, Dietmar
- Institute of Electrical and Electronics Engineers,
- International Conference on Conceptual Modeling
- Kaier, Ekkehard
Erscheinungsform
Schlagwort
- Software engineering
- Programming Techniques
- Software Engineering
- Programming languages (Electronic computers)
- Programming Languages, Compilers, Interpreters
- Software Engineering/Programming and Operating Systems
- Computer logic
- Logics and Meanings of Programs
- Computer Communication Networks
- Computer communication systems
- Artificial intelligence
- Computer science
- Artificial Intelligence
- Mathematical logic
- Mathematical Logic and Formal Languages
- Algorithms
- Computers
- Application software
- Compilers (Computer programs)
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts