Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: Ina and Paul
Treffer 304 von 335
|
|
| Link zu diesem Datensatz | https://d-nb.info/1284149854 |
| Titel | Evaluating state-of-the-art # SAT solvers on industrial configuration spaces / by Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer |
| Person(en) |
Sundermann, Chico (Verfasser) Heß, Tobias (Verfasser) Nieke, Michael (Verfasser) Bittner, Paul Maximilian (Verfasser) Young, Jeffrey M. (Verfasser) Thüm, Thomas (Verfasser) Schaefer, Ina (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2023032221045524432899 DOI: 10.1007/s10664-022-10265-9 |
| URL | https://doi.org/10.1007/s10664-022-10265-9 (Open Access) |
| Zeitliche Einordnung | Erscheinungsdatum: 2023 |
| DDC-Notation | 004.6 (maschinell ermittelte DDC-Kurznotation) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Empirical software engineering (Bd. 28, 13.1.2023, Nr. 2, date:3.2023: 1-38) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 304 von 335
Administration
