UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 30

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

A probabilistic theory of causality

Acta philosophica Fennica : 24 (Alle Bände)

Suppes, Patrick

1970

Signatur: M38129

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

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1992

Signatur: TVG1392-1

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

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

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

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

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 mathematical theory of nonblocking switching networks

Series on applied mathematics : 11 (Alle Bände)

Hwang, Frank K

1999

Signatur: TVG1538

Embedded core design with FPGAs

McGraw-Hill electronic engineering

Navabi, Zainalabedin

2007-

Modelling with generalized stochastic Petri nets

Wiley series in parallel computing

Marsan, Marco Ajmone

1995

Signatur: TVG1465

Rechnergrundlagen : von der Binärlogik zum Schaltwerk ; mit 54 Tabellen, 70 Beispielen, 25 Aufgaben sowie einer CD-ROM

Informatik interaktiv

Kelch, Rainer

2003

Signatur: TUA3552

Binary polynomial transforms and nonlinear digital filters

Monographs and textbooks in pure and applied mathematics : 191 (Alle Bände)

1. print, 1995

Signatur: TVG1449

Stochastic Petri nets : an introduction to the theory

2. ed, 2002

Signatur: TVG1732(2)

Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs

Computing science

Siripokarpirom, Rawat

2007

Signatur: TVE3726

Embedded core design with FPGAs. Buch

Embedded core design with FPGAs (Alle Bände)

Navabi, Zainalabedin

2007

Signatur: TVE3734

Rechnergrundlagen : vom Rechenwerk zum Universalrechner ; mit 44 Tabellen, 11 Beispielen, 15 Aufgaben und einer CD-ROM

Informatik interaktiv

Kelch, Rainer

2003

Signatur: TUA3560

1 – 25 von 30

Suche als RSS-Feed

Aktive Filter

SchlagwortDigital-Analog-Umsetzer

SchlagwortPetri-Netz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(30)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(30)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(21)
Deutsch
(7)

Systemstelle

TVG
(30)
TVE
(5)
YGQ
(4)
TUA
(2)
HIN
(1)
HKO
(1)
HLD
(1)
TBP
(1)
TVV
(1)
TWG
(1)
YGY
(1)

6 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

A probabilistic theory of causality

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

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

Verification and control of hybrid systems : a symbolic approach

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

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

Approximate analysis methods for stochastic process algebras

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 mathematical theory of nonblocking switching networks

Embedded core design with FPGAs

Modelling with generalized stochastic Petri nets

Rechnergrundlagen : von der Binärlogik zum Schaltwerk ; mit 54 Tabellen, 70 Beispielen, 25 Aufgaben sowie einer CD-ROM

Binary polynomial transforms and nonlinear digital filters

Stochastic Petri nets : an introduction to the theory

Run time reconfigurable co-emulation for hardware assisted functional verification and test of FPGA designs

Embedded core design with FPGAs. Buch

Rechnergrundlagen : vom Rechenwerk zum Universalrechner ; mit 44 Tabellen, 11 Beispielen, 15 Aufgaben und einer CD-ROM

Aktive Filter

Suchergebnisse filtern