UB Paderborn / Katalog / Suche / im Katalog

1 – 22 von 22

Sortiert nach

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

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

Foundations of software technology and theoretical computer science : FST and TCS ; proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science

1981-1989

Mathematical foundations of computer science

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

1998

Signatur: 64t1

STACS / Annual Symposium on Theoretical Aspects of Computer Science

STACS

1984-1986

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

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: LICS 1996 : July 27 - 30, 1996, New Brunswick, NJ

2000-

Signatur: 64i1

Proceedings / CSL, Workshop on Computer Science Logic

1988-1989

Data analysis and informatics

1980-

Category theory and computer science : proceedings

1987-1989

Genome informatics

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

Miyano, Satoru[Herausgeber]

1999

Signatur: 64t1

Non-standard logics and logical aspects of computer science

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

Ono, Hiroakira[Herausgeber]

1997

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

Trees in algebra and programming

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

1998

Signatur: 64t1

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

Theoretical computer science : 204 (Alle Bände)

1998

Signatur: 64t1

Special issue on Mathematics of program construction : contains a selection of the papers presented at ... the 4th International Conference on Mathematics of Program Construction ... held in June 1998 on the island of Marstrand near Göteborg in Sweden

Science of computer programming : 37 (Alle Bände)

Jeuring, Johan[Herausgeber]

2000

Signatur: 64s19

Special issue on Mathematics of program construction

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

Backhouse, Roland[Herausgeber]

2002

Signatur: 64s19

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

1 – 22 von 22

Suche als RSS-Feed

Aktive Filter

SystemstelleTUF

Systemstelle64

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(22)

Autor / Autorin

Symposium on Theory of Computing
(4)
Symposium on Foundations of Computer Science
(2)
Symposium on Logic in Computer Science
(2)
Agarwal, Pankaj K
(1)
Backhouse, Roland
(1)
Baeza-Yates, Ricardo
(1)
Baker, Brenda S
(1)
Beigel, Richard
(1)
Bruin, Arie <<de>>
(1)
Bruyère, Véronique
(1)
CSL
(1)
Etessami, Kousha
(1)
Fernández, Maribel
(1)
Goldwasser, Shafi
(1)
Goodrich, Michael T
(1)
Graham, Fan Chung
(1)
Jeuring, Johan
(1)
Kirchner, Hélène
(1)
Kozen, Dexter
(1)
Maass, Wolfgang
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(17)
Zeitschrift
(5)

Schlagwort

11 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(18)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

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

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

Foundations of software technology and theoretical computer science : FST and TCS ; proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science

Mathematical foundations of computer science

STACS / Annual Symposium on Theoretical Aspects 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

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

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

Proceedings / CSL, Workshop on Computer Science Logic

Data analysis and informatics

Category theory and computer science : proceedings

Genome informatics

Non-standard logics and logical aspects of computer science

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

Trees in algebra and programming

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

Special issue on Mathematics of program construction : contains a selection of the papers presented at ... the 4th International Conference on Mathematics of Program Construction ... held in June 1998 on the island of Marstrand near Göteborg in Sweden

Special issue on Mathematics of program construction

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

Aktive Filter

Suchergebnisse filtern