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: "MEYER" and "Abraham"

Zurück zur Trefferliste


Treffer 10 von 90 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/133941290X
Titel The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 / by Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
Person(en) Jacobs, Swen (Verfasser)
Pérez, Guillermo A. (Verfasser)
Abraham, Remco (Verfasser)
Bruyère, Véronique (Verfasser)
Cadilhac, Michaël (Verfasser)
Colange, Maximilien (Verfasser)
Delfosse, Charly (Verfasser)
Dijk, Tom van (Verfasser)
Duret-Lutz, Alexandre (Verfasser)
Faymonville, Peter (Verfasser)
Finkbeiner, Bernd (Verfasser)
Khalimov, Ayrat (Verfasser)
Klein, Felix (Verfasser)
Luttenberger, Michael (Verfasser)
Meyer, Klara (Verfasser)
Michaud, Thibaud (Verfasser)
Pommellet, Adrien (Verfasser)
Renkin, Florian (Verfasser)
Schlehuber-Caissier, Philipp (Verfasser)
Sakr, Mouhammad (Verfasser)
Sickert, Salomon (Verfasser)
Staquet, Gaëtan (Verfasser)
Tamines, Clément (Verfasser)
Tentrup, Leander (Verfasser)
Walker, Adam (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format 1 Online-Ressource.
Persistent Identifier URN: urn:nbn:de:101:1-2408191030546.276305473622
DOI: 10.1007/s10009-024-00754-1
URL https://doi.org/10.1007/s10009-024-00754-1
Zeitliche Einordnung Erscheinungsdatum: 2024
DDC-Notation 541 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (11.6.2024: 1-17)
Sachgruppe(n) 540 Chemie

Online-Zugriff Archivobjekt öffnen




Treffer 10 von 90
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration