UB Paderborn / Katalog / Suche / im Katalog

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

1 – 25 von 48

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

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

Beauty is our business : a birthday salute to Edsger W. Dijkstra

Texts and monographs in computer science

1990

Signatur: TTQD1004

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

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

STACS : Annual Symposium on Theoretical Aspects of Computer Science

Lecture notes in computer science : ...

STACS

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

Annual Symposium on Foundations of Computer Science. 26. October 21-23, 1985, Portland, Oregon

Annual Symposium on Foundations of Computer Science (Alle Bände)

Symposium on Foundations of Computer Science

1985

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

Informatik und Philosophie

Schriftenreihe der Österreichischen Computer-Gesellschaft : 11 (Alle Bände)

Schauer, Helmut[Herausgeber]

1981

Signatur: TUC1241

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

Engineering theories of software intensive systems : proceedings of the NATO Advanced Study Institute on engineering theories of software intensive systems, Marktoberdorf, Germany, 3 - 15 August 2004

NATO science series : Series 2, Mathematics, physics and chemistry : 195 (Alle Bände)

Broy, Manfred[Herausgeber]

2005

Signatur: TTQ043902

Didaktik und Methodik der theoretischen Informatik : Motivation und computerunterstütztes Lernen

Grillenbeck, Richard

2000

Signatur: D12918

1 – 25 von 48

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

Autor / AutorinNierstrasz, Oscar

Autor / AutorinRozenberg, Grzegorz

SystemstelleTDC

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(41)
Online-Ressource
(7)

Autor / Autorin

Symposium on Theory of Computing
(9)
Symposium on Foundations of Computer Science
(7)
Broy, Manfred
(2)
Parrilo, Pablo A
(2)
Thomas, Rekha R
(2)
Backhouse, Roland
(1)
Baker, Brenda S
(1)
Beigel, Richard
(1)
Bruin, Arie <<de>>
(1)
Bruyère, Véronique
(1)
Chatzigeorgiou, Alexander
(1)
Dershowitz, Nachum
(1)
Dijkstra, Edsger W
(1)
Dondi, Riccardo
(1)
Etessami, Kousha
(1)
Feijen, Wim H. J
(1)
Fernández, Maribel
(1)
Fischer, Thomas
(1)
Gilman, Robert H
(1)
Goodrich, Michael T
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(43)
Zeitschrift
(5)

Schlagwort

Theoretische Informatik
(48)
Computer science
(4)
Zeitschrift
(4)
Baum
(3)
Diskrete Mathematik
(3)
Programmierung
(3)
Algebraic geometry
(2)
Algebraische Geometrie
(2)
Algorithmus
(2)
Combinatorics
(2)
Convex and discrete geometry
(2)
Convex geometry
(2)
Convex sets
(2)
Geometry, Algebraic
(2)
Informatik
(2)
Kombinatorische Wahrscheinlichkeitstheorie
(2)
Mathematical optimization
(2)
Mathematische Logik
(2)
Online-Ressource
(2)
Operations research, mathematical programming
(2)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Neu hinzugefügt

Sprache

Englisch
(37)
Deutsch
(4)

Systemstelle

TTQ
(13)
64
(10)
TVA
(7)
TBR
(3)
KLET
(1)
TAXL
(1)
TAY
(1)
TTQB
(1)
TTQD
(1)
TTQH
(1)
TTQS
(1)
TUC
(1)
TVI
(1)
TWG
(1)
TWQ
(1)
TWT
(1)
TZZM
(1)

12 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts