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...

GABAB receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Proceedings of the National Academy of Sciences - PNAS, 2015-06, Vol.112 (25), p.E3291-E3299

2015

Volltextzugriff (PDF)

Persistence in Higher Education: A Phenomenological Study Exploring the Hurdles Faced by First Generation Students and the Strategies Employed to Overcome Their Barriers

Berner, David

2019

Volltextzugriff (PDF)

Automated Generation of Synchronous Formal Models from SystemC Descriptions

Journal of circuits, systems, and computers, 2019-04, Vol.28 (4), p.1950061

2019

Volltextzugriff (PDF)

GABA B receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Proceedings of the National Academy of Sciences - PNAS, 2015-06, Vol.112 (25)

2015

Volltextzugriff (PDF)

GABABreceptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Proceedings of the National Academy of Sciences - PNAS, 2015-06, Vol.112 (25), p.E3291-E3299

2015

Volltextzugriff (PDF)

GABA^sub B^ receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Proceedings of the National Academy of Sciences - PNAS, 2015-06, Vol.112 (25), p.E3291

2015

Volltextzugriff (PDF)

GABA sub( B) receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Proceedings of the National Academy of Sciences - PNAS, 2015-06, Vol.112 (25), p.E3291-E3291

2015

Volltextzugriff (PDF)

Validating Families of Latency Insensitive Protocols

IEEE transactions on computers, 2006-11, Vol.55 (11), p.1391-1401

2006

Volltextzugriff (PDF)

Protein nitrogen combustion method collaborative study. I. Comparison with Smalley total Kjeldahl nitrogen and combustion results

Journal of the American Oil Chemists' Society, 1994-11, Vol.71 (11), p.1291-1293

1994

Volltextzugriff (PDF)

CARH: service-oriented architecture for validating system-level designs

IEEE transactions on computer-aided design of integrated circuits and systems, 2006-08, Vol.25 (8), p.1458-1474

2006

Volltextzugriff (PDF)

XFM: An incremental methodology for developing formal models

ACM transactions on design automation of electronic systems, 2005-10, Vol.10 (4), p.589-609

2005

Volltextzugriff (PDF)

Hard real-time implementation of embedded software in JAVA

Lecture notes in computer science, 2004, p.33-47

2004

Volltextzugriff (PDF)

XFM

ACM transactions on design automation of electronic systems, 2005-10, Vol.10 (4), p.589-609

2005

Volltextzugriff (PDF)

AOCS' 4th edition of methods

Journal of the American Oil Chemists' Society, 1989-12, Vol.66 (12), p.1749-1749

Berner, David

1989

Volltextzugriff (PDF)

Validating families of latency insensitive protocols

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005, 2005, p.127-134

2005

Volltextzugriff (PDF)

Methods development update

Journal of the American Oil Chemists' Society, 1987-08, Vol.64 (8), p.1121-1121

Berner, David

1987

Volltextzugriff (PDF)

MINE SUBSIDENCE INVESTIGATIONS IN HILLSLOPE/LANDFILL AREAS

Journal of the American Society of Mining and Reclamation, 2001, Vol.2001 (1), p.151-158

2001

Volltextzugriff (PDF)

The EU challenge: New Organization and Culture around Psychotropic Prescription Drugs in the Nordic Count

Nordisk alkohol tidskrift, 1995-02, Vol.12 (1_suppl), p.73-85

1995

Volltextzugriff (PDF)

Characterization of the proinflammatory response of murine macrophages to microparticulate β-(1 → 3) D-glucan

Berner, Mathew David

2006

Volltextzugriff (PDF)

A Functional Programming Framework for Latency Insensitive Protocol Validation

Electronic notes in theoretical computer science, 2006-01, Vol.146 (2), p.169-188

2006

Volltextzugriff (PDF)

Automated Extraction of Structural Information from SystemC-based IP for Validation

2005 Sixth International Workshop on Microprocessor Test and Verification, 2005, p.99-104

2005

Volltextzugriff (PDF)

Extreme formal modeling (XFM) for hardware models

Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004, p.30-35

2004

Volltextzugriff (PDF)

Biewen and Dilworth, Reality radio: Telling true stories in sound

Journal of Radio & Audio Media, 2010, Vol.17 (2), p.251-252

Berner, David W.

2010

Volltextzugriff (PDF)

Automated translation of C/C++ models into a synchronous formalism

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06), 2006, p.9 pp.-436

2006

Volltextzugriff (PDF)

Modular design through component abstraction

International Conference on Compilers, Architecture and Synthesis for Embedded Systems: Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems; 22-25 Sept. 2004, 2004, p.202-211

2004

Volltextzugriff (PDF)

1 – 25 von 268

Menü

Weitere Dienste

Einstellungen

GABAB receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Persistence in Higher Education: A Phenomenological Study Exploring the Hurdles Faced by First Generation Students and the Strategies Employed to Overcome Their Barriers

Automated Generation of Synchronous Formal Models from SystemC Descriptions

GABA B receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

GABABreceptor deficiency causes failure of neuronal homeostasis in hippocampal networks

GABA^sub B^ receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

GABA sub( B) receptor deficiency causes failure of neuronal homeostasis in hippocampal networks

Validating Families of Latency Insensitive Protocols

Protein nitrogen combustion method collaborative study. I. Comparison with Smalley total Kjeldahl nitrogen and combustion results

CARH: service-oriented architecture for validating system-level designs

XFM: An incremental methodology for developing formal models

Hard real-time implementation of embedded software in JAVA

XFM

AOCS' 4th edition of methods

Validating families of latency insensitive protocols

Methods development update

MINE SUBSIDENCE INVESTIGATIONS IN HILLSLOPE/LANDFILL AREAS

The EU challenge: New Organization and Culture around Psychotropic Prescription Drugs in the Nordic Count

Characterization of the proinflammatory response of murine macrophages to microparticulate β-(1 → 3) D-glucan

A Functional Programming Framework for Latency Insensitive Protocol Validation

Automated Extraction of Structural Information from SystemC-based IP for Validation

Extreme formal modeling (XFM) for hardware models

Biewen and Dilworth, Reality radio: Telling true stories in sound

Automated translation of C/C++ models into a synchronous formalism

Modular design through component abstraction

Suchergebnisse filtern