//--> //--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Theoretische Informatik"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Theoretische Informatik
26
Kongress
14
Informatik
4
Informationsverarbeitung
2
Mathematische Logik
2
Theorie
2
Zeitschrift
2
Algorithmentheorie
1
Aufsatzsammlung
1
Barcelona <1995>
1
Berechenbarkeit
1
Bielefeld <1992>
1
Chersonesos <Kreta, 2001>
1
Computer
1
Computeralgebra
1
Dallas <Tex., 1998>
1
Datenverarbeitung
1
Einführung
1
Elektronik
1
Elektronikwissenschaft
1
Formale Sprache
1
Gleichung
1
Großrechner
1
Heuristics
1
Heuristik
1
Kombinatorische Logik
1
Kongress 1999
1
Künstliche Intelligenz
1
Las Vegas <Nev., 2001>
1
Logik
1
Maschinelles Lernen
1
Mathematics
1
Mathematik
1
Methoden und Techniken der Volkswirtschaft
1
Montréal <1994>
1
Montréal <2002>
1
Nichtnumerisches Verfahren
1
Online-Publikation
1
Passau <1981>
1
Philosophie
1
more ...
less ...
Online availability
All
Free
1
Undetermined
1
Type of publication
All
Book / Working Paper
23
Journal
2
Other
1
Type of publication (narrower categories)
All
Konferenzschrift
13
Lehrbuch
1
Textbook
1
Language
All
English
18
Undetermined
5
German
2
French
1
Author
All
Khanna, Sanjeev
2
Albert, Jürgen
1
Beigel, Richard
1
Biscă, O.
1
Bunse-Gerstner, Angelika
1
Bîscă, Octavian C.
1
Charikar, Moses
1
Cohen, Daniel I. A.
1
Cohen, Edith
1
Curien, Pierre-Louis
1
Eiselt, Horst A.
1
Etessami, Kousha
1
Fogel, David B.
1
Goodrich, Michael T.
1
Graham, Fan Chung
1
Kannan, Sampath
1
Kozen, Dexter
1
Lew, Art
1
Maass, Wolfgang
1
Martello, Silvano
1
Michalewicz, Zbigniew
1
Moisil, Grigore C.
1
Ottmann, Thomas
1
Reif, John H.
1
Schauer, Helmut
1
Schirk, Thomas
1
Skowron, Andrzej
1
Wood, Derick
1
more ...
less ...
Institution
All
Five-Day Course on Large Scale Scientific Computation <1992, Bielefeld>
1
Symposium on Foundations of Computer Science <42, 2001, Las Vegas, Nev.>
1
Symposium on Foundations of Computer Science <43, 2002, Vancouver, British Columbia>
1
Symposium on Logic in Computer Science <10, 1995, San Diego, Calif.>
1
Symposium on Theory of Computing <24, 1992, Victoria, British Columbia>
1
Symposium on Theory of Computing <25, 1993, San Diego, Calif.>
1
Symposium on Theory of Computing <26, 1994, Montréal>
1
Symposium on Theory of Computing <30, 1998, Dallas, Tex.>
1
Symposium on Theory of Computing <32, 2000, Portland, Or.>
1
Symposium on Theory of Computing <33, 2001, Chersonēsos>
1
Symposium on Theory of Computing <34, 2002, Montréal>
1
Symposium on Theory of Computing <35, 2003, San Diego, Calif.>
1
more ...
less ...
Published in...
All
Journal of computer and system sciences
10
Computers & operations research : and their applications to problems of world concern ; an international journal
1
European journal of operational research : EJOR
1
Information and computation
1
Lecture notes in computer science
1
Materialien / Universität Bielefeld, Schwerpunkt Mathematisierung
1
Reihe Informatik
1
Schriftenreihe der Österreichischen Computer-Gesellschaft
1
more ...
less ...
Source
All
USB Cologne (EcoSocSci)
23
ECONIS (ZBW)
2
BASE
1
Showing
11
-
20
of
26
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
11
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]
Kozen, Dexter
(
contributor
);
Etessami, Kousha
(
contributor
)
-
Symposium on Logic in Computer Science <10, 1995, San …
- In:
Information and computation
157
(
2000
)
Persistent link: https://www.econbiz.de/10004866913
Saved in:
12
30th Annual ACM Symposium on Theory of Computing
Graham, Fan Chung
(
contributor
)
-
Symposium on Theory of Computing <30, 1998, Dallas, Tex.>
- In:
Journal of computer and system sciences
60,3
(
2000
)
Persistent link: https://www.econbiz.de/10004701788
Saved in:
13
26th Annual ACM Symposium on the Theory of Computing : (STOC '94) ; May 23 - 25, 1994
Beigel, Richard
(
contributor
)
-
Symposium on Theory of Computing <26, 1994, Montréal>
- In:
Journal of computer and system sciences
55,1
(
1997
)
Persistent link: https://www.econbiz.de/10004378755
Saved in:
14
25th Annual ACM Symposium on the Theory of Computing (STOC 93) : May 16 - 18, 1993
Goodrich, Michael T.
(
contributor
)
-
Symposium on Theory of Computing <25, 1993, San Diego, …
- In:
Journal of computer and system sciences
52,1
(
1996
)
Persistent link: https://www.econbiz.de/10004308256
Saved in:
15
24th Annual ACM Symposium on the Theory of Computing (STOC'92) : held in Victoria, British Columbia, May 4 - 6, 1992
Maass, Wolfgang
(
contributor
)
-
Symposium on Theory of Computing <24, 1992, Victoria, …
- In:
Journal of computer and system sciences
Vol. 51, nr.3
(
1995
)
Persistent link: https://www.econbiz.de/10004308252
Saved in:
16
Theory of computation
Wood, Derick
-
1987
Persistent link: https://www.econbiz.de/10004764095
Saved in:
17
Introduction to computer theory
Cohen, Daniel I. A.
-
1986
Persistent link: https://www.econbiz.de/10004052033
Saved in:
18
Categorical combinators, sequential algorithms and functional programming
Curien, Pierre-Louis
-
1986
Persistent link: https://www.econbiz.de/10004052267
Saved in:
19
Computer science: a mathematical introduction : (applied mathematics: modeling, analysis and optimization techniques with applications to software systems)
Lew, Art
-
1985
-
1. [Dr.]
Persistent link: https://www.econbiz.de/10004660233
Saved in:
20
Computation theory : fifth symposium, Zaborów, Poland, December 3 - 8, 1984 ; proceedings
Skowron, Andrzej
(
contributor
)
-
1985
Persistent link: https://www.econbiz.de/10004043237
Saved in:
First
Prev
1
2
3
Next
Last
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->