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...
2005
2002
- Link zum Volltext
Teubner-Texte zur Informatik : 15 (Alle Bände), Lehrbuch Informatik
3., durchges. Aufl, 2005
Signatur: TWI3429(3)
Lecture Notes in Computer Science : 6200
2010
NASA Monographs in Systems and Software Engineering
2006
2014
2013
2013
2013
2003
- Link zum Volltext
2002
2008
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Steffen, Bernhard
- Mitchell, John C
- Nierstrasz, Oscar
- Vardi, Moshe Y
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Naor, Moni
- Pandu Rangan, C
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Weikum, Gerhard
- Bonsangue, Marcello M
- Boer, Frank S
- Graf, Susanne
- Bernardo, Marco
- Woodcock, Jim
Erscheinungsform
Schlagwort
- Computer science
- Software engineering
- Logic design
- Softwareentwicklung
- Computer Communication Networks
- Model Checking
- Verifikation
- Artificial intelligence
- Programmverifikation
- Information Systems
- Programmanalyse
- Systementwicklung
- Online-Ressource
- Softwaretest
- Computer software
- Operating systems (Computers)
- Verteiltes System
- Zuverlässigkeit
- Software
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts