UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Report of final results regarding brain and heart tumors in Sprague-Dawley rats exposed from prenatal life until natural death to mobile phone radiofrequency field representative of a 1.8 GHz GSM base station environmental emission

Environmental research, 2018-08, Vol.165, p.496-503

2018

Volltextzugriff (PDF)

Results of lifespan exposure to continuous and intermittent extremely low frequency electromagnetic fields (ELFEMF) administered alone to Sprague Dawley rats

Environmental research, 2018-07, Vol.164, p.271-279

2018

Volltextzugriff (PDF)

Automated formal verification for flexible manufacturing systems

Journal of intelligent manufacturing, 2014-10, Vol.25 (5), p.1181-1195

2014

Volltextzugriff (PDF)

Occupational exposure and risk of complications in MASLD patients:updates from a case:control study

Digestive and liver disease, 2024-09, Vol.56, p.S321-S321

2024

Volltextzugriff (PDF)

ProB: A Model Checker for B

FME 2003: Formal Methods, 2003, p.855-874

2003

Volltextzugriff (PDF)

Differences in the carcinogenic evaluation of glyphosate between the International Agency for Research on Cancer (IARC) and the European Food Safety Authority (EFSA)

Journal of epidemiology and community health (1979), 2016-08, Vol.70 (8), p.741-745

2016

Volltextzugriff (PDF)

Exploring occupational toxicant exposures in patients with metabolic dysfunction-associated steatotic liver disease: a prospective pilot study

Digestive and liver disease, 2024-02, Vol.56, p.S53

2024

Volltextzugriff (PDF)

SOC-IV-10 Glyphosate and its formulations Roundup Bioflow and RangerPro alter bacterial and fungal community composition in the rat caecum microbiome

Toxicology letters, 2022-09, Vol.368, p.S55

2022

Volltextzugriff (PDF)

SEM, TEM, and IHC Analysis of the Sinus Node and Its Implications for the Cardiac Conduction System

Anatomy Research International, 2013-01, Vol.2013 (2013), p.95-100

2013

Volltextzugriff (PDF)

The challenges of software engineering education

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005, 2005, p.637-638

2005

Volltextzugriff (PDF)

Protocol for a systematic review and meta-analysis of human exposure to pesticide residues in honey and other bees’ products

Environmental research, 2020-07, Vol.186, p.109470-109470, Article 109470

2020

Volltextzugriff (PDF)

A unified high-level Petri net formalism for time-critical systems

IEEE transactions on software engineering, 1991-02, Vol.17 (2), p.160-172

1991

Volltextzugriff (PDF)

Proving properties of real-time systems through logical specifications and Petri net models

IEEE transactions on software engineering, 1994-02, Vol.20 (2), p.127-141

1994

Volltextzugriff (PDF)

Advertising Formal Methods and Organizing Their Teaching: Yes, but

Lecture notes in computer science, 2004, p.214-224

2004

Volltextzugriff (PDF)

The Effects of Glyphosate Based Herbicides on Rat Sperm Mitochondria

Environmental epidemiology, 2019-10, Vol.3 (Supplement 1), p.267-267

2019

Volltextzugriff (PDF)

Java Applet Correctness: A Developer-Oriented Approach

FME 2003: Formal Methods, 2003, p.422-439

2003

Volltextzugriff (PDF)

Improving Safety Assessment of Complex Systems: An Industrial Case Study

FME 2003: Formal Methods, 2003, p.208-222

2003

Volltextzugriff (PDF)

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

FME 2003: Formal Methods, 2003, p.133-153

2003

Volltextzugriff (PDF)

Event Based Sequential Program Development: Application to Constructing a Pointer Program

FME 2003: Formal Methods, 2003, p.51-74

2003

Volltextzugriff (PDF)

Karyotypic evolutions of cancer species in rats during the long latent periods after injection of nitrosourea

Molecular cytogenetics, 2014, Vol.7 (1), p.71-71, Article 71

2014

Volltextzugriff (PDF)

Adaptable Translator of B Specifications to Embedded C Programs

FME 2003: Formal Methods, 2003, p.94-113

2003

Volltextzugriff (PDF)

A Metric Temporal Logic for Dealing with Zero-Time Transitions

2012 19th International Symposium on Temporal Representation and Reasoning, 2012, p.81-88

2012

Volltextzugriff (PDF)

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

FME 2003: Formal Methods, 2003, p.875-893

2003

Volltextzugriff (PDF)

Past, present, and future of SRA implementation of CafeOBJ

Lecture notes in computer science, 2003, p.7-17

2003

Volltextzugriff (PDF)

1 – 25 von 394

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(339)
Mit Volltextzugriff
(364)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(277)
Physics
(134)
Physical Sciences
(114)
Technology
(109)
Physics, Particles & Fields
(92)
Computer Science
(86)
Exact Sciences And Technology
(77)
Life Sciences & Biomedicine
(72)
Computer Science, Software Engineering
(71)
Computer Science, Theory & Methods
(67)
Applied Sciences
(66)
Computer Science; Control Theory; Systems
(65)
Software
(64)
Software Engineering
(56)
Particle Physics
(50)
Experiment
(49)
Astronomy & Astrophysics
(43)
Humans
(36)
High Energy Physics - Experiment
(35)
Elementary Particles
(34)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Report of final results regarding brain and heart tumors in Sprague-Dawley rats exposed from prenatal life until natural death to mobile phone radiofrequency field representative of a 1.8 GHz GSM base station environmental emission

Results of lifespan exposure to continuous and intermittent extremely low frequency electromagnetic fields (ELFEMF) administered alone to Sprague Dawley rats

Automated formal verification for flexible manufacturing systems

Occupational exposure and risk of complications in MASLD patients:updates from a case:control study

Carcinogenicity of acrolein, crotonaldehyde, and arecoline

ProB: A Model Checker for B

Differences in the carcinogenic evaluation of glyphosate between the International Agency for Research on Cancer (IARC) and the European Food Safety Authority (EFSA)

Exploring occupational toxicant exposures in patients with metabolic dysfunction-associated steatotic liver disease: a prospective pilot study

SOC-IV-10 Glyphosate and its formulations Roundup Bioflow and RangerPro alter bacterial and fungal community composition in the rat caecum microbiome

SEM, TEM, and IHC Analysis of the Sinus Node and Its Implications for the Cardiac Conduction System

The challenges of software engineering education

Protocol for a systematic review and meta-analysis of human exposure to pesticide residues in honey and other bees’ products

A unified high-level Petri net formalism for time-critical systems

Proving properties of real-time systems through logical specifications and Petri net models

Advertising Formal Methods and Organizing Their Teaching: Yes, but

The Effects of Glyphosate Based Herbicides on Rat Sperm Mitochondria

Java Applet Correctness: A Developer-Oriented Approach

Improving Safety Assessment of Complex Systems: An Industrial Case Study

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

Event Based Sequential Program Development: Application to Constructing a Pointer Program

Karyotypic evolutions of cancer species in rats during the long latent periods after injection of nitrosourea

Adaptable Translator of B Specifications to Embedded C Programs

A Metric Temporal Logic for Dealing with Zero-Time Transitions

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

Past, present, and future of SRA implementation of CafeOBJ

Suchergebnisse filtern