Navigation überspringen
Universitätsbibliothek Heidelberg
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.
Neue Suche
+ Optionen
+ Suchhistorie (1 Recherche)
RSSDrucker
Folder
|< ... [21-40]  [41-60]  [61-80]  [81-100]  [101-120] ... >|
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

- Jahr
 bis  
- Einrichtung
- Sprache
 
- Datenträger
- Dokumenttyp
- Fach
- Schlagwort
- Geographischer Bezug
- Person
61. International relations theory and the end of the Cold War ; [a 1991 conference...at Cornell University] / Richard Ned Lebow ... eds.. -
New York, NY: Columbia Univ. Press, 1995. - XV, 292 S. : graph. Darst., ISBN 978-0-231-10195-0
Themen: Beendigung | Einrichtung | Internationale Politik | Internationalismus | Ost-West-Konflikt | Politische Wissenschaft | Politischer Realismus | Sowjetunion | Staat | Systemanalyse | Theorie | Theoriebildung | Verifikation | Zusammenbruch
Buch/keine Angabe 
→ Ähnliche Titel suchen   
ausleihbar  3D-Plan
Signatur: 96 A 4677
→ Weitere Exemplare
62. Cleff, Thomas: Angewandte Induktive Statistik und Statistische Testverfahren : eine computergestützte Einführung mit Excel, SPSS und Stata / Thomas Cleff. -
Wiesbaden: Springer Gabler, [2019]. - 1 Online-Ressource (XV, 268 Seiten) : Illustrationen, Diagramme, ISBN 978-3-8349-6973-6
(SpringerLink : Bücher)
(Springer eBook Collection)
DOI: 10.1007/978-3-8349-6973-6
Themen: EXCEL | Inferenzstatistik | SPSS | Stata | Statistik | Statistischer Test
Online-Ressource 
→ Ähnliche Titel suchen   
63. Berry, Kenneth J.: A Primer of Permutation Statistical Methods / Kenneth J. Berry, Janis E. Johnston, Paul W. Mielke, Jr. -
Cham: Springer, [2019]. - 1 Online-Ressource (XXIII, 476 Seiten) : Illustrationen, Diagramme, ISBN 978-3-030-20933-9
(Springer eBooks : Mathematics and Statistics)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-20933-9
Themen: Permutation | Statistik | Statistischer Test
Online-Ressource 
→ Ähnliche Titel suchen   
64. Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot. - 1st ed. 2020.. -
Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XIII, 552 p. 1 illus.), ISBN 978-3-030-45234-6
(Theoretical Computer Science and General Issues ; 12076)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-45234-6
Themen: Programmverifikation | Requirements engineering | Software Engineering | Softwarespezifikation
Online-Ressource 
→ Ähnliche Titel suchen   
65. Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker. - 1st ed. 2020.. -
Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XXIII, 425 p. 1 illus.), ISBN 978-3-030-45237-7
(Theoretical Computer Science and General Issues ; 12079)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-45237-7
Themen: Bisimulation | Programmverifikation
Online-Ressource 
→ Ähnliche Titel suchen   
66. Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker. - 1st ed. 2020.. -
Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XXIII, 501 p. 1 illus.), ISBN 978-3-030-45190-5
(Theoretical Computer Science and General Issues ; 12078)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-45190-5
Themen: Programmverifikation
Online-Ressource 
→ Ähnliche Titel suchen   
67. Brandau, Christoph: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets / Christoph Brandau. -
Wiesbaden: Springer Vieweg, [2019]. - Online-Ressource (XXXI, 281 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-25244-1
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-25244-1
Themen: Bedingungs-Ereignis-System | Digitalschaltung | Hardwareverifikation | Implementierung <Informatik> | Petri-Netz | Schaltungsentwurf | Schaltungslogik | Theoretische Informatik | Transformation | VHDL | Validierung
Online-Ressource 
→ Ähnliche Titel suchen   
68. Wintterlin, Florian: Quelle: Internet : journalistisches Vertrauen bei der Recherche in sozialen Medien / Florian Wintterlin. - 1. Auflage. -
Baden-Baden: Nomos, 2019. - 1 Online-Ressource (280 Seiten), ISBN 978-3-8452-9512-1
(Schriftenreihe Aktuell. Studien zum Journalismus ; Band 14)
(Aktuell. Studien zum Journalismus ; 14)
DOI: 10.5771/9783845295121
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
69. Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Peter Müller. - 1st ed. 2020.. -
Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XV, 772 p. 1 illus.), ISBN 978-3-030-44914-8
(Theoretical Computer Science and General Issues ; 12075)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-44914-8
Themen: Formale Methode | Nebenläufigkeit | Programmanalyse | Programmiersprache | Programmverifikation | Typsystem
Online-Ressource 
→ Ähnliche Titel suchen   
70. Probleme der Wissenschaftstheorie : Festschrift für Victor Kraft / hrsg. von Ernst Topitsch. -
Wien: Springer, 1960. - VI, 266 S.
Themen: Wissenschaftstheorie
Buch/keine Angabe 
→ Ähnliche Titel suchen   
Signatur: M 38-100-30
→ Weitere Exemplare
71. Benesch, Thomas: Schlüsselkonzepte zur Statistik : die wichtigsten Methoden, Verteilungen, Tests anschaulich erklärt / von Thomas Benesch. - 1. -
Heidelberg: Spektrum Akademischer Verlag, 2013. - Online-Ressource (X, 240 S. 68 Abb, digital), ISBN 978-3-8274-2772-4
(Springer eBook Collection)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-8274-2772-4
Themen: Regressionsanalyse | Statistik | Statistischer Test
Online-Ressource 
→ Ähnliche Titel suchen   
 Inhaltsverzeichnis
