UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 195

Sortiert nach

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

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 / 41st Annual Symposium on Foundations of Computer Science : 12 - 14 November 2000, Redondo Beach, California

Symposium on Foundations of Computer Science

2000

Signatur: TTQ002540

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 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

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

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 / 37th Annual Symposium on Foundations of Computer Science : October 14 - 16, 1996, Burlington, Vt

Symposium on Foundations of Computer Science

1996

Signatur: TVA2940

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

Algorithmic properties of structures : selected papers

Engeler, Erwin

1993

Signatur: TAWE1179

Histories of computing

2011

Signatur: KLET1417

Non-standard logics and logical aspects of computer science

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

Ono, Hiroakira[Herausgeber]

1997

Signatur: 64t1

1 – 25 von 195

Suche als RSS-Feed

Aktive Filter

Autor / AutorinSchöning, Uwe

Neu hinzugefügt... im letzten Monat

Neu hinzugefügt... in den letzten 3 Monaten

SchlagwortComputer graphics

SpracheEnglisch

ErscheinungsformMonographie

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(146)
Gedruckt
(49)

Autor / Autorin

Symposium on Theory of Computing
(9)
Symposium on Foundations of Computer Science
(6)
Rozenberg, Grzegorz
(5)
Broy, Manfred
(4)
Calude, Cristian S
(4)
Karhumäki, Juhani
(4)
Emde Boas, Peter
(3)
Salomaa, Arto
(3)
Zamulin, Alexandre V
(3)
Antoš, David
(2)
Baeten, Jos C. M
(2)
Bieliková, Mária
(2)
Cai, Zhipeng
(2)
Champarnaud, Jean-Marc
(2)
Dershowitz, Nachum
(2)
Gottlob, Georg
(2)
Grötschel, Martin
(2)
Habib, Michel
(2)
Hirsch, Edward A
(2)
Hromkovič, Juraj
(2)

15 weitere anzeigen...

Weniger anzeigen...

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

... in den letzten 12 Monaten
(1)

Systemstelle

64
(13)
TTQ
(13)
TVA
(10)
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

Foundations of computer science

Mathematical foundations of computer science

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 / 41st Annual Symposium on Foundations of Computer Science : 12 - 14 November 2000, Redondo Beach, California

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

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

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

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

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

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

Algorithmic properties of structures : selected papers

Histories of computing

Non-standard logics and logical aspects of computer science

Aktive Filter

Suchergebnisse filtern