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 278

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

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

Computers in cardiology 1993 : proceedings ; September 5 - 8, 1993, London, UK

1993

Signatur: XVI930975

Information technology : methods and applications of informatics and information technology

2003-

Zeitschriftenbestand: 45.2003 - 55.2013

Signatur: 64e6

1 – 25 von 278

Suche als RSS-Feed

Aktive Filter

Autor / AutorinMattern, Friedemann

ErscheinungsformSonstiges

SchlagwortInformatik

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(217)
Gedruckt
(61)

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)
Baeten, Jos C. M
(2)
Bieliková, Mária
(2)
Bodlaender, Hans L
(2)
Brandstädt, Andreas
(2)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(272)
Zeitschrift
(6)

Schlagwort

Theoretische Informatik
(230)
Computer science
(181)
Computer software
(92)
Computational complexity
(90)
Logic design
(79)
Data structures (Computer science)
(55)
Software engineering
(54)
Artificial intelligence
(47)
Computer Communication Networks
(44)
Information theory
(38)
Computer graphics
(37)
Programmierung
(30)
Medizinische Informatik
(24)
Software Engineering
(17)
Algorithmus
(15)
Berechenbarkeit
(15)
Electronic data processing
(15)
Formale Sprache
(15)
Information storage and retrieval systems
(15)
Combinatorics
(14)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Neu hinzugefügt

Sprache

Deutsch
(4)

Systemstelle

TTQ
(15)
64
(13)
TVA
(11)
TWT
(4)
XVI
(3)
TAY
(2)
TBR
(2)
VUT
(2)
88
(1)
KXV
(1)
TAWE
(1)
TAXL
(1)
TCL
(1)
TCO
(1)
TTQB
(1)
TUA
(1)
TVB
(1)
TVD
(1)
TVI
(1)
TVM
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts