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

Simultaneous berth allocation and yard planning at tactical level

OR Spectrum, 2013-03, Vol.35 (2), p.441-456

2013

Volltextzugriff (PDF)

Strategic allocation of cyclically calling vessels for multi-terminal container operators

Flexible services and manufacturing journal, 2012-09, Vol.24 (3), p.248-273

2012

Volltextzugriff (PDF)

DESIGN OF ROBUST DISTRIBUTION NETWORKS RUN BY THIRD PARTY LOGISTICS SERVICE PROVIDERS

Advances in complex systems, 2012-07, Vol.15 (5), p.1150024

2012

Volltextzugriff (PDF)

Program inversion: More than fun

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

1990

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)

An algorithm for transitive reduction of an acyclic graph

Science of computer programming, 1989-07, Vol.12 (2), p.151-155

1989

Volltextzugriff (PDF)

An alternative implementation of communication primitives

Information processing letters, 1986-11, Vol.23 (5), p.231-238

1986

Volltextzugriff (PDF)

Design and Control of Automated Guided Vehicle Systems: A Case Study

IFAC Proceedings Volumes, 2011-01, Vol.44 (1), p.13852-13857

2011

Volltextzugriff (PDF)

On the correctness of the Sproull counterflow pipeline processor

Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1996, p.112-120

1996

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)

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)

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)

Networks of communicating processes and their (De-)composition

Mathematics of Program Construction, 1989, p.174-196

1989

Volltextzugriff (PDF)

On intersections of pairs of steiner triple systems

Indagationes Mathematicae (Proceedings), 1977, Vol.80 (2), p.89-100

1977

Volltextzugriff (PDF)

Building finite automata from DI specifications

Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1998, p.184-193

1998

Volltextzugriff (PDF)

Normal form in DI-algebra with recursion

Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1997, p.167-174

1997

Volltextzugriff (PDF)

Using metrics for proof rules for recursively defined delay-insensitive specifications

Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1997, p.175-183

1997

Volltextzugriff (PDF)

Arithmetic for relative accuracy

Proceedings of the 12th Symposium on Computer Arithmetic, 1995, p.239-250

1995

Volltextzugriff (PDF)

Circular Building Design for the Infill Domain: Materialisation, and Value Network study of the Niaga ECOR Panel innovation

IOP conference series. Earth and environmental science, 2020-11, Vol.588 (4), p.42035

2020

Volltextzugriff (PDF)

Efficacy versus Complications in Arterial Thrombolysis

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

2018

Volltextzugriff (PDF)

Flow pattern in reverse-flow centrifugal separators

Powder technology, 2002-11, Vol.127 (3), p.212-222

2002

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)

1 – 25 von 63

Menü

Weitere Dienste

Einstellungen

Simultaneous berth allocation and yard planning at tactical level

Strategic allocation of cyclically calling vessels for multi-terminal container operators

DESIGN OF ROBUST DISTRIBUTION NETWORKS RUN BY THIRD PARTY LOGISTICS SERVICE PROVIDERS

Program inversion: More than fun

Rank order filters and priority queues

Absence of individual starvation using weak semaphores

An algorithm for transitive reduction of an acyclic graph

An alternative implementation of communication primitives

Design and Control of Automated Guided Vehicle Systems: A Case Study

On the correctness of the Sproull counterflow pipeline processor

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

Analysis and applications of the XDI model

Delay-insensitive circuits: An algebraic approach to their design

An algebra for delay-insensitive circuits

Towards a calculus of data refinement

Networks of communicating processes and their (De-)composition

On intersections of pairs of steiner triple systems

Building finite automata from DI specifications

Normal form in DI-algebra with recursion

Using metrics for proof rules for recursively defined delay-insensitive specifications

Arithmetic for relative accuracy

Circular Building Design for the Infill Domain: Materialisation, and Value Network study of the Niaga ECOR Panel innovation

Efficacy versus Complications in Arterial Thrombolysis

Flow pattern in reverse-flow centrifugal separators

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

Suchergebnisse filtern