72. Frost, Ira: Statistische Testverfahren, Signifikanz und p-Werte : Allgemeine Prinzipien verstehen und Ergebnisse angemessen interpretieren / von Irasianty Frost. -
Wiesbaden: Springer VS, 2017. - Online-Ressource (VII, 38 S, online resource), ISBN 978-3-658-16258-0
(essentials)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-16258-0
Themen: Signifikanzniveau | Statistischer Test | p-Wert
Online-Ressource 
→ Ähnliche Titel suchen   
73. Brandt, Siegmund: Datenanalyse für Naturwissenschaftler und Ingenieure : Mit statistischen Methoden und Java-Programmen / von Siegmund Brandt. - 5. Aufl. 2013. -
Berlin, Heidelberg: Springer Spektrum, 2013. - Online-Ressource (XVII, 342 S. 200 Abb, digital), ISBN 978-3-642-37664-1
(SpringerLink : Bücher)
DOI: 10.1007/978-3-642-37664-1
Themen: Datenanalyse | Maximum-Likelihood-Schätzung | Methode der kleinsten Quadrate | Minimierung | Regressionsanalyse | Statistischer Test | Stichprobe | Varianzanalyse | Wahrscheinlichkeit | Wahrscheinlichkeitsverteilung | Zeitreihenanalyse
Online-Ressource 
→ Ähnliche Titel suchen   
74. Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. -
Cham: Springer, 2016. - Online-Ressource (XVII, 479 p. 108 illus, online resource), ISBN 978-3-319-46750-4
(Lecture Notes in Computer Science ; 9965)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9965)
DOI: 10.1007/978-3-319-46750-4
Themen: Formale Methode | Programmverifikation | Softwareentwicklung | Softwaretest | Theoretische Informatik
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
75. Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi. -
Cham: Springer, 2016. - Online-Ressource (XVII, 465 p. 100 illus, online resource), ISBN 978-3-319-47958-3
(Lecture Notes in Computer Science ; 10017)
(Programming and Software Engineering ; 10017)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-47958-3
Themen: Formale Methode | Programmanalyse | Programmierlogik | Programmiersprache | Programmverifikation
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
76. Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIII, 806 p. 32 illus, online resource), ISBN 978-3-662-49498-1
(Lecture Notes in Computer Science ; 9632)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 9632)
DOI: 10.1007/978-3-662-49498-1
Themen: Formale Methode | Nebenläufigkeit | Programmanalyse | Programmiersprache | Programmverifikation | Typsystem
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
77. Misak, Cheryl J.: Verificationism : its history and prospects / C. J. Misak. - 1. publ.. -
London [u.a.]: Routledge, 1995. - XVII, 254 S., ISBN 978-0-415-12598-7
(Philosophical issues in science)
Themen: Philosophie | Verifikation
Buch/keine Angabe 
→ Ähnliche Titel suchen   
Präsenznutzung
→ Exemplare (Institute)
78. Crelinsten, Jeffrey: Einstein's jury : the race to test relativity / Jeffrey Crelinsten. -
Princeton, NJ [u.a.]: Princeton Univ. Press, c 2006. - XXIX, 397 S. : Ill., ISBN 978-0-691-12310-3
Themen: Allgemeine Relativitätstheorie | Astronom | Geschichte 1905-1930 | Nachweis | Relativistische Astrophysik | Relativitätstheorie | Rezeption | Verifikation
Buch/keine Angabe 
→ Ähnliche Titel suchen   
Signatur: UBN/UB 2484 C915
79. Karkoszka, Andrzej: Strategic disarmament, verification and national security / Stockholm International Peace Research Institute. [Andrzej Karkoszka]. -
London: Taylor & Francis, 1977. - XII, 174 S. : Tab, ISBN 978-0-85066-127-9
Themen: Abrüstung | Abschreckung | Atomstrategie | Außenpolitik | Gegenseitigkeit | Internationale Kooperation | Kollektive Sicherheit | Kontrolle | Nukleare Abschreckung | Politisches Interesse | Rüstungsbegrenzung | SALT <Körperschaft> | Sicherheitspolitik | Verifikation
Buch/keine Angabe 
→ Ähnliche Titel suchen   
Präsenznutzung
→ Exemplare (Institute)
80. Fischer, Wolfgang: The verification of international conventions on protection of the environment and common resources : a comparative analysis of the instruments and procedures for international verification with the example of thirteen conventions / Wolfgang Fischer. -
Jülich: Zentralbibliothek Forschungszentrum, 1991. - 38 S. : graph. Darst.
(Berichte / Forschungszentrum Jülich ; 2495)
Themen: Evaluation | Internationale Kooperation | Internationaler Umweltschutz | Nachhaltigkeit | Ressourcenmanagement | Umweltschutz | Verifikation | Völkerrechtlicher Vertrag
Buch/keine Angabe 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
Präsenznutzung
→ Exemplare (Institute)
Folder
|< ... [21-40]  [41-60]  [61-80]  [81-100]  [101-120] ... >|
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang

© Universitätsbibliothek HeidelbergMailImpressum / Datenschutz   Design