Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Satisfiability Solvers."
im Bestand: Gesamter Bestand

1 - 5 von 5

	1	Going deeper with optimal software products selection using many-objective optimization and satisfiability solvers Enthalten in Empirical software engineering 30.8.2019: 1-36
	2	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Przigoda, Nils. - Cham : Springer International Publishing, 2018, 1st edition 2018	Verlagsinformation
	3	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Cham : Springer International Publishing, 2018, 1st edition 2018
	4	On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers Speckenmeyer, Ewald. - Köln : Universitäts- und Stadtbibliothek Köln, 1997
	5	Nonrealizable Minimal Vertex Triangulations of Surfaces: Showing Nonrealizability Using Oriented Matroids and Satisfiability Solvers In: Discrete & computational geometry Bd. 43, 2.9.2009, Nr. 2, date:3.2010: 289-302

1 - 5 von 5

Alle Materialarten

Alle Standorte

Aktionen