Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
2020
- Link zum Volltext
- kostenpflichtig
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Nierstrasz, Oscar
- Steffen, Bernhard
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Mitchell, John C
- Naor, Moni
- Pandu Rangan, C
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Vardi, Moshe Y
- Weikum, Gerhard
- Bonsangue, Marcello M
- Graf, Susanne
- Meyer, Bertrand
- Boer, Frank S
- Szyperski, Clemens
Erscheinungsform
Schlagwort
- Softwareentwicklung
- Software engineering
- Computer science
- Logic design
- Information Systems
- Computer Communication Networks
- Formale Methode
- Komponente
- Systementwicklung
- Eingebettetes System
- Information systems
- Computer software
- Model Checking
- Zuverlässigkeit
- Artificial intelligence
- Online-Ressource
- Verifikation
- Hardwareentwurf
- Operating systems (Computers)
- Objektorientierung
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts