UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 56

Sortiert nach

Lernende Systeme

Kybernetik-Forschung : 3 (Alle Bände)

Klix, Friedhart[Herausgeber]

1973

Signatur: TVC1106

Logik für Software-Ingenieure

Programmierung komplexer Systeme : 3 (Alle Bände)

Matthiessen, Günter

1991

Signatur: TVC1449

Ansätze und Methoden zur Unterstützung der Signalintegritätsanalyse komplexer Systeme : analogiebasierte Wissensbereitstellung und numerische Simulation

C-LAB publication : 5 (Alle Bände)

Holzheuer, Heiko

Als Ms. gedr, 2000

Signatur: P1384, TVC1651

Automated deduction in multiple valued logics

The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications

Hähnle, Reiner

1993

Signatur: TVC1499

Theoretical concepts

Library of exact philosophy : 10 (Alle Bände)

Tuomela, Raimo

1973

Signatur: TVC1114

The combinatory programme

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

Engeler, Erwin

1995

Signatur: TVC1520

Elemente der Verbandstheorie : mit 2 Tabellen

Wissenschaftliche Taschenbücher : 130 (Alle Bände)

Skornjakov, Lev Anatol'evič

1973

Signatur: TVC1091

Methods to exploit reconfigurable fabrics : making reconfigurable systems mature

HNI-Verlagsschriftenreihe : 229 (Alle Bände)

Dittmann, Florian

2007

Signatur: TWJ5921

Admissible representations for continuous computations

Informatik-Berichte : 299 (Alle Bände)

Schröder, Matthias

2003

Signatur: DQ2472

Einführung in die Logik

Kröners Taschenausgabe : 381 (Alle Bände)

Essler, Wilhelm K

2., erw. Aufl, 1969

Signatur: TVC1041(2)

Modular algorithms in symbolic summation and symbolic integration

Lecture notes in computer science : 3218 (Alle Bände)

Gerhard, Jürgen

2004

Signatur: P1734, TVC1766

Finite transition systems : semantics of communicating systems

Prentice Hall international series in computer science

Arnold, André

1994

Signatur: TVC1481

Betriebssysteme : eine moderne Einführung

Hanser-Studienbücher

2. Aufl, 1990

Signatur: TVC1156(2)-DT

Schaltalgebra und digitale Grundschaltungen : teilprogrammierter Text ; mit 73 Übungsaufgaben mit Lösungen

De-Gruyter-Lehrbuch : Lerntext

Dworatschek, Sebastian

1970

Signatur: TVC1009

Introduction to quantum computers

Berman, Gennadij P

Repr, 1999

Signatur: UHE2387

A systematic approach to digital logic design

Addison-Wesley series in electrical engineering

Mowle, Frederic J

3. print, 1977

Signatur: TVC1198

Digitale Schaltungs- und Rechnertechnik : Aufgaben und Lösungen

Erkennen und lösen

1. Aufl, 1979

Signatur: TVC1295

Rekursive Funktionen in der Komputer-Theorie

Péter, Rozsa

1976

Signatur: TVC1203

Clausal form logic : an introd. to the logic of computer reasoning

International computer science series

Richards, Tom

1989

Signatur: TVC1392

Logic for computer science

International computer science series, Computer science : Mathematics

1990

Signatur: TVC1431

Computer science and multiple valued logic : theory and applications

Rine, David C[Herausgeber]

1977

Signatur: TVC1245

Logic and language models for computer science

2002

Signatur: TVC1708

Network reliability and algebraic structures

Oxford science publications

Shier, Douglas R

1991

Signatur: TWP10668

Digital systems : with algorithm implementation

A Wiley-interscience publication

1983

Signatur: TVC1368

Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins

Penrose, Roger

1995

Signatur: TVC1596

1 – 25 von 56

Suche als RSS-Feed

Aktive Filter

SchlagwortFuzzy-Menge

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(56)

Autor / Autorin

Bic, Lubomir
(2)
Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden
(2)
ISSAC
(2)
Péter, Rozsa
(2)
Shaw, Alan C
(2)
Arnold, André
(1)
Ben-Arî, Môtî
(1)
Bergstra, Jan A
(1)
Berman, Gennadij P
(1)
Besnard, Philippe
(1)
Carroll, Billy D
(1)
Clarke, Michael
(1)
Coyne, Richard
(1)
Davio, Marc
(1)
Deschamps, Jean-Pierre
(1)
Dittmann, Florian
(1)
Dowsing, R. D
(1)
Dworatschek, Sebastian
(1)
Engeler, Erwin
(1)
Essler, Wilhelm K
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(56)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(31)
Deutsch
(17)

Systemstelle

TVC
(56)
TTQ
(4)
TCL
(2)
YGQ
(2)
PZY
(1)
TBM
(1)
TCK
(1)
TDB
(1)
TDU
(1)
TUA
(1)
TVD
(1)
TVE
(1)
TVI
(1)
TVP
(1)
TWG
(1)
TWI
(1)
TWP
(1)
UAQ
(1)
UHE
(1)

14 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Lernende Systeme

Logik für Software-Ingenieure

Ansätze und Methoden zur Unterstützung der Signalintegritätsanalyse komplexer Systeme : analogiebasierte Wissensbereitstellung und numerische Simulation

Automated deduction in multiple valued logics

Theoretical concepts

The combinatory programme

Elemente der Verbandstheorie : mit 2 Tabellen

Methods to exploit reconfigurable fabrics : making reconfigurable systems mature

Admissible representations for continuous computations

Einführung in die Logik

Modular algorithms in symbolic summation and symbolic integration

Finite transition systems : semantics of communicating systems

Betriebssysteme : eine moderne Einführung

Schaltalgebra und digitale Grundschaltungen : teilprogrammierter Text ; mit 73 Übungsaufgaben mit Lösungen

Introduction to quantum computers

A systematic approach to digital logic design

Digitale Schaltungs- und Rechnertechnik : Aufgaben und Lösungen

Rekursive Funktionen in der Komputer-Theorie

Clausal form logic : an introd. to the logic of computer reasoning

Logic for computer science

Computer science and multiple valued logic : theory and applications

Logic and language models for computer science

Network reliability and algebraic structures

Digital systems : with algorithm implementation

Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins

Aktive Filter

Suchergebnisse filtern