HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

Suchfilter: ohne Online-Angebote

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Sortierung: Kein Fach bevorzugen

Treffer einschränken:

nur exakte Begriffe

nur Zeitschriften, Zeitungen

ohne Zeitschriften, Zeitungen

nur Online-Angebote

ohne Online-Angebote

ohne Bilder

ohne Universitätsbibliographie

nur Universitätsbibliographie

nur Klass. Archäologie (FID)

nur Kunstgeschichte (FID)

nur Ägyptologie (FID)

1.	Asay, Jamin: A theory of truthmaking : metaphysics, ontology, and reality / Jamin Asay. - Cambridge, United Kingdom: Cambridge University Press, 2020. - xiii, 296 Seiten, ISBN 978-1-108-49988-0 Themen: Metaphysik \| Ontologie \| Realismus \| Sachverhalt \| Verifikation \| Wahrmacher Buch/keine Angabe → Ähnliche Titel suchen	ausleihbar Signatur: 2020 A 7953 → Andere Auflagen/Ausgaben
2.	Blair, William A.: The record of murders and outrages : racial violence and the fight over truth at the dawn of Reconstruction / William A. Blair. - Chapel Hill: University of North Carolina Press, [2021]. - 173 Seiten, ISBN 978-1-4696-6344-9 (Civil War America) Themen: Bericht \| Freedmen's Bureau \| Geschichte 1865-1868 \| Gewalttätigkeit \| Opfer <Sozialpsychologie> \| Schwarze \| USA \| Verifikation Buch/keine Angabe → Ähnliche Titel suchen	ausleihbar Signatur: 2023 A 5551 → Andere Auflagen/Ausgaben
3.	Test, Analyse und Verifikation von Software - gestern, heute, morgen / Andreas Spillner, Mario Winter, Andrej Pietschker (Hrsg.). - 1. Auflage. - Heidelberg: dpunkt.verlag, 2018. - xvi, 208 Seiten : Illustrationen, ISBN 978-3-86490-470-7 Themen: Qualitätsmanagement \| Softwareentwicklung \| Softwaretest \| Verifikation Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 10-18646 → Andere Auflagen/Ausgaben
4.	Lubet, Steven: Interrogating ethnography : why evidence matters / Steven Lubet. - New York, NY: Oxford University Press, [2018]. - xv, 195 Seiten, ISBN 978-0-19-065568-6 Themen: Ethnologie \| Evidenz \| Feldforschung \| Glaubwürdigkeit \| Methode \| Verifikation Buch/keine Angabe → Ähnliche Titel suchen	ausleihbar Signatur: 2018 A 1363 → Andere Auflagen/Ausgaben
5.	Mitchell, Sam: Fault-tracing: against Quine-Duhem : a defense of the objectivity of scientific justification / Sam Mitchell. - Berlin ; Boston: De Gruyter, [2020]. - VIII, 224 Seiten : Illustrationen, ISBN 978-3-11-068499-5 (Epistemic studies ; volume 40) Themen: Duhem-Quine-These \| Erkenntnistheorie \| Falsifikation \| Hypothese \| Objektivität \| Verifikation \| Wissenschaftliche Beobachtung Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	ausleihbar Signatur: 2020 A 10964 → Andere Auflagen/Ausgaben
6.	Fokkink, Willem J.: Modelling distributed systems : with 7 tables / Wan Fokkink. - Berlin ; Heidelberg [u.a.]: Springer, 2007. - VIII, 151 S. : graph. Darst., ISBN 978-3-540-73937-1 (Texts in theoretical computer science : an EATCS series) Themen: Abstrakter Datentyp \| Algebraische Spezifikation \| Formale Methode \| Nebenläufigkeit \| Programmverifikation \| Prozessalgebra \| Verifikation \| Verteilter Algorithmus \| Verteiltes System Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2, 3, 4	bestellen Signatur: LN-U 10-14486 → Andere Auflagen/Ausgaben
7.	Loftus, Stephen C.: Basic statistics with R : reaching decisions with data / Stephen C. Loftus. - London ; San Diego, CA ; Cambridge, MA ; Oxford: Academic Press, an imprint of Elsevier, [2022]. - xix, 283 Seiten : Diagramme, ISBN 978-0-12-820788-8 Themen: Explorative Datenanalyse \| Konfidenzintervall \| Lineare Regression \| R <Programm> \| Statistische Schlussweise \| Statistischer Test Buch/keine Angabe → Ähnliche Titel suchen	bestellen Signatur: UBN/ST 601 L829 → Andere Auflagen/Ausgaben
8.	Myors, Brett: Statistical power analysis : a simple and general model for traditional and modern hypothesis tests / Kevin Murphy and Brett Mayors. - Fifth edition. - New York ; London: Routledge, Taylor & Francis Group, 2023. - xiii, 236 Seiten, ISBN 978-1-032-28300-5 Themen: Statistische Analyse \| Statistischer Test Buch/keine Angabe → Ähnliche Titel suchen	ausleihbar Signatur: 2023 A 3501 → Andere Auflagen/Ausgaben
9.	Aitkin, Murray A.: Introduction to statistical modelling and inference / Murray Aitkin (University of Melbourne, Australia). - First edition. - Boca Raton ; London ; New York: CRC Press, Taylor & Francis Group, 2023. - xvi, 374 Seiten : Illustrationen, Diagramme, ISBN 978-1-032-10571-0 DOI: 10.1201/9781003216025 Themen: Bayes-Verfahren \| Frequentistisches Verfahren \| Inferenzstatistik \| Regressionsanalyse \| Statistischer Test \| Stochastisches Modell \| Verallgemeinertes lineares Modell Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: UBN/SK 850 A311 → Andere Auflagen/Ausgaben
10.	Kronthaler, Franz: Statistics applied with Excel : data analysis is (not) an art / Franz Kronthaler. - Berlin ; [Heidelberg]: Springer, [2023]. - xxiv, 343 Seiten : Illustrationen, Diagramme, ISBN 978-3-662-64318-1 Themen: Datenanalyse \| Deskriptive Statistik \| Excel 2019 \| Regressionsanalyse \| Sozialwissenschaften \| Statistischer Test Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	ausleihbar Signatur: 2023 A 658 → Andere Auflagen/Ausgaben
11.	Bakker, Jacobus W. de: Mathematical theory of program correctness / Jaco de Bakker. - Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980. - XVI, 505 S, ISBN 978-0-13-562132-5 (Prentice-Hall International series in computer science) Themen: Programmierung \| Programmverifikation \| Verifikation Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
12.	Hamouda, Omar F.: Verification in economics and history : a sequel to "scientifization" / O. F. Hamouda and B. B. Price. - London [u.a.]: Routledge, 1991. - X, 182 S. : graph. Darst., ISBN 978-0-415-05336-5 Themen: Geschichtswissenschaft \| Methodologie \| Verifikation \| Volkswirtschaftslehre \| Wirtschaftswissenschaften Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
13.	Altmann, Jürgen: Verifikation von Konversionsvereinbarungen mittels Vor-Ort-Sensoren : Einrichtungen für Land- und Luftfahrzeuge, Schiessplätze, Tiefflug- und Testgelände / Jürgen Altmann. Institut für Entwicklung und Frieden der Universität - GH - Duisburg zur wissenschaf… . - Duisburg: INEF, 1994. - 61 S. (INEF-Report ; 7) Themen: Abrüstung \| Implementation \| Internationale Kooperation \| Kontrolle \| Rüstungsbegrenzung \| Rüstungskonversion \| Sensor \| Verifikation \| Überwachung Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
14.	Partial order methods in verification : DIMACS workshop July 24-26, 1996 / Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. - Providence, R.I: American Mathematical Society, c1997. - xiv, 403 p : graph. Darst, ISBN 978-0-8218-0579-4 (DIMACS series in discrete mathematics and theoretical computer science ; v. 29) Themen: Halbordnung \| Kongress \| Ordnung <Mathematik> \| Princeton <NJ, 1996> \| Programmverifikation \| Verifikation \| Zustandsraum Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
15.	Schneider, Klaus: Koordination und Lernen von Bewegungen : eine experimentelle Bestätigung von Bernsteins Koordinationshypothese / Klaus Schneider. - Frankfurt am Main ; Thun: Deutsch, 1989. - 76 S. : Ill., graph. Darst., ISBN 978-3-8171-1158-9 (Beiträge zur Sportwissenschaft ; 12) Themen: Bernštejn, Nikolaj A. \| Bewegungskoordination \| Theorie \| Verifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	bestellen Signatur: UBN/ZX 7960 S359 → Andere Auflagen/Ausgaben
16.	Barringer, Howard: A survey of verification techniques for parallel programs / Howard Barringer. - Berlin ; Heidelberg [u.a.]: Springer, 1985. - VI, 114 S., ISBN 978-3-540-15239-2 (Lecture notes in computer science ; 191) Themen: Parallelverarbeitung \| Programmierung \| Programmverifikation \| Verifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
17.	Hailpern, Brent T.: Verifying concurrent processes using temporal logic / Brent T. Hailpern. - Berlin ; Heidelberg [u.a.]: Springer, 1982. - VIII, 208 S : graph. Darst, ISBN 978-0-387-11205-3 (Lecture notes in computer science ; 129) Themen: Parallelverarbeitung \| Programmierung \| Programmverifikation \| Verifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
18.	Polak, Wolfgang: Compiler specification and verification / Wolfgang Polak. - Berlin ; Heidelberg [u.a.]: Springer, 1981. - XIII, 269 S : graph. Darst., ISBN 978-0-387-10886-5 (Lecture notes in computer science ; 124) Themen: Compiler \| Programmierung \| Verifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
19.	Gneiting, Ulrich: Erfahrung und Dialektik : die Identität des Bedeutungs- und des Verifikationsproblems als Schlüssel zu einem nicht-idealistischen Verständnis der dialektischen Philosophie / Ulrich Gneiting. - Frankfurt am Main ; Bern ; New York ; Paris: Lang, 1990. - 175 S., ISBN 978-3-631-42551-0 (Europäische Hochschulschriften : Reihe 20, Philosophie = Philosophie ; 312) Themen: Bedeutung \| Dialektik \| Erfahrung \| Erkenntnistheorie \| Philosophie \| Positivismusstreit \| Satz \| Sprachphilosophie \| Verifikation Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	bestellen Signatur: 90 P 951 → Andere Auflagen/Ausgaben
20.	DelSole, Timothy: Statistical methods for climate scientists / Timothy M. DelSole (George Mason University), Michael K. Tippett (Columbia University). - Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, 2022. - xvii, 525 Seiten : Diagramme, ISBN 978-1-108-47241-8 DOI: 10.1017/9781108659055 Themen: Datenanalyse \| Datenauswertung \| Klima \| Klimatologie \| Klimaänderung \| Lehrbuch \| Messwert \| Meteorologische Beobachtung \| Methode \| Modell \| Statistik \| Statistische Analyse \| Statistischer Test \| Statistisches Modell Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: UBN/SK 950 D365 → Andere Auflagen/Ausgaben

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design