UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 500

Sortiert nach

Special issue: LICS 1995 : papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California

Information and computation : 157 (Alle Bände)

2000

Signatur: 64i1

Non-standard logics and logical aspects of computer science

Theoretical computer science : 175,1 (Alle Bände)

Ono, Hiroakira[Herausgeber]

1997

Signatur: 64t1

Mathematical foundations of computer science

Theoretical computer science : 195,1 (Alle Bände)

1998

Signatur: 64t1

Special issue: LICS 1996 : July 27 - 30, 1996, New Brunswick, NJ

2000-

Signatur: 64i1

30th Annual ACM Symposium on Theory of Computing

Journal of computer and system sciences : 60,3 (Alle Bände)

2000

Signatur: 64j7

Theoretical computer science in Australia and New Zealand

Theoretical computer science : 185,2 (Alle Bände)

Staples, John[Herausgeber]

1997

Signatur: 64t1

Proceedings / CSL, Workshop on Computer Science Logic

1988-1989

Latin american theoretical INformatics

Theoretical computer science : 181,1 (Alle Bände)

Baeza-Yates, Ricardo[Herausgeber]

1997

Signatur: 64t1

25th Annual ACM Symposium on the Theory of Computing (STOC 93) : May 16 - 18, 1993

Journal of computer and system sciences : 52,1 (Alle Bände)

1996

Signatur: 64j7

Trees in algebra and programming

Theoretical computer science : 190,1 (Alle Bände)

1998

Signatur: 64t1

24th Annual ACM Symposium on the Theory of Computing (STOC'92) : held in Victoria, British Columbia, May 4 - 6, 1992

Journal of computer and system sciences : 51,3 (Alle Bände)

1995

Signatur: 64j7

Special issue on the 36th IEEE Symposium on the Foundations of Computer Science

Journal of computer and systems sciences : 58,2 (Alle Bände)

1999

Signatur: 64j7

Category theory and computer science : proceedings

1987-1989

Papers dedicated to the memory of Marcel-Paul Schützenberger

Theoretical computer science : 204 (Alle Bände)

1998

Signatur: 64t1

26th Annual ACM Symposium on the Theory of Computing : (STOC '94) ; May 23 - 25, 1994

Journal of computer and systems sciences : 55,1 (Alle Bände)

1997

Signatur: 64j7

Special issue on Mathematics of program construction

Science of computer programming : 43,2,3 (Alle Bände)

Backhouse, Roland[Herausgeber]

2002

Signatur: 64s19

Symposium on Foundations of Computer Science : (FOCS) ; the conference was held in Santa Fe, New Mexico, November 20 - 22,1994

Journal of computer and systems sciences : 55,3 (Alle Bände)

1997

Signatur: 64j7

Genome informatics

Theoretical computer science : 210,2 (Alle Bände)

Miyano, Satoru[Herausgeber]

1999

Signatur: 64t1

STACS / Annual Symposium on Theoretical Aspects of Computer Science

STACS

1984-1986

Special issue on bioinformatics

Proceedings of the IEEE : ...

Akay, Metin[Herausgeber]

2002-

Signatur: 88i41

Information science in theory and practice

Repr, 1994

Signatur: M58743

Computer aided information retrieval

Information sciences series, A Wiley-Becker & Hayes series book

Wessel, Andrew E

1975

Signatur: AZE1113

The Blackwell guide to the philosophy of computing and information

Blackwell philosophy guides : 14 (Alle Bände)

Floridi, Luciano[Herausgeber]

2004

Signatur: HNX1284

The political philosophy of AI : an introduction

Coeckelbergh, Mark

2022

Signatur: HNX2073

Histories of computing

2011

Signatur: KLET1417

1 – 25 von 500

Suche als RSS-Feed

Aktive Filter

Art des InhaltsWörterbuch

Autor / AutorinKnuth, Donald Ervin

SchlagwortArtificial intelligence

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

Symposium on Theory of Computing
(9)
Symposium on Foundations of Computer Science
(8)
GIL-Jahrestagung
(6)
Informatik
(5)
Informatiktage
(5)
Broy, Manfred
(4)
Floto, Helga
(4)
Gesellschaft für Informatik
(4)
Hromkovič, Juraj
(4)
Hühnlein, Detlef
(4)
Karhumäki, Juhani
(4)
Leeuwen, Jan
(4)
Open Identity Summit
(4)
Rovan, Branislav
(4)
Roßnagel, Heiko
(4)
SKILL
(4)
Association for Computing Machinery
(3)
Calude, Cristian S
(3)
Floridi, Luciano
(3)
Gandorfer, Markus
(3)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TTQ
(68)
64
(19)
TVA
(14)
TVI
(7)
TAY
(6)
TWQ
(6)
TUA
(4)
TVC
(4)
TVD
(4)
TWG
(4)
TWT
(4)
XVI
(4)
TBR
(3)
TTL
(3)
TTS
(3)
TUC
(3)
TUD
(3)
TVM
(3)
TVU
(3)
TVV
(3)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

3 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Special issue: LICS 1995 : papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California

Non-standard logics and logical aspects of computer science

Mathematical foundations of computer science

Special issue: LICS 1996 : July 27 - 30, 1996, New Brunswick, NJ

30th Annual ACM Symposium on Theory of Computing

Theoretical computer science in Australia and New Zealand

Proceedings / CSL, Workshop on Computer Science Logic

Latin american theoretical INformatics

25th Annual ACM Symposium on the Theory of Computing (STOC 93) : May 16 - 18, 1993

Trees in algebra and programming

24th Annual ACM Symposium on the Theory of Computing (STOC'92) : held in Victoria, British Columbia, May 4 - 6, 1992

Special issue on the 36th IEEE Symposium on the Foundations of Computer Science

Category theory and computer science : proceedings

Papers dedicated to the memory of Marcel-Paul Schützenberger

26th Annual ACM Symposium on the Theory of Computing : (STOC '94) ; May 23 - 25, 1994

Special issue on Mathematics of program construction

Symposium on Foundations of Computer Science : (FOCS) ; the conference was held in Santa Fe, New Mexico, November 20 - 22,1994

Genome informatics

STACS / Annual Symposium on Theoretical Aspects of Computer Science

Special issue on bioinformatics

Information science in theory and practice

Computer aided information retrieval

The Blackwell guide to the philosophy of computing and information

The political philosophy of AI : an introduction

Histories of computing

Aktive Filter

Suchergebnisse filtern