Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: tit all "Algorithms"



Treffer 6551 von 6679 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1299176291
Titel Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 / by Peter Gjøl Jensen, Thomas Neele
Person(en) Jensen, Peter Gjøl (Verfasser)
Neele, Thomas (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2023081311051942170198
DOI: 10.1007/s10009-023-00699-x
URL https://doi.org/10.1007/s10009-023-00699-x
Zeitliche Einordnung Erscheinungsdatum: 2023
DDC-Notation 005.12 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (Bd. 25, 17.2.2023, Nr. 2, date:4.2023: 129-131)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 6551 von 6679
< < > <


E-Mail-IconAdministration