UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 54

Sortiert nach

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen

1975

Signatur: TVG1075

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen

1975

Signatur: TVG1075

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

International Workshop on Petri Nets and Performance Models

1993

Signatur: XVI931002

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Informatik-Fachberichte : 197 (Alle Bände)

1989

Signatur: TVG1261

Analog-to-digital and digital-to-analog conversion techniques

A Wiley-Interscience publication

Hoeschele, David F

2. ed, 1994

Signatur: TVG1033(2)

A probabilistic theory of causality

Acta philosophica Fennica : 24 (Alle Bände)

Suppes, Patrick

1970

Signatur: M38129

Systementwurf mit Netzen

Springer compass

Reisig, Wolfgang

1985

Signatur: TVG1198

Petri-Netze in der Steuerungstechnik

1. Aufl, 1988

Signatur: TVG1300

Petri-Netze in der Steuerungs- und Digitaltechnik

1988

Signatur: TVG1279

Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme

Abel, Dirk

1990

Signatur: TVG1384

Coloured Petri nets : basic concepts, analysis methods and practical use. 2

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1995

Signatur: TVG1392-2

Verification and control of hybrid systems : a symbolic approach

Tabuada, Paulo

2009

Signatur: TVG1716

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze

Czernik, Sofie

1997

Signatur: D11778

Approximate analysis methods for stochastic process algebras

Mertsiotakis, Vassilios

1998

Signatur: D12298

Analyse von Petri-Netz-Modellen

Leitfäden und Monographien der Informatik

Starke, Peter H

1990

Signatur: TVG1342

Mensch-Maschine-Schnittstellen elektronischer Geräte : Leitfaden für Design und Schaltungstechnik

1998

Signatur: YGY2212

Logikbausteine

Vogel-Fachbuch : Elektronik-Praxis

Siemers, Christian

1. Aufl, 2002

Signatur: TVG1596

Embedded core design with FPGAs. CD-ROM

Embedded core design with FPGAs (Alle Bände)

Navabi, Zainalabedin

2007

Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets

Berichte aus der Informatik

Bayarou, Kpatcha M

2002

Signatur: TVG1570

Fluide stochastische Petri-Netze

Horton, Graham

1998

Signatur: D12214

Petri nets : an introduction

EATCS monographs on theoretical computer science : 4 (Alle Bände)

Reisig, Wolfgang

1985

Signatur: TVG1122-EN

Control using logic based switching

Lecture notes in control and information sciences : 222 (Alle Bände)

Morse, A. Stephen[Herausgeber]

1997

Signatur: TVG1473

Solving higher order equations : from logic to programming

Progress in theoretical computer science : 19 (Alle Bände)

Prehofer, Christian

1998

Signatur: TVG1601

The mathematics of petri nets

Reutenauer, Christophe

1. [Dr.], 1990

Signatur: TVG1326

1 – 25 von 54

Suche als RSS-Feed

Aktive Filter

SchlagwortEntscheidbarkeit

SchlagwortGefärbtes Petri-Netz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(54)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(54)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(26)
Deutsch
(21)

Systemstelle

TVG
(54)
TVE
(5)
YGQ
(4)
TUA
(2)
HIN
(1)
HKO
(1)
HLD
(1)
TBP
(1)
TVI
(1)
TVV
(1)
TWG
(1)
WFM
(1)
XVI
(1)
YCG
(1)
YGY
(1)

10 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen ; mit 29 Tabellen

Synthese industrieller Steuerungen : kombinatorische Schaltungen, Speicherschaltungen, asynchrone sequentielle Schaltungen

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Analog-to-digital and digital-to-analog conversion techniques

A probabilistic theory of causality

Systementwurf mit Netzen

Petri-Netze in der Steuerungstechnik

Petri-Netze in der Steuerungs- und Digitaltechnik

Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme

Coloured Petri nets : basic concepts, analysis methods and practical use. 2

Verification and control of hybrid systems : a symbolic approach

A structuring mechanism for Petri nets

Protokollnetze : eine Verallgemeinerung des Prozeßbegriffs für Petrinetze

Approximate analysis methods for stochastic process algebras

Analyse von Petri-Netz-Modellen

Mensch-Maschine-Schnittstellen elektronischer Geräte : Leitfaden für Design und Schaltungstechnik

Logikbausteine

Embedded core design with FPGAs. CD-ROM

Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets

Fluide stochastische Petri-Netze

Petri nets : an introduction

Control using logic based switching

Solving higher order equations : from logic to programming

The mathematics of petri nets

Aktive Filter

Suchergebnisse filtern