Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "122164458"

Zurück zur Trefferliste


Treffer 3 von 139 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1360391509
Titel How easy is SAT-based analysis of a feature model? / Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
Person(en) Kuiter, Elias (Verfasser)
Heß, Tobias (Verfasser)
Sundermann, Chico (Verfasser)
Krieter, Sebastian (Verfasser)
Thüm, Thomas (Verfasser)
Saake, Gunter (Verfasser)
Verlag Ulm : Universität Ulm
Zeitliche Einordnung Erscheinungsdatum: 2024
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:bsz:289-oparu-55797-8
DOI: 10.18725/OPARU-55722
URL http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-55797-8 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: VaMoS '24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems. - New York : Association for Computing Machinery, 2024. - S. 149-151. - ISBN 979-8-4007-0877-0
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 3 von 139
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration