UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 50

Sortiert nach

5. ITG-GMM-Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden mit dem Schwerpunkt Entwurfsmethodik und Parasitäre Effekte : 18. und 19. Februar 1999 in München

Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden

[2001]

Signatur: TTQ992062

Admissible representations for continuous computations

Informatik-Berichte : 299 (Alle Bände)

Schröder, Matthias

2003

Signatur: DQ2472

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

Betriebssysteme : eine moderne Einführung

Hanser-Studienbücher

2. Aufl, 1990

Signatur: TVC1156(2)-DT

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

International computer science series

Richards, Tom

1989

Signatur: TVC1392

The combinatory programme

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

Engeler, Erwin

1995

Signatur: TVC1520

Dancing with Qubits : how quantum computing works and how it can change the world

Expert insight

Sutor, Robert S

November 2019

Signatur: TVC1810

Digital logic and computer design

Mano, Moshe Morris

1979

Signatur: TVC1601

Digital systems : with algorithm implementation

A Wiley-interscience publication

1983

Signatur: TVC1368

Digitale Schaltungs- und Rechnertechnik : Aufgaben und Lösungen

Erkennen und lösen

1. Aufl, 1979

Signatur: TVC1295

Diskrete Mathematik : Basiswissen für Informatiker ; eine Mathematica-gestützte Darstellung ; mit 248 Aufgaben und zahlreichen Beispielen, CR-ROM mit 55 Mathematica-Anwendungen und Lösungen

Nehrlich, Werner

2003

Signatur: TVC1716

Diskrete Strukturen

Springer-Lehrbuch

2001-

Signatur: TBM2110-...

Dynamic logic

Foundations of computing

2000

Signatur: TCL4771

Einführung in die Logik

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

Essler, Wilhelm K

2., erw. Aufl, 1969

Signatur: TVC1041(2)

Elemente der Verbandstheorie : mit 2 Tabellen

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

Skornjakov, Lev Anatol'evič

1973

Signatur: TVC1091

Elements of combinatory logic

Fitch, Frederic B

1974

Signatur: TVC1130

Finite transition systems : semantics of communicating systems

Prentice Hall international series in computer science

Arnold, André

1994

Signatur: TVC1481

Fuzzy logic : Einführung und Leitfaden zur praktischen Anwendung ; mit Fuzzy-Shell in C++

Mayer, Andreas

1., korrigierter Nachdr, 1994

Signatur: TVC1758

Grundlagen der formalen Logik

Winter, Reiner

2., überarb. Aufl, 2001

Signatur: TVC1782(2)

Handbook of process algebra

1. edition, 2001

Signatur: TVC1732

Information verstehen : Facetten eines neuen Zugangs zur Welt

Informatik & Computer

Völz, Horst

1994

Signatur: TVC1504

An introduction to computer logic

Prentice-Hall computer applications in electrical engineering series, Prentice-Hall electrical engineering series

1975

Signatur: TVC1164

Introduction to computer science mathematics

Jamison, Robert V

1973

Signatur: TVC1172

An introduction to default logic

Symbolic computation : Artificial intelligence

Besnard, Philippe

1989

Signatur: TVC1415

1 – 25 von 50

Suche als RSS-Feed

Aktive Filter

Autor / AutorinAndlinger, Paul

SystemstelleYGQ

SchlagwortInformatik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(50)

Autor / Autorin

Bic, Lubomir
(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)
Coyne, Richard
(1)
Davio, Marc
(1)
Deschamps, Jean-Pierre
(1)
Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden
(1)
Dittmann, Florian
(1)
Engeler, Erwin
(1)
Essler, Wilhelm K
(1)
Fitch, Frederic B
(1)
Gerhard, Jürgen
(1)
Gibbins, Peter
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(50)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(27)
Deutsch
(15)

Systemstelle

TVC
(50)
TTQ
(3)
TCL
(2)
PZY
(1)
TBM
(1)
TCK
(1)
TDB
(1)
TDU
(1)
TUA
(1)
TVI
(1)
TVP
(1)
TWG
(1)
TWI
(1)
TWP
(1)
UAQ
(1)
UHE
(1)

11 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

5. ITG-GMM-Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden mit dem Schwerpunkt Entwurfsmethodik und Parasitäre Effekte : 18. und 19. Februar 1999 in München

Admissible representations for continuous computations

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

Automated deduction in multiple valued logics

Betriebssysteme : eine moderne Einführung

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

The combinatory programme

Dancing with Qubits : how quantum computing works and how it can change the world

Digital logic and computer design

Digital systems : with algorithm implementation

Digitale Schaltungs- und Rechnertechnik : Aufgaben und Lösungen

Diskrete Mathematik : Basiswissen für Informatiker ; eine Mathematica-gestützte Darstellung ; mit 248 Aufgaben und zahlreichen Beispielen, CR-ROM mit 55 Mathematica-Anwendungen und Lösungen

Diskrete Strukturen

Dynamic logic

Einführung in die Logik

Elemente der Verbandstheorie : mit 2 Tabellen

Elements of combinatory logic

Finite transition systems : semantics of communicating systems

Fuzzy logic : Einführung und Leitfaden zur praktischen Anwendung ; mit Fuzzy-Shell in C++

Grundlagen der formalen Logik

Handbook of process algebra

Information verstehen : Facetten eines neuen Zugangs zur Welt

An introduction to computer logic

Introduction to computer science mathematics

An introduction to default logic

Aktive Filter

Suchergebnisse filtern