UB Paderborn / Katalog / Suche / in CDI

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

1 – 25 von 26.242.545

Sortiert nach

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

1994

Link zum Volltext

Verfügbarkeit prüfen

FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

2002

Link zum Volltext

Verfügbarkeit prüfen

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

2001

Link zum Volltext

Verfügbarkeit prüfen

Applied Formal Methods: FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings

1, 1999

Link zum Volltext

Verfügbarkeit prüfen

Parallel-In-Time Integration Methods: 9th Parallel-In-Time Workshop, June 8-12 2020

1st Edition 2021, 2021

Link zum Volltext

Verfügbarkeit prüfen

Extreme Programming and Agile Methods - XP/Agile Universe 2004: 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings

1, 2004

Link zum Volltext

Verfügbarkeit prüfen

Advanced Numerical Methods in Applied Sciences

2019

Link zum Volltext

Verfügbarkeit prüfen

Agile Methods: 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13-14, 2017, Revised Selected Papers

1st ed. 2018., 2018

Link zum Volltext

Verfügbarkeit prüfen

Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers

1st Edition 2018, 2018

Link zum Volltext

Verfügbarkeit prüfen

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

1st ed. 2021., 2021

Link zum Volltext

Verfügbarkeit prüfen

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings

1997

Link zum Volltext

Verfügbarkeit prüfen

METHODS

Soil Science Society of America journal, 2020-09, Vol.84 (5), p.1353-1353

2020

Link zum Volltext

Verfügbarkeit prüfen

METHODS

Soil Science Society of America journal, 2020-09, Vol.84 (5), p.1353-1353

2020

Link zum Volltext

Verfügbarkeit prüfen

2015 ESC/ERS Guidelines for the diagnosis and treatment of pulmonary hypertension: The Joint Task Force for the Diagnosis and Treatment of Pulmonary Hypertension of the European Society of Cardiology (ESC) and the European Respiratory Society (ERS): Endorsed by: Association for European Paediatric and Congenital Cardiology (AEPC), International Society for Heart and Lung Transplantation (ISHLT)

European heart journal, 2016-01, Vol.37 (1), p.67-119

2016

Link zum Volltext

Verfügbarkeit prüfen

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

1st Edition 2021, 2021

Link zum Volltext

Verfügbarkeit prüfen

Formal Methods: 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

1, 2023

Link zum Volltext

Verfügbarkeit prüfen

Methods

Paediatric and perinatal epidemiology, 2021-06, Vol.35 (S1), p.51-54

2021

Link zum Volltext

Verfügbarkeit prüfen

Methods

Paediatric and perinatal epidemiology, 2021-06, Vol.35 (S1), p.51-54

2021

Link zum Volltext

Verfügbarkeit prüfen

Methods

Paediatric and perinatal epidemiology, 2021-06, Vol.35, p.51-54

2021

Link zum Volltext

Verfügbarkeit prüfen

Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers

1, 2023

Link zum Volltext

Verfügbarkeit prüfen

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Lecture Notes in Computer Science, 2023, Vol.14010

1, 2023

Link zum Volltext

Verfügbarkeit prüfen

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

1993

Link zum Volltext

Verfügbarkeit prüfen

Applied Statistical Methods: ISGES 2020, Pune, India, January 2-4

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 26.242.545

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(20.266.356)
Mit Volltextzugriff
(22.885.323)

Publikationsform

Artikel
(22.394.024)
Tagungsberichte
(1.945.303)
Buchkapitel
(1.061.133)
magazinearticle
(280.018)
Bücher
(217.183)
Reviews
(100.291)
Newsletter-Artikel
(92.812)
Dissertationen
(56.011)
Berichte
(35.901)
Zeitungsartikel
(30.170)
Webseiten
(12.289)
Referenzeintrag
(7.662)
Texte
(7.335)
Normen
(1.580)
Datensätze
(378)
government_documents
(109)
Zeitschriften
(107)
Sonstige
(90)
archival_material_manuscripts
(57)
Bilder
(41)

15 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(24.595.422)
Japanisch
(2.281.427)
Deutsch
(495.000)
Französisch
(239.100)
Chinesisch
(192.180)
Portugiesisch
(179.063)
Russisch
(167.708)
Spanisch
(133.478)
Koreanisch
(97.671)
Polnisch
(46.125)
Italienisch
(34.411)
Türkisch
(25.892)
Tschechisch
(18.312)
Arabisch
(16.488)
Croatian
(15.748)
Norwegisch
(13.463)
Persisch
(13.313)
Niederländisch
(11.673)
Ukrainisch
(10.221)
Ungarisch
(8.430)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Thema

Science & Technology
(16.088.448)
Life Sciences & Biomedicine
(9.043.649)
Humans
(6.676.472)
Technology
(5.298.305)
Physical Sciences
(4.046.732)
Female
(3.583.560)
Male
(3.405.153)
Engineering
(2.591.836)
Adult
(2.190.503)
Middle Aged
(2.095.481)
Biological And Medical Sciences
(2.062.562)
Computer Science
(1.854.697)
Chemistry
(1.710.993)
Exact Sciences And Technology
(1.585.812)
Physics
(1.582.039)
Animals
(1.554.853)
Aged
(1.548.606)
Medical Sciences
(1.419.818)
Engineering, Electrical & Electronic
(1.198.662)
Social Sciences
(1.143.700)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ingenta E-Journals
(10.755.829)
EZB Electronic Journals Library
(8.952.489)
Ovid SocietyJournals and Single Titles
(4.736.479)
Elsevier ScienceDirect Journals Complete
(4.685.992)
IngentaConnect Journals
(4.303.948)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(3.010.249)
SpringerNature Journals
(2.695.192)
Wiley Online Library
(2.633.686)
Single Journals
(2.507.439)
IEEE Xplore Digital Library
(1.954.700)
Wiley Online Library
(1.843.632)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(1.748.620)
Ebook Central Perpetual and DDA
(1.025.220)
eBooks on EBSCOhost
(978.403)
Taylor & Francis Journals Complete
(923.692)
Taylor & Francis Current Content Access
(902.544)
JSTOR Complete Journals
(737.173)
Oxford University Press Journals Current
(662.010)
Springer Books
(603.564)
EBSCOhost Business Source Ultimate
(582.725)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Plos One
(194.461)
Journal Of Clinical Oncology
(91.954)
Journal Of Physics. Conference Series
(66.508)
Blood
(60.179)
Journal Of Physics: Conference Series
(59.584)
Nuclear Instruments & Methods In Physics Research. Section A, Accelerators, Spectrometers, Detectors And Associated Equipment
(57.481)
Scientific Reports
(51.410)
Cancer Research
(51.005)
Methods In Molecular Biology
(48.945)
Circulation
(46.981)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt