Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 676 von 1052 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1171321686
Titel Automated workarounds from Java program specifications based on SAT solving / by Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Person(en) Uva, Marcelo (Verfasser)
Ponzio, Pablo (Sonstige)
Regis, Germán (Sonstige)
Aguirre, Nazareno (Sonstige)
Frias, Marcelo F. (Sonstige)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2018111406012867201024
DOI: 10.1007/s10009-018-0503-8
URL http://dx.doi.org/10.1007/s10009-018-0503-8
Zeitliche Einordnung Erscheinungsdatum: 2018
DDC-Notation 005.13 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (Bd. 20, 10.8.2018, Nr. 6, date:11.2018: 665-688)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 676 von 1052
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration