UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 32

Sortiert nach

An exact method for scheduling a yard crane

European journal of operational research, 2014-06, Vol.235 (2), p.431-447

2014

Volltextzugriff (PDF)

A Control of Collision and Deadlock Avoidance for Automated Guided Vehicles with a Fault-Tolerance Capability

International journal of advanced robotic systems, 2016-04, Vol.13 (2), p.64

2016

Volltextzugriff (PDF)

Acute Clinical Worsening after Steroid Administration in Cervical Myelitis May Reveal a Subdural Arteriovenous Fistula

Case reports in neurology, 2016-11, Vol.8 (3), p.234-242

2016

Volltextzugriff (PDF)

A decision-tree stacking heuristic minimising the expected number of reshuffles at a container terminal

International journal of production research, 2014-05, Vol.52 (9), p.2592-2611

2014

Volltextzugriff (PDF)

Robust cyclic berth planning of container vessels

OR Spectrum, 2010-07, Vol.32 (3), p.501-517

2010

Volltextzugriff (PDF)

Efficacy versus Complications in Arterial Thrombolysis

Annals of vascular surgery, 2018-04, Vol.48, p.111-118

2018

Volltextzugriff (PDF)

Transition Metal-Catalyzed, Chlorine-Transfer Radical Cyclizations of 2-(3-Alken-1-oxy)-2-Chloroacetates. Formal Total Synthesis of Avenaciolide and Isoavenaciolide

Journal of organic chemistry, 1994-04, Vol.59 (8), p.1993-2003

1994

Volltextzugriff (PDF)

Xanthate Transfer Cyclization of Glycolic Acid-Derived Radicals. Synthesis of Five- to Eight-Membered Ring Ethers

Journal of organic chemistry, 1994-11, Vol.59 (22), p.6671-6682

1994

Volltextzugriff (PDF)

Xanthate Transfer Addition of a Glycine Radical Equivalent to Alkenes. A Novel Route to .alpha.-Amino Acid Derivatives

Journal of organic chemistry, 1994-07, Vol.59 (13), p.3721-3725

1994

Volltextzugriff (PDF)

Resolution of methyl cis-3-chloromethyl-2-tetrahydrofurancarboxylate via enzymatic hydrolysis

Tetrahedron: asymmetry, 1993-03, Vol.4 (3), p.425-432

1993

Volltextzugriff (PDF)

Acute Clinical Worsening after Steroid Administration in Cervical Myelitis May Reveal a Subdural Arteriovenous Fistula

Case reports in neurology, 2016, Vol.8 (3), p.234-242

2016

Volltextzugriff (PDF)

Transition metal-catalyzed chlorine transfer cyclizations of carbon-centered glycine radicals; A novel synthetic route to cyclic α-amino acids

Tetrahedron, 1994, Vol.50 (6), p.1907-1918

1994

Volltextzugriff (PDF)

A formal model for defining and classifying delay-insensitive circuits and systems

Distributed computing, 1986-12, Vol.1 (4), p.197-204

Udding, Jan Tijmen

1986

Volltextzugriff (PDF)

Program inversion: More than fun

Science of computer programming, 1990-11, Vol.15 (1), p.1-13

1990

Volltextzugriff (PDF)

An overview of D-I algebra

[1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences, 1993, Vol.i, p.329-338 vol.1

1993

Volltextzugriff (PDF)

Copper catalyzed chlorine transfer cyclizations of glycine and glycolic acid derivatives

Tetrahedron letters, 1991-06, Vol.32 (26), p.3123-3126

1991

Volltextzugriff (PDF)

Algebraic proof assistants in HOL

Mathematics of Program Construction, 2005, p.304-321

2005

Volltextzugriff (PDF)

Analysis and applications of the XDI model

Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1999, p.231-242

1999

Volltextzugriff (PDF)

Copper-catalysed N-acyliminium ion cyclisation to 3-azabicyclo[3.3.1]nonanes; synthesis of 2,4-disubstituted 1-aza-adamantanes

Tetrahedron, 1994, Vol.50 (29), p.8853-8862

1994

Volltextzugriff (PDF)

Rank order filters and priority queues

Distributed computing, 1992-09, Vol.6 (2), p.99-105

1992

Volltextzugriff (PDF)

Absence of individual starvation using weak semaphores

Information processing letters, 1986-10, Vol.23 (3), p.159-162

Udding, Jan Tijmen

1986

Volltextzugriff (PDF)

Preparation of cyclic α-hydrazino acids through N-acylhydrazonium intermediates

Heterocycles, 1992, Vol.33 (1), p.81-85

1992

Volltextzugriff (PDF)

Delay-insensitive circuits: An algebraic approach to their design

CONCUR '90 Theories of Concurrency: Unification and Extension, 1990, p.342-366

1990

Volltextzugriff (PDF)

An algebra for delay-insensitive circuits

Computer-Aided Verification, 1991, p.343-352

1991

Volltextzugriff (PDF)

Towards a calculus of data refinement

Mathematics of Program Construction, 1989, p.197-218

1989

Volltextzugriff (PDF)

1 – 25 von 32

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(26)
Mit Volltextzugriff
(31)

Publikationsform

Sprache

Englisch
(32)
Japanisch
(5)

Erscheinungsjahr

n.n

Thema

Science & Technology
(25)
Technology
(16)
Computer Science
(12)
Exact Sciences And Technology
(9)
Chemistry
(8)
Physical Sciences
(7)
Chemistry, Organic
(6)
Computer Science, Theory & Methods
(6)
Organic Chemistry
(6)
Applied Sciences
(4)
Computer Science; Control Theory; Systems
(4)
Containers
(4)
Parallel Composition
(4)
Preparations And Properties
(4)
Algebra
(3)
Algorithms
(3)
Case Studies
(3)
Computer Science, Software Engineering
(3)
Delay
(3)
Heterocyclic Compounds
(3)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

An exact method for scheduling a yard crane

A Control of Collision and Deadlock Avoidance for Automated Guided Vehicles with a Fault-Tolerance Capability

Acute Clinical Worsening after Steroid Administration in Cervical Myelitis May Reveal a Subdural Arteriovenous Fistula

A decision-tree stacking heuristic minimising the expected number of reshuffles at a container terminal

Robust cyclic berth planning of container vessels

Efficacy versus Complications in Arterial Thrombolysis

Transition Metal-Catalyzed, Chlorine-Transfer Radical Cyclizations of 2-(3-Alken-1-oxy)-2-Chloroacetates. Formal Total Synthesis of Avenaciolide and Isoavenaciolide

Xanthate Transfer Cyclization of Glycolic Acid-Derived Radicals. Synthesis of Five- to Eight-Membered Ring Ethers

Xanthate Transfer Addition of a Glycine Radical Equivalent to Alkenes. A Novel Route to .alpha.-Amino Acid Derivatives

Resolution of methyl cis-3-chloromethyl-2-tetrahydrofurancarboxylate via enzymatic hydrolysis

Acute Clinical Worsening after Steroid Administration in Cervical Myelitis May Reveal a Subdural Arteriovenous Fistula

Transition metal-catalyzed chlorine transfer cyclizations of carbon-centered glycine radicals; A novel synthetic route to cyclic α-amino acids

A formal model for defining and classifying delay-insensitive circuits and systems

Program inversion: More than fun

An overview of D-I algebra

Copper catalyzed chlorine transfer cyclizations of glycine and glycolic acid derivatives

Algebraic proof assistants in HOL

Analysis and applications of the XDI model

Copper-catalysed N-acyliminium ion cyclisation to 3-azabicyclo[3.3.1]nonanes; synthesis of 2,4-disubstituted 1-aza-adamantanes

Rank order filters and priority queues

Absence of individual starvation using weak semaphores

Preparation of cyclic α-hydrazino acids through N-acylhydrazonium intermediates

Delay-insensitive circuits: An algebraic approach to their design

An algebra for delay-insensitive circuits

Towards a calculus of data refinement

Suchergebnisse filtern