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

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

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

1 - 10 von 10

	1	Verification of Data-Aware Processes via Satisfiability Modulo Theories Cham : Springer Nature Switzerland, 2023, 1st edition 2023
	2	On solving real-algebraic formulas in a satisfiability-modulo-theories framework Loup, Ulrich. - Aachen : Universitätsbibliothek der RWTH Aachen, 2018
	3	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) Gao, Yang. - Oldenburg : BIS der Universität Oldenburg, 2017
	4	Stochastic satisfiability modulo theories Teige, Tino, 2012
	5	Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems Teige, Tino. - Oldenburg : IBIT - Universitätsbibliothek, 2012
	6	A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework Enthalten in Sociedade Brasileira de Computação: Journal of the Brazilian Computer Society Bd. 14, Nr. 1, date:3.2008: 71-86
	7	A framework for Satisfiability Modulo Theories Enthalten in Formal aspects of computing Bd. 21, 21.2.2009, Nr. 5, date:10.2009: 485-494
	8	Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis Enthalten in Annals of mathematics and artificial intelligence Bd. 55, 24.7.2009, Nr. 1-2, date:2.2009: 63-99
	9	Preface to special issue on satisfiability modulo theories In: Formal methods in system design Bd. 51, 22.11.2017, Nr. 3, date:12.2017: 431-432
	10	Solving quantified verification conditions using satisfiability modulo theories Enthalten in Annals of mathematics and artificial intelligence Bd. 55, 16.7.2009, Nr. 1-2, date:2.2009: 101-122

1 - 10 von 10

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (4)

Alle Standorte

Aktionen