Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: tit all "Algorithms"

Zurück zur Trefferliste


Treffer 24245 von 24364 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1100420916
Titel Using simulated execution in verifying distributed algorithms / by Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kırlı, Nancy A. Lynch
Person(en) Win, Toh Ne (Verfasser)
Ernst, Michael D. (Mitwirkender)
Garland, Stephen J. (Mitwirkender)
Kırlı, Dilsun (Mitwirkender)
Lynch, Nancy A. (Mitwirkender)
Organisation(en) SpringerLink (Online service) (Herausgebendes Organ)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:1111-2016051713127
DOI: 10.1007/s10009-003-0126-5
URL http://dx.doi.org/10.1007/s10009-003-0126-5
Zeitliche Einordnung Erscheinungsdatum: 2004
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (Bd. 6, 6.4.2004, Nr. 1, date:7.2004: 67-76)

Online-Zugriff Archivobjekt öffnen




Treffer 24245 von 24364
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration