UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 236

Sortiert nach

Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin

Symposium on Foundations of Computer Science

1995

Signatur: TVA2958

Proceedings of the 33rd Annual ACM Symposium on Theory of Computing : Hersonissos, Crete, Greece, July 6 - 8, 2001

Symposium on Theory of Computing

2001

Signatur: TTQ012024

Foundations of computer science

Principles of computer science series

1992

Signatur: TUA2679

Mathematical foundations of computer science

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

1998

Signatur: 64t1

Proceedings / 34th Annual Symposium on Foundations of Computer Science : November 3 - 5, 1993, Palo Alto, California

Symposium on Foundations of Computer Science

1993

Signatur: TVA2924

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

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

Theoretical studies in computer science

Ullman, Jeffrey D[Herausgeber]

1992

Signatur: TVA2267

Proceedings / 42nd IEEE Symposium on Foundations of Computer Science : October 14 - 17, 2001, Las Vegas, Nevada, USA

Symposium on Foundations of Computer Science

2001

Signatur: TTQ012448

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

Proceedings of the thirty second Annual ACM Symposium on Theory of Computing : Portland, Oregon, May 21 - 23

Symposium on Theory of Computing

2000

Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1 - 4, 1999

Symposium on Theory of Computing

1999

Signatur: TTQ992020

Proceedings / 39th Annual Symposium on Foundations of Computer Science : November 8 - 11, 1998, Palo Alto, California

Symposium on Foundations of Computer Science

1998

Signatur: TTQ982067

Proceedings / 37th Annual Symposium on Foundations of Computer Science : October 14 - 16, 1996, Burlington, Vt

Symposium on Foundations of Computer Science

1996

Signatur: TVA2940

Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing : Dallas, Texas, May 23 - 26, 1998

Symposium on Theory of Computing

1998

Signatur: TTQ981948

Proceedings / 41st Annual Symposium on Foundations of Computer Science : 12 - 14 November 2000, Redondo Beach, California

Symposium on Foundations of Computer Science

2000

Signatur: TTQ002540

Gems of theoretical computer science

1998

Signatur: TVA2404-EN

Information and computation

1987-

Zeitschriftenbestand: 72.1987 - 123.1995; 148.1999 - 163.2000

Signatur: 64i1

Theoretical computer science : theory of natural computing

1975-

Zeitschriftenbestand: 137.1995 - 289.2002

Signatur: 64t1

Conference record of POPL '98: The 25th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium San Diego, California, 19 - 21 January 1998

POPL

1998

Signatur: TTQ982017

Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing : Montréal, Québec, Canada, May 23-25, 1994

Symposium on Theory of Computing

1994

Signatur: TVA2966

Computation and reasoning : a type theory for computer science

The international series of monographs on computer science : 11 (Alle Bände)

Luo, Zhaohui

1994

Signatur: TVA2291

Genome informatics

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

Miyano, Satoru[Herausgeber]

1999

Signatur: 64t1

1 – 25 von 236

Suche als RSS-Feed

Aktive Filter

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(184)
Gedruckt
(52)

Autor / Autorin

Symposium on Theory of Computing
(9)
Symposium on Foundations of Computer Science
(6)
Calude, Cristian S
(5)
Rozenberg, Grzegorz
(5)
Broy, Manfred
(4)
Du, Ding-Zhu
(4)
Karhumäki, Juhani
(4)
Leeuwen, Jan
(4)
Rovan, Branislav
(4)
Emde Boas, Peter
(3)
Ibarra, Oscar H
(3)
Nielsen, Mogens
(3)
Salomaa, Arto
(3)
Widmayer, Peter
(3)
Zamulin, Alexandre V
(3)
Alt, Helmut
(2)
Antoš, David
(2)
Baeten, Jos C. M
(2)
Bieliková, Mária
(2)
Bodlaender, Hans L
(2)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(233)
Zeitschrift
(3)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Systemstelle

64
(13)
TTQ
(13)
TVA
(11)
TWT
(4)
TAY
(2)
TBR
(2)
KLET
(1)
TAWE
(1)
TAXL
(1)
TCL
(1)
TCO
(1)
TDC
(1)
TTQB
(1)
TUA
(1)
TVB
(1)
TVD
(1)
TVI
(1)
TVM
(1)
TWG
(1)
TWQ
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin

Proceedings of the 33rd Annual ACM Symposium on Theory of Computing : Hersonissos, Crete, Greece, July 6 - 8, 2001

Foundations of computer science

Mathematical foundations of computer science

Proceedings / 34th Annual Symposium on Foundations of Computer Science : November 3 - 5, 1993, Palo Alto, California

30th Annual ACM Symposium on Theory of Computing

Theoretical computer science in Australia and New Zealand

Latin american theoretical INformatics

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

Theoretical studies in computer science

Proceedings / 42nd IEEE Symposium on Foundations of Computer Science : October 14 - 17, 2001, Las Vegas, Nevada, USA

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

Proceedings of the thirty second Annual ACM Symposium on Theory of Computing : Portland, Oregon, May 21 - 23

Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1 - 4, 1999

Proceedings / 39th Annual Symposium on Foundations of Computer Science : November 8 - 11, 1998, Palo Alto, California

Proceedings / 37th Annual Symposium on Foundations of Computer Science : October 14 - 16, 1996, Burlington, Vt

Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing : Dallas, Texas, May 23 - 26, 1998

Proceedings / 41st Annual Symposium on Foundations of Computer Science : 12 - 14 November 2000, Redondo Beach, California

Gems of theoretical computer science

Information and computation

Theoretical computer science : theory of natural computing

Conference record of POPL '98: The 25th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium San Diego, California, 19 - 21 January 1998

Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing : Montréal, Québec, Canada, May 23-25, 1994

Computation and reasoning : a type theory for computer science

Genome informatics

Aktive Filter

Suchergebnisse filtern