Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...1. ed., 2. [Dr.], 1986
Signatur: TVS1554
2., überarb. Aufl, 2007
Signatur: TWQ10997(2)
Programming and Software Engineering : 11687
1st ed. 2019, 2019
Volltextzugriff (PDF)
Lecture Notes in Computer Science : 6252
2010
Volltextzugriff (PDF)
2015
Volltextzugriff (PDF)
Programming and Software Engineering : 12327
1st ed. 2020, 2020
Volltextzugriff (PDF)
- Hutchison, David
- Cha, Sungdeok (Steve)
- Choi, Jin-Young
- Kanade, Takeo
- Kim, Moonzoo
- Kittler, Josef
- Kleinberg, Jon M
- Lee, Insup
- Mattern, Friedemann
- Mitchell, John C
- Naor, Moni
- Nierstrasz, Oscar
- Pandu Rangan, C
- Steffen, Bernhard
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Vardi, Moshe Y
- Viswanathan, Mahesh
- Weikum, Gerhard
2008
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Brown, William J
- Graf, Susanne
- Steffen, Bernhard
- Baier, Christel
- Bentley, Lonnie D
- Boehm, Barry
- Boehm, Barry W
- Bouajjani, Ahmed
- Cha, Sungdeok (Steve)
- Chin, Wei-Ngan
- Choi, Jin-Young
- Dierkes, Michael
- Flammini, Francesco
- Goodstein, Len P
- Higashino, Teruo
- Ho, Thomas I
- Hutchison, David
- Ijspeert, Auke Jan
- Kanade, Takeo
- Kim, Moonzoo
Erscheinungsform
Schlagwort
- Systemanalyse
- Computer science
- Formale Methode
- Software engineering
- Systementwurf
- Verifikation
- Logic design
- Model Checking
- Computer Communication Networks
- Hardwareentwurf
- Information systems
- Zeitbehafteter Automat
- Eingebettetes System
- Hybrides System
- Sicherheitskritisches System
- Online-Ressource
- Informationssystem
- Programmverifikation
- Softwarearchitektur
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts